| error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied |
| --> $DIR/hr-associated-type-bound-param-2.rs:4:8 |
| | |
| LL | trait Z<'a, T: ?Sized> |
| | - required by a bound in this |
| LL | where |
| LL | T: Z<'a, u16>, |
| | ^^^^^^^^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W` |
| ... |
| LL | for<'b> <T as Z<'b, u16>>::W: Clone, |
| | ----- required by this bound in `Z` |
| | |
| = help: the following implementations were found: |
| <&T as Clone> |
| <&mut T as Clone> |
| |
| error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied |
| --> $DIR/hr-associated-type-bound-param-2.rs:16:14 |
| | |
| LL | trait Z<'a, T: ?Sized> |
| | - required by a bound in this |
| ... |
| LL | for<'b> <T as Z<'b, u16>>::W: Clone, |
| | ----- required by this bound in `Z` |
| ... |
| LL | type W = str; |
| | ^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W` |
| | |
| = help: the following implementations were found: |
| <&T as Clone> |
| <&mut T as Clone> |
| |
| error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied |
| --> $DIR/hr-associated-type-bound-param-2.rs:4:8 |
| | |
| LL | trait Z<'a, T: ?Sized> |
| | - required by a bound in this |
| LL | where |
| LL | T: Z<'a, u16>, |
| | ^^^^^^^^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W` |
| ... |
| LL | for<'b> <T as Z<'b, u16>>::W: Clone, |
| | ----- required by this bound in `Z` |
| | |
| = help: the following implementations were found: |
| <&T as Clone> |
| <&mut T as Clone> |
| |
| error: aborting due to 3 previous errors |
| |
| For more information about this error, try `rustc --explain E0277`. |