src/test/ui/associated-types/hr-associated-type-bound-object.stderr

   1 error[E0277]: the trait bound `for<'b> <T as X<'b>>::U: Clone` is not satisfied
   2   --> $DIR/hr-associated-type-bound-object.rs:7:13
   3    |
   4 LL | fn f<'a, T: X<'a> + ?Sized>(x: &<T as X<'a>>::U) {
   5    |             ^^^^^ the trait `for<'b> Clone` is not implemented for `<T as X<'b>>::U`
   6    |
   7    = help: the following implementations were found:
   8              <&T as Clone>
   9 note: required by a bound in `X`
  10   --> $DIR/hr-associated-type-bound-object.rs:3:33
  11    |
  12 LL | trait X<'a>
  13    |       - required by a bound in this
  14 LL | where
  15 LL |     for<'b> <Self as X<'b>>::U: Clone,
  16    |                                 ^^^^^ required by this bound in `X`
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0277`.