1// PR c++/40944
2// { dg-do run { target c++11 } }
3
4template<typename T>
5struct make { static T&& it(); };
6
7void (*pf)(int&) = 0;
8
9template< typename T >
10int bar(T const& x,
11        decltype( pf(make<T const&>::it()) )* = 0 // SFINAE!
12        ) {
13    return 1;
14}
15
16int bar(...) {
17    return 0;
18}
19
20int main() {
21    return bar(42);
22}
23