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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool One() { return sizeof(T) >= 4; }
   5
   6 template<typename T>
   7   concept bool Two() { return One<T>() && sizeof(T) >= 8; }
   8
   9 // Check ordering of partial specializaitons
  10 template<typename T>
  11   struct S2 { static const int value = 0;  };
  12
  13 template<One T>
  14   struct S2<T> { static const int value = 1; };
  15
  16 template<Two T>
  17   struct S2<T> { static const int value = 2; };
  18
  19 struct one_type { char x[4]; };
  20 struct two_type { char x[8]; };
  21
  22 static_assert(S2<char>::value == 0, "");
  23 static_assert(S2<one_type>::value == 1, "");
  24 static_assert(S2<two_type>::value == 2, "");
  25
  26 int main() { }