Термин TypeScript обновлено

Type predicate (x is T): что это

Коротко

Type predicate (x is T): возвращаемый тип функции-проверки, который говорит компилятору: если функция вернула true, аргумент имеет тип T. Компилятор не проверяет, что тело функции соответствует предикату, ответственность на авторе.

Определение

Возвращаемый тип функции-проверки, который говорит компилятору: если функция вернула true, аргумент имеет тип T. Компилятор не проверяет, что тело функции соответствует предикату, ответственность на авторе.

Запомните, а не прочитайте

В тренажёре карточка вернётся, когда начнёт забываться. А билеты по TypeScript проверят, что термин понятен в деле.