error[E0283]: type annotations needed
  --> $DIR/issue-29147.rs:21:13
   |
LL | trait Foo { fn xxx(&self); }
   |             -------------- required by `Foo::xxx`
...
LL |     let _ = <S5<_>>::xxx;
   |             ^^^^^^^^^^^^ cannot infer type for struct `S5<_>`
   |
   = note: cannot satisfy `S5<_>: Foo`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0283`.