src/test/ui/associated-types/associated-types-overridden-binding-2.rs

   1 #![feature(trait_alias)]
   2
   3 trait I32Iterator = Iterator<Item = i32>;
   4
   5 fn main() {
   6     let _: &dyn I32Iterator<Item = u32> = &vec![42].into_iter();
   7     //~^ ERROR expected `std::vec::IntoIter<u32>` to be an iterator that yields `i32`, but it yields `u32`
   8 }