Есть ли способ объявить типы в шаблоне базового класса и повторно использовать эти определения в шаблоне дочернего класса?

Например, рассмотрим следующую попытку:

template <typename T_>
struct A {
    using T=T_;
};

template <typename T_>
struct B: public A<T_> {
    T a;
};

Компилятор жалуется, что используя типT в определенииB незаконно Не нужно ждать, чтобы экземпляр увидел, что этот тип унаследован от A. Итак, есть ли способ объявить типы в шаблоне базового класса и повторно использовать эти определения в шаблоне дочернего класса?