1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // <tuple>
11 
12 // template <class... Types> class tuple;
13 
14 // template <class U1, class U2> tuple(const pair<U1, U2>& u);
15 
16 #include <tuple>
17 #include <utility>
18 #include <cassert>
19 
main()20 int main()
21 {
22     {
23         typedef std::pair<double, char> T0;
24         typedef std::tuple<int, short> T1;
25         T0 t0(2.5, 'a');
26         T1 t1 = t0;
27         assert(std::get<0>(t1) == 2);
28         assert(std::get<1>(t1) == short('a'));
29     }
30 #if _LIBCPP_STD_VER > 11
31     {
32         typedef std::pair<double, char> P0;
33         typedef std::tuple<int, short> T1;
34         constexpr P0 p0(2.5, 'a');
35         constexpr T1 t1 = p0;
36         static_assert(std::get<0>(t1) != std::get<0>(p0), "");
37         static_assert(std::get<1>(t1) == std::get<1>(p0), "");
38         static_assert(std::get<0>(t1) == 2, "");
39         static_assert(std::get<1>(t1) == short('a'), "");
40     }
41 #endif
42 }
43