1 // PR c++/48113
2 // { dg-do compile { target c++11 } }
3 
4 template<typename T> T declval();
5 
6 struct tuple { };
7 
8 struct F1
9 {
10     void operator()(tuple, int);
11 };
12 
13 typedef void (*F2)(tuple, int);
14 
15 template<typename F, typename T>
16 struct Bind
17 {
18     template<typename A,
19              typename R = decltype( F()(declval<T&>(), A()) )>
20     R f(A);
21 
22     template<typename A,
23              typename R = decltype( F()(declval<volatile T&>(), A()) )>
24     R f(A) volatile;
25 };
26 
main()27 int main()
28 {
29     Bind<F1, tuple>().f(0);  // OK
30     Bind<F2, tuple>().f(0);  // ERROR, should be OK
31 }
32