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

   1 // check-fail
   2
   3 #![feature(generic_associated_types)]
   4
   5 trait Foo {
   6     type Assoc<'a, 'b>;
   7 }
   8 impl Foo for () {
   9     type Assoc<'a, 'b> = () where 'a: 'b;
  10     //~^ impl has stricter requirements than trait
  11 }
  12
  13 fn main() {}