Что такое assertion signatures (asserts condition)?

Assertion signature — это возвращаемый тип функции вида asserts value is Type или asserts condition. Если функция не выбросила ошибку, TypeScript сужает тип аргумента после вызова этой функции. В отличие от обычного type guard (value is Type), assertion function не возвращает boolean — она либо проходит молча, либо бросает исключение.