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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename ... T>
   4   concept bool C1 = true;
   5
   6 template<int ... N>
   7   concept bool C2 = true;
   8
   9 template<typename T>
  10   concept bool C3 = __is_class(T);
  11
  12 template<typename ... T>
  13   concept bool C4() { return true; }
  14 template<int N>
  15   concept bool C4() { return true; }
  16
  17 template<typename T, typename U = int>
  18   concept bool C5() { return __is_class(U); }
  19
  20 C1{...A, B} void f1() {}; // { dg-error "no matching|wrong number" }
  21 C1{A} void f2() {} // { dg-error "cannot match pack|no matching concept" }
  22 C2{A, B} void f3() {}; // { dg-error "cannot match pack|no matching concept" }
  23 C3{...A} void f4() {}; // { dg-error "cannot match pack|no matching concept" }
  24 C4{A} void f5() {}; // { dg-error "no matching concept" }
  25 C5{A, B} void f6() {};
  26
  27 int main()
  28 {
  29   // Defaults should not transfer
  30   f6<int>(); // { dg-error "no matching" }
  31   return 0;
  32 }