src/test/ui/generic-associated-types/missing-where-clause-on-trait.stderr

   1 error: `impl` associated type signature for `Assoc` doesn't match `trait` associated type signature
   2   --> $DIR/missing-where-clause-on-trait.rs:9:5
   3    |
   4 LL |     type Assoc<'a, 'b>;
   5    |     ------------------- expected
   6 ...
   7 LL |     type Assoc<'a, 'b> where 'a: 'b = ();
   8    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found
   9
  10 error[E0276]: impl has stricter requirements than trait
  11   --> $DIR/missing-where-clause-on-trait.rs:9:5
  12    |
  13 LL |     type Assoc<'a, 'b>;
  14    |     ------------------- definition of `Assoc` from trait
  15 ...
  16 LL |     type Assoc<'a, 'b> where 'a: 'b = ();
  17    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ impl has extra requirement `'a: 'b`
  18
  19 error: aborting due to 2 previous errors
  20
  21 For more information about this error, try `rustc --explain E0276`.