gcc/testsuite/g++.dg/ext/traits1.C

// PR c++/58504

template<bool = __has_nothrow_assign(void)> struct A {};
A<> a;