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