Что такое assertion function (asserts)?

Assertion function — это функция, которая бросает ошибку, если условие не выполняется, и гарантирует TypeScript, что после её вызова тип сужен. Сигнатура пишется как asserts value is Type или asserts value. Если функция вернулась без ошибки, TypeScript считает утверждение истинным и сужает тип в дальнейшем коде.