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

   1 error[E0277]: the trait bound `for<'b> <T as X<'b, T>>::U: Clone` is not satisfied
   2   --> $DIR/hr-associated-type-bound-param-6.rs:14:14
   3    |
   4 LL | trait X<'a, T>
   5    |       - required by a bound in this
   6 ...
   7 LL |     for<'b> <T as X<'b, T>>::U: Clone,
   8    |                                 ----- required by this bound in `X`
   9 ...
  10 LL |     type U = str;
  11    |              ^^^ the trait `for<'b> Clone` is not implemented for `<T as X<'b, T>>::U`
  12    |
  13    = help: the following implementations were found:
  14              <&T as Clone>
  15
  16 error[E0277]: the trait bound `for<'b> T: X<'b, T>` is not satisfied
  17   --> $DIR/hr-associated-type-bound-param-6.rs:12:12
  18    |
  19 LL | trait X<'a, T>
  20    |       - required by a bound in this
  21 LL | where
  22 LL |     for<'b> T: X<'b, T>,
  23    |                -------- required by this bound in `X`
  24 ...
  25 LL | impl<S, T> X<'_, T> for (S,) {
  26    |            ^^^^^^^^ the trait `for<'b> X<'b, T>` is not implemented for `T`
  27    |
  28 help: consider restricting type parameter `T`
  29    |
  30 LL | impl<S, T: for<'b> X<'b, T>> X<'_, T> for (S,) {
  31    |          ^^^^^^^^^^^^^^^^^^
  32
  33 error: aborting due to 2 previous errors
  34
  35 For more information about this error, try `rustc --explain E0277`.