Сужение через typeof
Когда значение имеет тип-объединение, доступны только те операции, которые есть у всех вариантов сразу. Чтобы получить доступ к специфичным методам, нужно доказать компилятору, какой именно вариант перед нами. Это называется сужением типа (narrowing).
В задании такого доказательства нет:
