error[E0277]: the trait bound `for<'b> <(T,) as X<'b, (T,)>>::U: Clone` is not satisfied
  --> $DIR/hr-associated-type-bound-param-3.rs:13:14
   |
LL | trait X<'a, T>
   |       - required by a bound in this
...
LL |     for<'b> <T as X<'b, T>>::U: Clone,
   |                                 ----- required by this bound in `X`
...
LL |     type U = str;
   |              ^^^ the trait `for<'b> Clone` is not implemented for `<(T,) as X<'b, (T,)>>::U`
   |
   = help: the following implementations were found:
             <&T as Clone>
             <&mut T as Clone>

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.