https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126406
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=119343
Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot
gnu.org
CC| |ppalka at gcc dot gnu.org
Keywords| |rejects-valid
Status|NEW |ASSIGNED
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Not specific to __is_nothrow_invocable:
template<class T> auto f(T) { }
template<class T> void g(T) noexcept (noexcept(T())) { }
static_assert(f<int>); // incorrectly rejected
static_assert(g<int>); // ICE
