tests/ui/generic-associated-types/mismatched-where-clause-regions.stderr

   1 error[E0276]: impl has stricter requirements than trait
   2   --> $DIR/mismatched-where-clause-regions.rs:8:38
   3    |
   4 LL |     type T<'a1, 'b1>
   5    |     ---------------- definition of `T` from trait
   6 ...
   7 LL |     type T<'a2, 'b2> = () where 'b2: 'a2;
   8    |                                      ^^^ impl has extra requirement `'b2: 'a2`
   9    |
  10 help: copy the `where` clause predicates from the trait
  11    |
  12 LL |     type T<'a2, 'b2> = () where 'a2: 'b2;
  13    |                           ~~~~~~~~~~~~~~
  14
  15 error: aborting due to previous error
  16
  17 For more information about this error, try `rustc --explain E0276`.