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>
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 
51 int main(int, char**)
52 {
53     test<double>();
54     test<int>();
55 
56   return 0;
57 }
58