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

   1 error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
   2   --> $DIR/hr-associated-type-bound-param-2.rs:4:8
   3    |
   4 LL | trait Z<'a, T: ?Sized>
   5    |       - required by a bound in this
   6 LL | where
   7 LL |     T: Z<'a, u16>,
   8    |        ^^^^^^^^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W`
   9 ...
  10 LL |     for<'b> <T as Z<'b, u16>>::W: Clone,
  11    |                                   ----- required by this bound in `Z`
  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> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
  18   --> $DIR/hr-associated-type-bound-param-2.rs:16:14
  19    |
  20 LL | trait Z<'a, T: ?Sized>
  21    |       - required by a bound in this
  22 ...
  23 LL |     for<'b> <T as Z<'b, u16>>::W: Clone,
  24    |                                   ----- required by this bound in `Z`
  25 ...
  26 LL |     type W = str;
  27    |              ^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W`
  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> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
  34   --> $DIR/hr-associated-type-bound-param-2.rs:4:8
  35    |
  36 LL | trait Z<'a, T: ?Sized>
  37    |       - required by a bound in this
  38 LL | where
  39 LL |     T: Z<'a, u16>,
  40    |        ^^^^^^^^^^ the trait `for<'b> Clone` is not implemented for `<u16 as Z<'b, u16>>::W`
  41 ...
  42 LL |     for<'b> <T as Z<'b, u16>>::W: Clone,
  43    |                                   ----- required by this bound in `Z`
  44    |
  45    = help: the following implementations were found:
  46              <&T as Clone>
  47              <&mut T as Clone>
  48
  49 error: aborting due to 3 previous errors
  50
  51 For more information about this error, try `rustc --explain E0277`.