1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// { dg-do compile { target concepts } } template <class T> concept False = false; template <class T> struct A { explicit operator bool (); explicit operator bool () requires False<T>; }; int main() { int i { A<int>() }; // { dg-error "" } }