https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99976
Bug ID: 99976 Summary: gcc accepts requires-clause contains unexpanded parameter pack Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hewillk at gmail dot com Target Milestone: --- https://godbolt.org/z/ax7MKM483 template <typename... Ts> concept C = requires (Ts) { true; }; static_assert(C<int, float>); gcc accepts it.