1 // check-fail 2 3 #![feature(associated_type_defaults)] 4 #![feature(generic_associated_types)] 5 6 trait Family { 7 // Fine, i32: PartialEq<i32> 8 type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = i32; 9 } 10 11 struct Foo; 12 trait Family2 { 13 // Not fine, not Foo: PartialEq<Foo> 14 type Member<'a>: for<'b> PartialEq<Self::Member<'b>> = Foo; 15 //~^ ERROR can't compare 16 } 17 main()18fn main() {} 19