Почему TypeScript не ограничивает псевдоним типа, чтобы придерживаться ИТ -структуры? ⇐ Javascript

[Anonymous]

Итак, вот мой код, так как вы видите, что Newuser получил свое свойство с пользователем и также является константой. Итак, почему TypeScript позволяет ему использовать функцию push массивов, чтобы увеличить логическое значение - «true» внутри псевдонима типа, когда структура ограничивает его?

Подробнее здесь: https://stackoverflow.com/questions/795 ... -structure