1 // check-pass
2 // pretty-expanded FIXME #23616
3 
4 #![no_implicit_prelude]
5 
6 trait Iterator {
7     type Item;
dummy(&self)8     fn dummy(&self) { }
9 }
10 
11 impl<'a, T> Iterator for &'a mut (dyn Iterator<Item=T> + 'a) {
12     type Item = T;
13 }
14 
main()15 fn main() {}
16