1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <array>
10
11 // tuple_element<I, array<T, N> >::type
12
13 #include <array>
14 #include <type_traits>
15
16 #include "test_macros.h"
17
18 template <class T>
test()19 void test()
20 {
21 {
22 typedef T Exp;
23 typedef std::array<T, 3> C;
24 static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
25 static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
26 static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
27 }
28 {
29 typedef T const Exp;
30 typedef std::array<T, 3> const C;
31 static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
32 static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
33 static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
34 }
35 {
36 typedef T volatile Exp;
37 typedef std::array<T, 3> volatile C;
38 static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
39 static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
40 static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
41 }
42 {
43 typedef T const volatile Exp;
44 typedef std::array<T, 3> const volatile C;
45 static_assert((std::is_same<typename std::tuple_element<0, C>::type, Exp>::value), "");
46 static_assert((std::is_same<typename std::tuple_element<1, C>::type, Exp>::value), "");
47 static_assert((std::is_same<typename std::tuple_element<2, C>::type, Exp>::value), "");
48 }
49 }
50
main(int,char **)51 int main(int, char**)
52 {
53 test<double>();
54 test<int>();
55
56 return 0;
57 }
58