gcc/testsuite/g++.dg/concepts/var-concept4.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T, typename U>
   4 concept bool Same = __is_same_as(T, U);
   5
   6 template<typename T0, typename T1, typename T2, typename... T3toN>
   7 concept bool Same<T0, T1, T2, T3toN...> = true; // { dg-error "wrong number|does not match" }
   8
   9 template<typename T>
  10 concept bool C1 = true;
  11
  12 template<typename T>
  13 concept bool C1<T*> = true; // { dg-error "specialization of variable concept" }
  14
  15 template<typename T>
  16 concept bool C2 = true;
  17
  18 template<>
  19 concept bool C2<int> = true; // { dg-error "non-template variable" }