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

   1 // { dg-do link { target c++17_only } }
   2 // { dg-options "-fconcepts-ts" }
   3
   4 // Check equivalence of short- and longhand declarations.
   5
   6 template<typename T>
   7   concept bool C() { return __is_class(T); }
   8
   9 template<typename T>
  10   concept bool D() { return __is_empty(T); }
  11
  12 struct X { } x;
  13
  14 void f1(C x);
  15 template<C T> void f2(T x);
  16 void f3(C x);
  17 template<C T> void f4(T x) requires D<T>();
  18 template<C T> void f5(T x) requires D<T>();
  19 template<C T> void f6(T x) requires D<T>();
  20
  21 int main() {
  22   f1(x);
  23   f2(x);
  24   f3(x);
  25   f4(x);
  26   f5(x);
  27   f6(x);
  28 }
  29
  30 template<typename T> requires C<T>() void f1(T x) { }
  31 template<typename T> requires C<T>() void f2(T x) { }
  32 template<C T> void f3(T x) { }
  33 template<typename T> requires C<T>() void f4(T x) requires D<T>() { }
  34 template<typename T> requires C<T>() and D<T>() void f5(T x) { }
  35 template<typename T> void f6(T x) requires C<T>() and D<T>() { }