24 using Eigen::internal::take;
164   VERIFY((is_same<typename take<0, tl>::type, type_list<>>::value));  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()
172   VERIFY((is_same<typename take<0, il>::type, numeric_list<int>>::value));  in test_slice()
173   VERIFY((is_same<typename take<1, il>::type, numeric_list<int, 0>>::value));  in test_slice()
174   VERIFY((is_same<typename take<2, il>::type, numeric_list<int, 0, 1>>::value));  in test_slice()
175   VERIFY((is_same<typename take<3, il>::type, numeric_list<int, 0, 1, 2>>::value));  in test_slice()
176   VERIFY((is_same<typename take<4, il>::type, numeric_list<int, 0, 1, 2, 3>>::value));  in test_slice()
177   VERIFY((is_same<typename take<5, il>::type, numeric_list<int, 0, 1, 2, 3, 4>>::value));  in test_slice()
178   VERIFY((is_same<typename take<6, il>::type, numeric_list<int, 0, 1, 2, 3, 4, 5>>::value));  in test_slice()
196   VERIFY((is_same<typename slice<0, 3, tl>::type, typename take<3, tl>::type>::value));  in test_slice()
197   VERIFY((is_same<typename slice<0, 3, il>::type, typename take<3, il>::type>::value));  in test_slice()