Здравствуйте, σ, Вы писали:

σ>

template<typename T, typename U> void f(T, U); // 1
template<typename U, typename T> void f(T, U); // 2

Хм, разве компилятор не считает это одним шаблоном с [возможно] различными специализациями?