1 // { dg-do compile { target c++11 } }
3 template<typename T1, typename T2>
5 { static const bool value = false; };
9 { static const bool value = true; };
11 enum E1 : unsigned { };
14 enum class E4 : unsigned char { c = 1 };
15 enum class E5 : int { a = -1, b = 1 };
16 enum class E6 : long { c = __LONG_MAX__ };
18 template<typename T, typename U,
19 typename V = __underlying_type(T)>
22 static_assert(is_same<U, V>::value, "Error");
25 template class test<E1, unsigned>;
26 template class test<E2, char>;
27 template class test<E3, int>;
28 template class test<E4, unsigned char>;
29 template class test<E5, int>;
30 template class test<E6, long>;