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