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