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