error[E0277]: the trait bound `for<'b> <T as X<'b, T>>::U: Clone` is not satisfied
  --> $DIR/hr-associated-type-bound-param-6.rs:14: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>

error[E0277]: the trait bound `for<'b> T: X<'b, T>` is not satisfied
  --> $DIR/hr-associated-type-bound-param-6.rs:12:12
   |
LL | trait X<'a, T>
   |       - required by a bound in this
LL | where
LL |     for<'b> T: X<'b, T>,
   |                -------- required by this bound in `X`
...
LL | impl<S, T> X<'_, T> for (S,) {
   |            ^^^^^^^^ the trait `for<'b> X<'b, T>` is not implemented for `T`
   |
help: consider restricting type parameter `T`
   |
LL | impl<S, T: for<'b> X<'b, T>> X<'_, T> for (S,) {
   |          ^^^^^^^^^^^^^^^^^^

error: aborting due to 2 previous errors

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