Как работает оператор typeof в контексте type guard?

Оператор typeof в JavaScript возвращает строку с именем типа ("string", "number", "boolean", "object", "function", "undefined", "symbol", "bigint"). TypeScript использует проверку typeof x === "string" как встроенный type guard, автоматически сужая тип переменной внутри условного блока. Это самый простой и частый type guard для работы с примитивами.