1 2 3 4 5 6 7 8
#![feature(trait_alias)] trait I32Iterator = Iterator<Item = i32>; fn main() { let _: &dyn I32Iterator<Item = u32> = &vec![42].into_iter(); //~^ ERROR type mismatch }