Move binder and polarity parsing into parse_generic_ty_bound by compiler-errors · Pull Request #127103 · rust-lang/rust (original) (raw)

Does this regress the following valid code (semantically valid 2015–2018, syntactically valid >2018):

fn f() where for<'a> 'a + std::fmt::Debug: {}

If so, I remember that there are some helper methods with which you can "look ahead for trailing a +"