Что такое assertion functions?

Assertion function — это функция с типом asserts x is T, которая бросает ошибку если условие не выполнено, и после вызова TS считает тип подтверждённым. Например: function assertString(x: unknown): asserts x is string { if (typeof x !== "string") throw new Error(); }. После assertString(value) тип value сужается до string без if. Используется для валидации на входе функции — fail fast. Аналог assert в других языках, но с информацией о типе.