7 impl<B> Add for A<B> where B: Add {
10 fn add(self, rhs: Self) -> Self {
11 A(self.0 + rhs.0) //~ ERROR mismatched types
17 impl<B: Add> Add for C<B> {
20 fn add(self, rhs: Self) -> Self {
21 Self(self.0 + rhs.0) //~ ERROR mismatched types
27 impl<B> Add for D<B> {
30 fn add(self, rhs: Self) -> Self {
31 Self(self.0 + rhs.0) //~ ERROR cannot add `B` to `B`
37 impl<B: Add> Add for E<B> where <B as Add>::Output = B {
38 //~^ ERROR equality constraints are not yet supported in `where` clauses
41 fn add(self, rhs: Self) -> Self {
42 Self(self.0 + rhs.0) //~ ERROR mismatched types