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 // type_traits
11 
12 // union
13 
14 #include <type_traits>
15 
16 template <class T>
test_union_imp()17 void test_union_imp()
18 {
19     static_assert(!std::is_reference<T>::value, "");
20     static_assert(!std::is_arithmetic<T>::value, "");
21     static_assert(!std::is_fundamental<T>::value, "");
22     static_assert( std::is_object<T>::value, "");
23     static_assert(!std::is_scalar<T>::value, "");
24     static_assert( std::is_compound<T>::value, "");
25     static_assert(!std::is_member_pointer<T>::value, "");
26 }
27 
28 template <class T>
test_union()29 void test_union()
30 {
31     test_union_imp<T>();
32     test_union_imp<const T>();
33     test_union_imp<volatile T>();
34     test_union_imp<const volatile T>();
35 }
36 
37 union Union
38 {
39     int _;
40     double __;
41 };
42 
main()43 int main()
44 {
45     test_union<Union>();
46 }
47