3 #![feature(associated_type_defaults)]
4 #![feature(generic_associated_types)]
7 // Fine, i32: PartialEq<i32>
8 type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = i32;
13 // Not fine, not Foo: PartialEq<Foo>
14 type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = Foo;
15 //~^ ERROR can't compare