Вот простой пример:
class bar {}; template <typename> class foo {}; template <> using foo<int> = bar;
Разрешено ли это?