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