1 error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
2 --> $DIR/hr-associated-type-bound-param-2.rs:3:8
4 LL | trait Z<'a, T: ?Sized>
5 | - required by a bound in this
8 | ^^^^^^^^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W`
10 LL | for<'b> <T as Z<'b, u16>>::W: Clone,
11 | ----- required by this bound in `Z`
13 = help: the following implementations were found:
17 error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
18 --> $DIR/hr-associated-type-bound-param-2.rs:15:14
20 LL | trait Z<'a, T: ?Sized>
21 | - required by a bound in this
23 LL | for<'b> <T as Z<'b, u16>>::W: Clone,
24 | ----- required by this bound in `Z`
27 | ^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W`
29 = help: the following implementations were found:
33 error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
34 --> $DIR/hr-associated-type-bound-param-2.rs:3:8
36 LL | trait Z<'a, T: ?Sized>
37 | - required by a bound in this
40 | ^^^^^^^^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W`
42 LL | for<'b> <T as Z<'b, u16>>::W: Clone,
43 | ----- required by this bound in `Z`
45 = help: the following implementations were found:
49 error: aborting due to 3 previous errors
51 For more information about this error, try `rustc --explain E0277`.