fork download

#include <iostream>
#include <type_traits>
 
struct Test
{
	void f();
	template<typename T>
	using verify = typename std::enable_if<std::is_same<T, T>::value, T>::type;
	template<typename T, typename R, typename... Args>
	using MFP = R (verify<T>::*)(Args...);
	template<typename T, typename R, typename... Args>
	static MFP<T, R, Args...> g(MFP<T, R, Args...> mf){return mf;}
};
 
int main()
{
	auto test = Test::g(&Test::f);
}
 

prog.cpp: In function ‘int main()’:
prog.cpp:17:30: error: no matching function for call to ‘Test::g(void (Test::*)())’
  auto test = Test::g(&Test::f);
                              ^
prog.cpp:17:30: note: candidate is:
prog.cpp:12:28: note: template<class T, class R, class ... Args> static R (std::enable_if<std::is_same<_Tp, _Tp>::value, T>::type::* Test::g(Test::MFP<T, R, Args ...>))(Args ...)
  static MFP<T, R, Args...> g(MFP<T, R, Args...> mf){return mf;}
                            ^
prog.cpp:12:28: note:   template argument deduction/substitution failed:
prog.cpp:17:30: note:   couldn't deduce template parameter ‘T’
  auto test = Test::g(&Test::f);
                              ^

Standard output is empty