#include <type_traits>

template <
	typename T,
	typename = typename std::enable_if <std::is_same <T, unsigned int>{}>::type
>
void f(T x) { }


int main ()
{
	int x;
	unsigned int y;
	f(x);
	f(y);
}