[Bug c++/99806] [10/11 Regression] ICE: in tsubst_copy, at cp/pt.c:17247

[mpolacek at gcc dot gnu.org via Gcc-bugs]

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>);