1 error[E0283]: type annotations required: cannot resolve `S5<_>: Foo`
2 --> $DIR/issue-29147.rs:31:13
4 LL | let _ = <S5<_>>::xxx; //~ ERROR cannot resolve `S5<_>: Foo`
7 note: required by `Foo::xxx`
8 --> $DIR/issue-29147.rs:20:13
10 LL | trait Foo { fn xxx(&self); }
13 error: aborting due to previous error
15 For more information about this error, try `rustc --explain E0283`.