51 struct dummy_b {};  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; };
61 template<> struct dummy_op<dummy_c, dummy_b> { typedef dummy_d type; };
62 template<> struct dummy_op<dummy_c, dummy_a> { typedef dummy_b type; };
65 template<> struct dummy_op<dummy_b, dummy_b> { typedef dummy_e type; };
70 template<> struct dummy_test<dummy_b, dummy_b>     { constexpr static bool value = true;  constexpr…
137 …concat<type_list<dummy_a, dummy_a>, type_list<dummy_b, dummy_c>>::type, type_list<dummy_a, dummy_a…  in test_concat()
138 …ame<typename concat<type_list<dummy_a>, type_list<dummy_b, dummy_c>>::type, type_list<dummy_a, dum…  in test_concat()
147 …is_same<typename mconcat<type_list<dummy_a>, type_list<dummy_b>>::type, type_list<dummy_a, dummy_b…  in test_concat()
148 …pename mconcat<type_list<dummy_a>, type_list<dummy_b>, type_list<dummy_c>>::type, type_list<dummy_…  in test_concat()
149 …me<typename mconcat<type_list<dummy_a>, type_list<dummy_b, dummy_c>>::type, type_list<dummy_a, dum…  in test_concat()
150 …(is_same<typename mconcat<type_list<dummy_a, dummy_b>, type_list<dummy_c>>::type, type_list<dummy_…  in test_concat()
161   typedef type_list<dummy_a, dummy_a, dummy_b, dummy_b, dummy_c, dummy_c> tl;  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()
182 …VERIFY((is_same<typename skip<2, tl>::type, type_list<dummy_b, dummy_b, dummy_c, dummy_c>>::value)…  in test_slice()
183   VERIFY((is_same<typename skip<3, tl>::type, type_list<dummy_b, dummy_c, dummy_c>>::value));  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()
209   VERIFY((is_same<typename get<2, tl>::type, dummy_b>::value));  in test_get()
210   VERIFY((is_same<typename get<3, tl>::type, dummy_b>::value));  in test_get()
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()
253   VERIFY_IS_EQUAL((!!is_same_gf<dummy_a, dummy_b>::global_flags), false);  in test_is_same_gf()
259   typedef type_list<dummy_a, dummy_b, dummy_c> tl;  in test_apply_op()
261 …e apply_op_from_right<dummy_op, dummy_a, tl>::type, type_list<dummy_e, dummy_d, dummy_b>>::value));  in test_apply_op()
266   typedef type_list<dummy_a, dummy_b, dummy_c> tl;  in test_contained_in_list()
269   VERIFY((!!contained_in_list<is_same, dummy_b, tl>::value));  in test_contained_in_list()
275   VERIFY((!!contained_in_list_gf<dummy_test, dummy_b, tl>::value));  in test_contained_in_list()
281   VERIFY_IS_EQUAL(((int)contained_in_list_gf<dummy_test, dummy_b, tl>::global_flags), 2);  in test_contained_in_list()