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