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