Что такое type narrowing в TypeScript?

Type narrowing — это процесс сужения типа к более конкретному через проверки. typeof x === "string" сужает x до string. x instanceof User — до User. if (x !== null) — исключает null. "field" in obj — проверяет наличие поля. Discriminated unions с общим полем: if (shape.kind === "circle"). TypeScript отслеживает эти проверки и меняет тип переменной в соответствующих ветках. Это позволяет писать безопасный код без лишних кастов.