https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92582
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P3 |P1 Status|UNCONFIRMED |NEW Last reconfirmed| |2019-11-26 CC| |jakub at gcc dot gnu.org, | |jason at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Reduced testcase: template <class a, class> concept b = requires(a(c)) { c; }; template <typename> struct A { template <typename c> static constexpr bool d = b<c, int>; template <typename c> A(c) requires d<c>; }; A<void> e { 0 }; With s/concept/concept bool/ and -std=c++17 -fconcepts instead of -std=c++2a this compiled before r276764 and starting with that revision ICEs.