Как избежать нарушения ODR с классами признаков

При чтении кода онлайн из производственных библиотек я нашел что-то вроде этого

Traits.hpp

template <typename Type>
class Traits {
    template <typename T, 
              detail::EnableIfIsInstantiation<T, Type>* = nullptr>
    static void foo(T& object) { 
        object.foo();
    } 
};

SpecialTraits.hpp

template <>
class Traits<Special> {
    static void foo(Special& object) {
        object.foo();
    }
    static void foo(Special&& object) {
        object.special_foo();
    }
};

Это приведет к нарушению ODR, если библиотека создает экземпляр типа, который использует Traits вместо Something в одной единице перевода, не включая SpecialTraits.hpp, а затем создает экземпляр типа, который использует специализированные признаки в другой единице перевода. Это может привести к нарушению ODR, когда эти две единицы перевода связаны вместе.

Каков предлагаемый способ избежать этой проблемы? Должен ли я прибегать к включению всех специализаций в исходный файл Traits.hpp? А что, если мне не разрешено редактировать файл с определением для Special?

Примечание. Пожалуйста, не обращайте внимания на тот факт, что foo() могла быть специализирована самим Special в случае &&. Я не мог придумать лучшего примера..