Что такое совместимость типов (type compatibility)?

Type compatibility в TypeScript основана на структурной типизации (structural typing): два типа совместимы, если их структура (набор свойств и методов) совпадает, а не их имена. Это значит, что объект типа Cat можно присвоить переменной типа Animal, если Cat содержит все свойства Animal — даже без явного extends или implements. Совместимость проверяется рекурсивно по всем вложенным полям.