Утверждение меняет тип

Система строгой типизации кода проверяет что утверждение (строка присвоения значения) меняет тип

Неправильно

Правильно

См.