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

   1 error[E0277]: the trait bound `for<'b> <Box<T> as X<'b, Box<T>>>::U: Clone` is not satisfied
   2   --> $DIR/hr-associated-type-bound-param-5.rs:26:14
   3    |
   4 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
   5    |       - required by a bound in this
   6 ...
   7 LL |     for<'b> <T::Next as X<'b, T::Next>>::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 `<Box<T> as X<'b, Box<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> <Vec<T> as X<'b, Vec<T>>>::U: Clone` is not satisfied
  18   --> $DIR/hr-associated-type-bound-param-5.rs:26:14
  19    |
  20 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
  21    |       - required by a bound in this
  22 LL | where
  23 LL |     for<'b> <T as X<'b, T>>::U: Clone,
  24    |                                 ----- required by this bound in `X`
  25 ...
  26 LL |     type U = str;
  27    |              ^^^ the trait `for<'b> Clone` is not implemented for `<Vec<T> as X<'b, Vec<T>>>::U`
  28    |
  29    = help: the following implementations were found:
  30              <&T as Clone>
  31              <&mut T as Clone>
  32
  33 error[E0277]: the trait bound `for<'b> <Vec<T> as X<'b, Vec<T>>>::U: Clone` is not satisfied
  34   --> $DIR/hr-associated-type-bound-param-5.rs:32:14
  35    |
  36 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
  37    |       - required by a bound in this
  38 ...
  39 LL |     for<'b> <T::Next as X<'b, T::Next>>::U: Clone,
  40    |                                             ----- required by this bound in `X`
  41 ...
  42 LL |     type U = str;
  43    |              ^^^ the trait `for<'b> Clone` is not implemented for `<Vec<T> as X<'b, Vec<T>>>::U`
  44    |
  45    = help: the following implementations were found:
  46              <&T as Clone>
  47              <&mut T as Clone>
  48
  49 error[E0277]: the trait bound `for<'b> <Box<T> as X<'b, Box<T>>>::U: Clone` is not satisfied
  50   --> $DIR/hr-associated-type-bound-param-5.rs:32:14
  51    |
  52 LL | trait X<'a, T: Cycle + for<'b> X<'b, T>>
  53    |       - required by a bound in this
  54 LL | where
  55 LL |     for<'b> <T as X<'b, T>>::U: Clone,
  56    |                                 ----- required by this bound in `X`
  57 ...
  58 LL |     type U = str;
  59    |              ^^^ the trait `for<'b> Clone` is not implemented for `<Box<T> as X<'b, Box<T>>>::U`
  60    |
  61    = help: the following implementations were found:
  62              <&T as Clone>
  63              <&mut T as Clone>
  64
  65 error: aborting due to 4 previous errors
  66
  67 For more information about this error, try `rustc --explain E0277`.