50 struct dummy_a {};  struct
58 template<> struct dummy_op<dummy_a, dummy_b> { typedef dummy_c type; };
59 template<> struct dummy_op<dummy_b, dummy_a> { typedef dummy_d type; };
60 template<> struct dummy_op<dummy_b, dummy_c> { typedef dummy_a type; };
62 template<> struct dummy_op<dummy_c, dummy_a> { typedef dummy_b type; };
63 template<> struct dummy_op<dummy_a, dummy_c> { typedef dummy_d type; };
64 template<> struct dummy_op<dummy_a, dummy_a> { typedef dummy_e type; };
69 template<> struct dummy_test<dummy_a, dummy_a>     { constexpr static bool value = true;  constexpr…
134 …VERIFY((is_same<typename concat<type_list<dummy_a, dummy_a>, type_list<>>::type, type_list<dummy_a…  in test_concat()
135 …Y((is_same<typename concat<type_list<>, type_list<dummy_a, dummy_a>>::type, type_list<dummy_a, dum…  in test_concat()
136 …<typename concat<type_list<dummy_a, dummy_a>, type_list<dummy_a, dummy_a>>::type, type_list<dummy_…  in test_concat()
137 …((is_same<typename concat<type_list<dummy_a, dummy_a>, type_list<dummy_b, dummy_c>>::type, type_li…  in test_concat()
138 …VERIFY((is_same<typename concat<type_list<dummy_a>, type_list<dummy_b, dummy_c>>::type, type_list<…  in test_concat()
146   VERIFY((is_same<typename mconcat<type_list<dummy_a>>::type, type_list<dummy_a>>::value));  in test_concat()
147 …VERIFY((is_same<typename mconcat<type_list<dummy_a>, type_list<dummy_b>>::type, type_list<dummy_a,…  in test_concat()
148 …FY((is_same<typename mconcat<type_list<dummy_a>, type_list<dummy_b>, type_list<dummy_c>>::type, ty…  in test_concat()
149 …VERIFY((is_same<typename mconcat<type_list<dummy_a>, type_list<dummy_b, dummy_c>>::type, type_list…  in test_concat()
150 …VERIFY((is_same<typename mconcat<type_list<dummy_a, dummy_b>, type_list<dummy_c>>::type, type_list…  in test_concat()
161   typedef type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c, dummy_c> tl;  in test_slice()
165   VERIFY((is_same<typename take<1, tl>::type, type_list<dummy_a>>::value));  in test_slice()
166   VERIFY((is_same<typename take<2, tl>::type, type_list<dummy_a, dummy_a>>::value));  in test_slice()
167   VERIFY((is_same<typename take<3, tl>::type, type_list<dummy_a, dummy_a, dummy_b>>::value));  in test_slice()
168 …VERIFY((is_same<typename take<4, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b>>::value)…  in test_slice()
169 …VERIFY((is_same<typename take<5, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c>…  in test_slice()
170 …VERIFY((is_same<typename take<6, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c,…  in test_slice()
180 …VERIFY((is_same<typename skip<0, tl>::type, type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c,…  in test_slice()
181 …VERIFY((is_same<typename skip<1, tl>::type, type_list<dummy_a, dummy_b, dummy_b, dummy_c, dummy_c>…  in test_slice()
198   VERIFY((is_same<typename slice<1, 3, tl>::type, type_list<dummy_a, dummy_b, dummy_b>>::value));  in test_slice()
204   typedef type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c, dummy_c> tl;  in test_get()
207   VERIFY((is_same<typename get<0, tl>::type, dummy_a>::value));  in test_get()
208   VERIFY((is_same<typename get<1, tl>::type, dummy_a>::value));  in test_get()
222 static void test_id_helper(dummy_a a, dummy_a b, dummy_a c)  in test_id_helper()
232   test_id_helper(typename id_numeric<int, ii, dummy_a>::type()...);  in test_id_numeric()
238   test_id_helper(typename id_type<tt, dummy_a>::type()...);  in test_id_type()
246   test_id_type<dummy_a, dummy_b, dummy_c>();  in test_id()
251   VERIFY((!is_same_gf<dummy_a, dummy_b>::value));  in test_is_same_gf()
252   VERIFY((!!is_same_gf<dummy_a, dummy_a>::value));  in test_is_same_gf()
253   VERIFY_IS_EQUAL((!!is_same_gf<dummy_a, dummy_b>::global_flags), false);  in test_is_same_gf()
254   VERIFY_IS_EQUAL((!!is_same_gf<dummy_a, dummy_a>::global_flags), false);  in test_is_same_gf()
259   typedef type_list<dummy_a, dummy_b, dummy_c> tl;  in test_apply_op()
260 …VERIFY((!!is_same<typename apply_op_from_left<dummy_op, dummy_a, tl>::type, type_list<dummy_e, dum…  in test_apply_op()
261 …VERIFY((!!is_same<typename apply_op_from_right<dummy_op, dummy_a, tl>::type, type_list<dummy_e, du…  in test_apply_op()
266   typedef type_list<dummy_a, dummy_b, dummy_c> tl;  in test_contained_in_list()
268   VERIFY((!!contained_in_list<is_same, dummy_a, tl>::value));  in test_contained_in_list()
274   VERIFY((!!contained_in_list_gf<dummy_test, dummy_a, tl>::value));  in test_contained_in_list()
280   VERIFY_IS_EQUAL(((int)contained_in_list_gf<dummy_test, dummy_a, tl>::global_flags), 1);  in test_contained_in_list()