1 2 3 4 5 6 7 8 9 10 11 12
// Verify a conditional explicit-specifier is a SFINAE context. // { dg-do compile { target c++20 } } struct A { template<class T> explicit(T::value) A(T) = delete; A(...); }; struct B { static bool value; }; A x(0); A y(B{});