1 error[E0284]: type annotations needed
2 --> $DIR/associated-types-overridden-binding.rs:4:1
4 LL | trait Foo: Iterator<Item = i32> {}
5 | ------------------------------- required by `Foo`
6 LL | trait Bar: Foo<Item = u32> {}
7 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for type parameter `Self`
9 = note: cannot resolve `<Self as std::iter::Iterator>::Item == i32`
11 error[E0284]: type annotations needed
12 --> $DIR/associated-types-overridden-binding.rs:7:1
14 LL | trait I32Iterator = Iterator<Item = i32>;
15 | ----------------------------------------- required by `I32Iterator`
16 LL | trait U32Iterator = I32Iterator<Item = u32>;
17 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for type parameter `Self`
19 = note: cannot resolve `<Self as std::iter::Iterator>::Item == i32`
21 error: aborting due to 2 previous errors
23 For more information about this error, try `rustc --explain E0284`.