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