Что такое type guard (защита типа)?

Type guard (защита типа) — это выражение, которое сужает тип переменной внутри условного блока. TypeScript понимает несколько встроенных type guard: typeof, instanceof, in, а также пользовательские type guard через предикат is. После проверки type guard компилятор автоматически сужает тип переменной, давая доступ к соответствующим свойствам и методам без явного приведения.