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