Здравствуйте, Masterkent, Вы писали:

M>Потому что типы сами по себе не обладают такой характеристикой, как доступность в некотором контексте. Концептуально доступность — это либо свойство объявления, либо статус базового класса по отношению к производному в определённом контексте.
Masterkent, спасибо за разъяснение!
Отлично, что компиляторы работают правильно.
Плохо, что надо немного перестроить систему понятий в голове. =))