111
|
1 // { dg-options "-std=c++17 -fconcepts" }
|
|
2
|
|
3 template<typename T>
|
|
4 concept bool C = false;
|
|
5
|
|
6 int f1() requires false;
|
|
7 int& f2() requires false;
|
|
8 int* f3() requires false;
|
|
9 auto f4() -> int& requires false;
|
|
10 auto f5() -> int* requires false;
|
|
11 auto f6() -> int requires false;
|
|
12
|
|
13 int (*p)() requires true; // { dg-error "" }
|
|
14 int (&p)() requires true; // { dg-error "" }
|
|
15 int g(int (*)() requires true); // { dg-error "" }
|
|
16
|
|
17 int f() { }
|
|
18
|
|
19 int
|
|
20 main()
|
|
21 {
|
|
22 f1(); // { dg-error "cannot call" }
|
|
23 }
|