feat: propagate <Rhs = Self> type parameter to trait bounds
#369
+48
−48
<Rhs = Self> type parameter to trait bounds
#369