gcc/testsuite/g++.dg/concepts/req-neg1.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 void f1(int a) requires true;         // OK
   4 auto f2(int a) -> bool requires true; // OK
   5 auto f3(int a) requires true -> bool; // { dg-error "" } requires-clause precedes trailing-return-type
   6 typedef void fn_t() requires true;    // { dg-error "typedef" }
   7 void (*pf)() requires true;           // { dg-error "non-function" }
   8 void (*fn(int))() requires false;     // { dg-error "return type" }
   9 void g(int (*)() requires true);      // { dg-error "parameter|non-function" }
  10 auto* p = new (void(*)(char) requires true); // { dg-error "type-id" }