1 error[E0277]: the trait bound `for<'b> <Box<T> as X<'b, Box<T>>>::U: Clone` is not satisfied
2 --> $DIR/hr-associated-type-bound-param-5.rs:27:14
4 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
5 | - required by a bound in this
7 LL | for<'b> <T::Next as X<'b, T::Next>>::U: Clone,
8 | ----- required by this bound in `X`
11 | ^^^ the trait `for<'b> Clone` is not implemented for `<Box<T> as X<'b, Box<T>>>::U`
13 = help: the following implementations were found:
16 error[E0277]: the trait bound `for<'b> <Vec<T> as X<'b, Vec<T>>>::U: Clone` is not satisfied
17 --> $DIR/hr-associated-type-bound-param-5.rs:27:14
19 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
20 | - required by a bound in this
22 LL | for<'b> <T as X<'b, T>>::U: Clone,
23 | ----- required by this bound in `X`
26 | ^^^ the trait `for<'b> Clone` is not implemented for `<Vec<T> as X<'b, Vec<T>>>::U`
28 = help: the following implementations were found:
31 error[E0277]: the trait bound `for<'b> <Vec<T> as X<'b, Vec<T>>>::U: Clone` is not satisfied
32 --> $DIR/hr-associated-type-bound-param-5.rs:33:14
34 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
35 | - required by a bound in this
37 LL | for<'b> <T::Next as X<'b, T::Next>>::U: Clone,
38 | ----- required by this bound in `X`
41 | ^^^ the trait `for<'b> Clone` is not implemented for `<Vec<T> as X<'b, Vec<T>>>::U`
43 = help: the following implementations were found:
46 error[E0277]: the trait bound `for<'b> <Box<T> as X<'b, Box<T>>>::U: Clone` is not satisfied
47 --> $DIR/hr-associated-type-bound-param-5.rs:33:14
49 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
50 | - required by a bound in this
52 LL | for<'b> <T as X<'b, T>>::U: Clone,
53 | ----- required by this bound in `X`
56 | ^^^ the trait `for<'b> Clone` is not implemented for `<Box<T> as X<'b, Box<T>>>::U`
58 = help: the following implementations were found:
61 error: aborting due to 4 previous errors
63 For more information about this error, try `rustc --explain E0277`.