gcc/testsuite/g++.dg/cpp0x/variadic15.C

   1 // { dg-do compile { target c++11 } }
   2 template<typename R, typename... ArgTypes>
   3 struct make_function_type
   4 {
   5   typedef R type(const ArgTypes&...);
   6 };
   7
   8 template<typename T, typename U>
   9 struct is_same {
  10   static const bool value = false;
  11 };
  12
  13 template<typename T>
  14 struct is_same<T, T> {
  15   static const bool value = true;
  16 };
  17
  18 int a0[is_same<make_function_type<int>::type, int()>::value? 1 : -1];
  19 int a1[is_same<make_function_type<int, float>::type, int(const float&)>::value? 1 : -1];
  20 int a2[is_same<make_function_type<int, float>::type, int(const float&)>::value? 1 : -1];
  21 int a3[is_same<make_function_type<int, float, double>::type, int(const float&, double const&)>::value? 1 : -1];