1 #![feature(generic_associated_types)] 2 3 // check-pass 4 5 trait Iterator { 6 type Item<'a>: 'a; 7 } 8 9 impl Iterator for () { 10 type Item<'a> = &'a (); 11 } 12 main()13 fn main() {} 14