error[E0277]: the trait bound `for<'b> >::U: Clone` is not satisfied --> $DIR/hr-associated-type-bound-object.rs:7:13 | LL | fn f<'a, T: X<'a> + ?Sized>(x: &>::U) { | ^^^^^ the trait `for<'b> Clone` is not implemented for `>::U` | note: required by a bound in `X` --> $DIR/hr-associated-type-bound-object.rs:3:33 | LL | trait X<'a> | - required by a bound in this LL | where LL | for<'b> >::U: Clone, | ^^^^^ required by this bound in `X` error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.