関数テンプレートの特殊化ってできないんですか？
もしできないのなら、いずれ出来るようになる見込はありますか？

template <typename T, typename U> void func(T&) {}
template <typename T> void func<T,int>(T& u) {}

error : partial specialization `Func<T, int>' of function template