blob: c0af1f8849546efd0d3ddf268d051368bda7069e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// { dg-options "-std=c++1z" }
struct fool { };
constexpr fool operator&&(fool, fool) { return {}; }
constexpr fool operator||(fool, fool) { return {}; }
template<typename T> constexpr fool p1() { return {}; }
template<typename T> constexpr fool p2() { return {}; }
template<typename T>
concept bool C() { return p1<T>() && p2<T>(); } // { dg-error "does not have type" }
template<C T> void f(T x) { }
int main() {
f(0); // { dg-error "cannot call" }
}
|