1 // run-pass 2 3 trait Foo: Iterator<Item = i32> {} 4 trait Bar: Foo {} 5 main()6 fn main() { 7 let _: &dyn Bar; 8 } 9