131
|
1 // { dg-do compile { target c++17 } }
|
|
2 // { dg-options "-fconcepts" }
|
111
|
3
|
|
4 struct fool { };
|
|
5
|
|
6 constexpr fool operator&&(fool, fool) { return {}; }
|
|
7 constexpr fool operator||(fool, fool) { return {}; }
|
|
8
|
|
9 template<typename T> constexpr fool p1() { return {}; }
|
|
10 template<typename T> constexpr fool p2() { return {}; }
|
|
11
|
|
12 template<typename T>
|
|
13 concept bool C() { return p1<T>() && p2<T>(); }
|
|
14
|
|
15 template<C T> void f(T x) { }
|
|
16
|
|
17 int main() {
|
|
18 f(0); // { dg-error "cannot call|uses overloaded operator" }
|
|
19 }
|