Свойство объекта имеет тип возвращаемого значения

Система строгой типизации кода проверяет что динамическое свойство объекта имеет тип возвращаемого значения

Неправильно

Правильно

См.