5 impl<B> Add for A<B> where B: Add {
8 fn add(self, rhs: Self) -> Self {
9 A(self.0 + rhs.0) //~ ERROR mismatched types
15 impl<B: Add> Add for C<B> {
18 fn add(self, rhs: Self) -> Self {
19 Self(self.0 + rhs.0) //~ ERROR mismatched types
25 impl<B> Add for D<B> {
28 fn add(self, rhs: Self) -> Self {
29 Self(self.0 + rhs.0) //~ ERROR cannot add `B` to `B`
35 impl<B: Add> Add for E<B> where <B as Add>::Output = B {
36 //~^ ERROR equality constraints are not yet supported in `where` clauses
39 fn add(self, rhs: Self) -> Self {
40 Self(self.0 + rhs.0) //~ ERROR mismatched types