2 // { dg-do compile { target c++11 } }
4 template <int...> struct integral_constant {
5 static const int value = 1;
7 template <class... T> using mp_all = integral_constant<T::value...>;
8 template <class... T> using check2 = mp_all<mp_all<T..., integral_constant<0>>>;
11 template <class T, class U> struct assert_same;
12 template <class T> struct assert_same<T,T> { };
13 assert_same<decltype(x),integral_constant<1>> a;