https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53025
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2014-09-29 Ever confirmed|0 |1 --- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> --- In case we need something more for templates, eg: template<typename T> struct A { A() noexcept {} A(const A&) noexcept(false) {} }; template<typename T> void a(A<T>) noexcept {} template<typename T> void f() { static_assert(!noexcept(a(A<T>{})), ""); // Error } void g() { f<int>(); }