blob: 3d6fc813a6acc860075939784e96e440924bcf81 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
// { dg-do compile { target c++17 } }
// { dg-options "-fconcepts" }
// Check argument deduction constraints.
// TODO: We shoul have more of these...
template<typename T>
concept bool C1 = sizeof(T) == 0;
template<typename T, typename U>
concept bool C2 = __is_same_as(T, U);
template<typename T>
concept bool D1()
{
return requires (T t) { { t } -> C1; };
}
template<typename T>
concept bool D2()
{
return requires (T t) { { t } -> C2<void>; };
}
void f1(D1) { }
void f2(D2) { }
int main()
{
f1(0); // { dg-error "cannot call" }
f2(0); // { dg-error "cannot call" }
}
|