Виртуальное наследование, явная реализация — возвращение ссылки / указателя на производный класс (ковариантные типы)

.HPP

template <typename T>
struct A { virtual A& modify() = 0; };

template <typename T>
struct B : virtual A<T> {};

template <typename T>
struct C : B<T> { C& modify() final; };

.CPP

template <typename T>
C<T>& C<T>::modify() {
// …
return *this;
}

// explicit instantiation
template struct C<double>;

Мне нужны некоторые методы для возврата ссылок для создания «цепочек» / определения оператора присваивания / и т.д .:

C<double> a, b, c;
// …
a = (b = c).modify();

Мне также приходится иметь дело с виртуальным наследованием, чтобы избежать «проблемы с бриллиантами» (здесь для простоты опущено).

Однако это не работает:

MSVC:

Error C2908: explicit specialization;
'A<T> &C<T>::modify(void)' has already been instantiated

Явная реализация прекрасно работает без виртуального наследования. Поэтому мне интересно, что здесь не так.
(Также все работает нормально, если нет функций-членов, возвращающих объектные ссылки / указатели.)