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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4 concept bool C()
   5 {
   6   return requires (T t) { t.mf(); };
   7 }
   8
   9 template<typename T>
  10 concept bool CA1()
  11 {
  12   return C<typename T::ca1_type>();
  13 }
  14
  15 template<typename T>
  16 concept bool CA2()
  17 {
  18   return CA1<T>() && requires () { typename T::ca2_type; };
  19 }
  20
  21 template<typename T>
  22 concept bool CA3()
  23 {
  24   return CA2<T>() && requires () { typename T::ca3_type; };
  25 }
  26
  27 template<typename T>
  28 concept bool CB1()
  29 {
  30   return requires () { typename T::cb1_type; };
  31 }
  32
  33 template<typename T>
  34 concept bool CB2()
  35 {
  36   return CB1<T>() && requires () { typename T::cb2_type; };
  37 }
  38
  39 template<typename T>
  40 concept bool CB3()
  41 {
  42   return CB2<T>() && requires () { typename T::cb3_type; };
  43 }
  44
  45
  46 struct MC { void mf(); };
  47 static_assert(C<MC>(), "");
  48
  49
  50 struct MA1 { using ca1_type = MC; };
  51 struct MA2 : MA1 { using ca2_type = int; };
  52 struct MA3 : MA2 { using ca3_type = int; };
  53 static_assert(CA1<MA1>(), "");
  54 static_assert(CA2<MA2>(), "");
  55 static_assert(CA3<MA3>(), "");
  56
  57 struct MB1 { using cb1_type = int; };
  58 struct MB2 : MB1 { using cb2_type = int; };
  59 struct MB3 : MB2 { using cb3_type = int; };
  60 static_assert(CB1<MB1>(), "");
  61 static_assert(CB2<MB2>(), "");
  62 static_assert(CB3<MB3>(), "");
  63
  64
  65 template<typename T1, typename T2>
  66 struct S;
  67
  68 template<CA1 T1, CB1 T2>
  69 struct S<T1, T2> // Specialization #1
  70 {
  71   static constexpr int value = 1;
  72 };
  73
  74 template<CA1 T1, CB2 T2>
  75   requires !CA2<T1>()
  76 struct S<T1, T2> // Specialization #2
  77 {
  78   static constexpr int value = 2;
  79 };
  80
  81 template<CA2 T1, CB3 T2>
  82   requires !CA3<T1>()
  83 struct S<T1, T2> // Specialization #3
  84 {
  85   static constexpr int value = 3;
  86 };
  87
  88 S<MA1,MB1> s11;
  89 S<MA1,MB2> s12;
  90 S<MA1,MB3> s13;
  91 S<MA2,MB1> s21;
  92 S<MA2,MB2> s22;
  93 S<MA2,MB3> s23;
  94 S<MA3,MB1> s31;
  95 S<MA3,MB2> s32;
  96 S<MA3,MB3> s33;
  97
  98 static_assert(S<MA1,MB1>::value == 1, "");
  99 static_assert(S<MA1,MB2>::value == 2, "");
 100 static_assert(S<MA1,MB3>::value == 2, "");
 101 static_assert(S<MA2,MB1>::value == 1, "");
 102 static_assert(S<MA2,MB2>::value == 1, "");
 103 static_assert(S<MA2,MB3>::value == 3, "");
 104 static_assert(S<MA3,MB1>::value == 1, "");
 105 static_assert(S<MA3,MB2>::value == 1, "");
 106 static_assert(S<MA3,MB3>::value == 1, "");