https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79917
David Stone <david at doublewise dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |david at doublewise dot net
--- Comment #1 from David Stone <david at doublewise dot net> ---
Reconfirmed for 9.1. Updated reproduction:
template<typename>
concept bool C = true;
struct S {
template<C... c>
static void f() {
}
};
void foo() {
S::f();
}
<source>: In substitution of 'template<class ... c> requires C<c>... static
void S::f() [with c = {}]':
<source>:11:10: required from here
<source>:6:14: internal compiler error: in tsubst_constraint, at
cp/constraint.cc:1948
6 | static void f() {
| ^
See it live: https://godbolt.org/z/cSCotJ
