When writing fn foo<T: impl Trait>() {} the current error is "expected one of these tokens", without any attempt to recover the parse. It should instead be closer to:

error[E0404]: expected trait, found struct `S`
 --> src/lib.rs:2:11
  |
2 | fn foo<T: S>() {}
  |           ^ not a trait