1 // check-pass 2 3 #![feature(generic_associated_types)] 4 5 trait Family { 6 type Member<'a>: for<'b> PartialEq<Self::Member<'b>>; 7 } 8 9 struct I32; 10 11 impl Family for I32 { 12 type Member<'a> = i32; 13 } 14 main()15 fn main() {} 16