https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99806
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords|ice-on-invalid-code |ice-on-valid-code Priority|P3 |P2 --- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- // PR c++/99806 constexpr bool B = true; template <class T> concept C = requires (T a) { a.f(0); }; struct S { void f(auto) noexcept(B); }; static_assert(C<S>);