gcc/testsuite/g++.dg/concepts/pr65575.C

   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() { return 0; }
  18
  19 int
  20 main()
  21 {
  22   f1(); // { dg-error "cannot call" }
  23 }