1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s 2 3 static_assert(__has_builtin(__type_pack_element), ""); 4 5 using SizeT = decltype(sizeof(int)); 6 7 template <SizeT i, typename ...T> 8 using TypePackElement = __type_pack_element<i, T...>; 9 10 template <int i> 11 struct X; 12 13 static_assert(__is_same(TypePackElement<0, X<0>>, X<0>), ""); 14 15 static_assert(__is_same(TypePackElement<0, X<0>, X<1>>, X<0>), ""); 16 static_assert(__is_same(TypePackElement<1, X<0>, X<1>>, X<1>), ""); 17 18 static_assert(__is_same(TypePackElement<0, X<0>, X<1>, X<2>>, X<0>), ""); 19 static_assert(__is_same(TypePackElement<1, X<0>, X<1>, X<2>>, X<1>), ""); 20 static_assert(__is_same(TypePackElement<2, X<0>, X<1>, X<2>>, X<2>), ""); 21 22 static_assert(__is_same(TypePackElement<0, X<0>, X<1>, X<2>, X<3>>, X<0>), ""); 23 static_assert(__is_same(TypePackElement<1, X<0>, X<1>, X<2>, X<3>>, X<1>), ""); 24 static_assert(__is_same(TypePackElement<2, X<0>, X<1>, X<2>, X<3>>, X<2>), ""); 25 static_assert(__is_same(TypePackElement<3, X<0>, X<1>, X<2>, X<3>>, X<3>), ""); 26 27 static_assert(__is_same(TypePackElement<0, X<0>, X<1>, X<2>, X<3>, X<4>>, X<0>), ""); 28 static_assert(__is_same(TypePackElement<1, X<0>, X<1>, X<2>, X<3>, X<4>>, X<1>), ""); 29 static_assert(__is_same(TypePackElement<2, X<0>, X<1>, X<2>, X<3>, X<4>>, X<2>), ""); 30 static_assert(__is_same(TypePackElement<3, X<0>, X<1>, X<2>, X<3>, X<4>>, X<3>), ""); 31 static_assert(__is_same(TypePackElement<4, X<0>, X<1>, X<2>, X<3>, X<4>>, X<4>), ""); 32 33 static_assert(__is_same(TypePackElement<0, X<0>, X<1>, X<2>, X<3>, X<4>, X<5>>, X<0>), ""); 34 static_assert(__is_same(TypePackElement<1, X<0>, X<1>, X<2>, X<3>, X<4>, X<5>>, X<1>), ""); 35 static_assert(__is_same(TypePackElement<2, X<0>, X<1>, X<2>, X<3>, X<4>, X<5>>, X<2>), ""); 36 static_assert(__is_same(TypePackElement<3, X<0>, X<1>, X<2>, X<3>, X<4>, X<5>>, X<3>), ""); 37 static_assert(__is_same(TypePackElement<4, X<0>, X<1>, X<2>, X<3>, X<4>, X<5>>, X<4>), ""); 38 static_assert(__is_same(TypePackElement<5, X<0>, X<1>, X<2>, X<3>, X<4>, X<5>>, X<5>), ""); 39 40 // Test __type_pack_element with more than 2 top-level template arguments. 41 static_assert(__is_same(__type_pack_element<5, X<0>, X<1>, X<2>, X<3>, X<4>, X<5>>, X<5>), ""); 42 43 template <SizeT Index, typename ...T> 44 using ErrorTypePackElement1 = __type_pack_element<Index, T...>; // expected-error{{may not be accessed at an out of bounds index}} 45 using illformed1 = ErrorTypePackElement1<3, X<0>, X<1>>; // expected-note{{in instantiation}} 46