Использовали ли вы оператор satisfies?

satisfies проверяет совместимость выражения с типом, не заменяя его выведенный тип широкой аннотацией.

Это удобно для конфигураций, где нужна проверка структуры и сохранение конкретных свойств для дальнейшего вывода типов. Оператор не выполняет runtime-валидацию и не равен принудительному утверждению as. Если применяли его, приведите пример ошибки, которую он помог обнаружить.

Источник: www.typescriptlang.org.