https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99365
Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |rejects-valid --- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> --- Another variant from PR99366 which we reject rather than ICE on: (In reply to Johel Ernesto Guerrero Peña from comment #0) > See https://godbolt.org/z/ETjYfP. > ```C++ > template<class>concept C=true; > template<class,C auto>struct A{}; > template<class T,C auto V>requires true struct A<T,V>{}; > ``` > I think CE recompiles GCC trunk daily, and this was working yesterday. > Must be related to Bug 99365.