1 // { dg-options "-std=gnu++0x" } 2 template<typename R, typename... ArgTypes> 3 struct make_function_type 4 { 5 typedef R type(ArgTypes... args); 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(float)>::value? 1 : -1]; 20 int a2[is_same<make_function_type<int, float>::type, int(float)>::value? 1 : -1]; 21 int a3[is_same<make_function_type<int, float, double>::type, int(float, double const)>::value? 1 : -1]; 22