Что такое "типовое сужение" (type narrowing) в TypeScript?

@frederique 

Типовое сужение (type narrowing) в TypeScript - это процесс, при котором компилятор TypeScript может уточнить тип переменной на основе контекста. Таким образом, когда тип переменной может быть однозначно определен, компилятор может переопределить тип этой переменной с более конкретным типом. Например, если переменная имеет тип "any", но затем используется в условном операторе if, компилятор TypeScript может сузить тип переменной до более конкретного типа на основе утверждения внутри условия. Подобные сужения типов помогают сделать код более безопасным и понятным во время выполнения программы.