Руководство по actionscript. часть 1, стр. 129
Совместимые типы
Поскольку любой отдельно взятый класс через наследование может использовать все незакрытые члены экземпляра своего суперкласса (или суперинтерфейса), любой отдельно взятый подтип считается совместимым с любым из своих супертипов. Например, тип данных Apple считается совместимым с типом данных Food, поскольку он является его подтипом.
Обратное, однако, неверно. Класс не может использовать никакие члены экземпляра, определенные в его классах-потомках. Таким образом, любой отдельно взятый супертип считается несовместимым с любым из своих подтипов. Например, тип данных Food считается несовместимым с типом данных Apple, поскольку Food не является подтипом Apple.
Подтип считается совместимым с супертипом, поскольку программа может рассматривать экземпляр подтипа как экземпляр супертипа. Например, программа может рассматривать любой экземпляр типа данных Apple как экземпляр типа данных Food — возможно, вызывая метод getCalories ( ) класса Food над данным экземпляром.