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