https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107417
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Keywords| |accepts-invalid,
| |rejects-valid
Ever confirmed|0 |1
Last reconfirmed| |2022-10-26
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I think the underlying issue is that it accepts the pack without expansion:
template<typename... T>
requires (requires (T x) { x; })
auto func(T...) { }
And so the error about "no unexpanded parameter packs" is correct, the AST
doesn't contain any. But it should do, the requires-expression is a pack
expression that must be expanded (e.g. in a fold expression).
