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