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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool Class() { return __is_class(T); }
   5
   6 template<typename T>
   7   concept bool Union() { return __is_union(T); }
   8
   9 // Check non-overlapping specializations
  10 template<typename T> struct S1 { static const int value = 0; };
  11 template<Class T> struct S1<T> { static const int value = 1; };
  12 template<Union T> struct S1<T> { static const int value = 2; };
  13
  14 struct S { };
  15 union U { };
  16
  17 static_assert(S1<int>::value == 0, "");
  18 static_assert(S1<S>::value == 1, "");
  19 static_assert(S1<U>::value == 2, "");
  20
  21 int main() { }