// { dg-do compile { target c++11 } }
template<typename... Args> struct tuple1 { };
template<typename... Args> struct tuple2 { };

template<typename T, typename U>
struct same_tuple_args {
  static const bool value = false;
};

template<typename... Args>
struct same_tuple_args<tuple1<Args...>, tuple2<Args...> > {
  static const bool value = true;
};

int same0[same_tuple_args<tuple1<>, tuple2<> >::value? 1 : -1];
int same1[same_tuple_args<tuple1<int>, tuple2<int> >::value? 1 : -1];
int same2[same_tuple_args<tuple1<float, int>, tuple2<float, int> >::value? 1 : -1];
int diff0[!same_tuple_args<tuple1<>, tuple2<int> >::value? 1 : -1];
int diff1[!same_tuple_args<tuple1<int, float>, tuple2<float, int> >::value? 1 : -1];