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