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