1 error[E0283]: type annotations needed
2 --> $DIR/issue-29147.rs:21:13
4 LL | let _ = <S5<_>>::xxx;
5 | ^^^^^^^^^^^^ cannot infer type for struct `S5<_>`
7 note: multiple `impl`s satisfying `S5<_>: Foo` found
8 --> $DIR/issue-29147.rs:17:1
10 LL | impl Foo for S5<u32> { fn xxx(&self) {} }
11 | ^^^^^^^^^^^^^^^^^^^^
12 LL | impl Foo for S5<u64> { fn xxx(&self) {} }
13 | ^^^^^^^^^^^^^^^^^^^^
14 note: required by `Foo::xxx`
15 --> $DIR/issue-29147.rs:10:13
17 LL | trait Foo { fn xxx(&self); }
20 error: aborting due to previous error
22 For more information about this error, try `rustc --explain E0283`.