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` associated type
  11     //~| impl has stricter
  12 }
  13
  14 fn main() {}