blob: 50fa3b4daddf112dc6945067e03be634a80ea31a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// { dg-options "-std=c++17 -fconcepts" }
struct X { };
int operator==(X, X) { return 0; }
template<typename T>
concept bool C1() { return X(); } // { dg-error "bool" }
template<C1 T>
void h(T) { } // OK until used.
void f()
{
h(0); // { dg-error "does not have|cannot call" }
}
template<typename T>
concept bool C2() { return X() == X(); } // OK
|