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()>::result_type, int>::value? 1 : -1];
21 int a1[same_type<function_traits<int(float)>::result_type, int>::value? 1 : -1];
22 int a2[same_type<function_traits<int(double, char)>::result_type, int>::value? 1 : -1];
23