Как работает `typeof` для сужения типов в TypeScript?

СобеседованиеСужение типов

Возвращает: "string", "number", "boolean", "symbol", "bigint", "undefined", "function", "object"
typeof null === "object" — историческая особенность, TypeScript это учитывает
Негативное сужение в ветке else: если не "string", то тип сужается исключением string
Рекурсивное исключение типов при вложенных проверках