1 2 3 4 5 6 7 8 9 10 11
// PR c++/80384 // { dg-options -std=c++17 } template<class> struct foo; template<bool B> struct foo<int() noexcept(B)> { static const bool value = B; }; static_assert(!foo<int()>::value); static_assert(foo<int() noexcept>::value);