1 #![feature(trait_alias)]
3 trait Foo: Iterator<Item = i32> {}
4 trait Bar: Foo<Item = u32> {} //~ ERROR type annotations needed
6 trait I32Iterator = Iterator<Item = i32>;
7 trait U32Iterator = I32Iterator<Item = u32>; //~ ERROR type annotations needed
10 let _: &dyn I32Iterator<Item = u32>;