Скрытие имени параметра шаблона

Меня недавно укусила (упрощенно)

struct Base {
typedef char T;
};

template<typename T>
struct Foo : Base {
T x[50];  // This is Base::T, not the template parameter
};

Другими словами, имя члена класса скрывает параметр шаблона (даже если он исходит из базового класса, поэтому не является полностью очевидным в локальном контексте).

Проведя некоторый эксперимент, я обнаружил, что:

struct Base {
typedef char T;
};

template<typename T, typename B>
struct Foo : B {
T x[50];  // This T is the template parameter,
// even passing Base as B
};

Каково обоснование (если таковое имеется) за этим явно абсурдным правилом?

Единственный выход, о котором я могу подумать, это дать некрасивые имена параметров шаблона, а также означает, что невозможно безопасно написать шаблон без использования зарезервированных имен (поскольку класс, используемый в шаблоне, может конфликтовать с именами параметров … обратите внимание, что много C ++ код использует неприглядные имена для частных пользователей).

PS: я не копался в стандарте по этому вопросу, но и g ++, и clang ++ согласны с таким поведением, поэтому я не думаю, что это ошибка.

PPS: в реальном коде скрытый параметр шаблона был назван tidи был целым числом, а не типом. -Wall этого было недостаточно, чтобы сообщить о сокрытии, и я обнаружил его после пары часов отладки с помощью valgrind.