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 } 12 main()13 fn main() {} 14