1 // { dg-do compile { target c++11 } } 2 template<typename Signature> 3 struct function_traits; 4 5 template<typename R, typename... ArgTypes> 6 struct function_traits<R(ArgTypes......)> { 7 typedef R result_type; 8 }; 9 10 template<typename T, typename U> 11 struct same_type { 12 static const bool value = false; 13 }; 14 15 template<typename T> 16 struct same_type<T, T> { 17 static const bool value = true; 18 }; 19 20 int a0[same_type<function_traits<int(double, char...)>::result_type, int>::value? 1 : -1]; 21 int a1[same_type<function_traits<int(double, char,...)>::result_type, int>::value? 1 : -1]; 22 int a2[same_type<function_traits<int(char,...)>::result_type, int>::value? 1 : -1]; 23 int a3[same_type<function_traits<int(...)>::result_type, int>::value? 1 : -1]; 24 int a4[same_type<function_traits<int(double x, char...)>::result_type, int>::value? 1 : -1]; 25 int a5[same_type<function_traits<int(double, char y...)>::result_type, int>::value? 1 : -1]; 26