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

   1 // { dg-do run }
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4
   5 // template<typename T>
   6 // concept bool C() { return true; }
   7
   8
   9 template<typename T>
  10 concept bool C = true;
  11
  12 void f1(C, C);
  13 void f2(C, C);
  14 void f3(C, C);
  15
  16 int main() {
  17   f1(0, 0);
  18   f2(0, 0);
  19   f3(0, 0);
  20 }
  21
  22 void f1(C, C) { }
  23
  24 template<C T>
  25 void f2(T, T) { }
  26
  27 template<typename T>
  28   requires C<T>
  29 void f3(T, T) { }