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.
