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

   1 // { dg-do run }
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 template<typename T>
   5   concept bool Class () { return __is_class(T); }
   6
   7 struct Test {
   8   void f(auto a) requires Class<decltype(a)>();
   9 } test;
  10
  11 struct S { }s;
  12
  13 int main() {
  14   test.f(s);
  15 }
  16
  17 void Test::f(auto a) requires Class<decltype(a)>() { }