fork download

copy

#include <type_traits>
 
template <typename T, typename std::enable_if<std::is_floating_point<T>{} || std::is_integral<T>{}, T>::type * = nullptr>
void fn(T a, T b)
{
}
 
struct Foo {};
 
int main(int, const char **)
{
	//fn<Foo>(Foo{}, Foo{});
	fn<Foo, void>(Foo{}, Foo{});
	return 0;
}

prog.cpp: In function ‘int main(int, const char**)’:
prog.cpp:13:28: error: no matching function for call to ‘fn(Foo, Foo)’
  fn<Foo, void>(Foo{}, Foo{});
                            ^
prog.cpp:4:6: note: candidate: template<class T, typename std::enable_if<(std::is_floating_point<_Tp>{} || std::is_integral<_Tp>{}), T>::type* <anonymous> > void fn(T, T)
 void fn(T a, T b)
      ^~
prog.cpp:4:6: note:   template argument deduction/substitution failed:

Standard output is empty