586b016c JM |
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 | |
12 | int main() |
13 | { |
14 | int i { A<int>() }; // { dg-error "" } |
15 | } |