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              <&mut T as Clone>
  16
  17 error[E0277]: the trait bound `for<'b> T: X<'b, T>` is not satisfied
  18   --> $DIR/hr-associated-type-bound-param-6.rs:12:12
  19    |
  20 LL | trait X<'a, T>
  21    |       - required by a bound in this
  22 LL | where
  23 LL |     for<'b> T: X<'b, T>,
  24    |                -------- required by this bound in `X`
  25 ...
  26 LL | impl<S, T> X<'_, T> for (S,) {
  27    |            ^^^^^^^^ the trait `for<'b> X<'b, T>` is not implemented for `T`
  28    |
  29 help: consider restricting type parameter `T`
  30    |
  31 LL | impl<S, T: for<'b> X<'b, T>> X<'_, T> for (S,) {
  32    |          ^^^^^^^^^^^^^^^^^^
  33
  34 error: aborting due to 2 previous errors
  35
  36 For more information about this error, try `rustc --explain E0277`.