1 2 3 4 5 6 7 8 9 10 11 12 13
// A regression test for #68653, which was fixed by #68938. // check-pass trait Fun { type F<'a: 'a>; } impl <T> Fun for T { type F<'a> = Self; } fn main() {}