Для чего служит ключевое слово satisfies в TypeScript?

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

Он удобен для конфигураций и словарей: ловит неверные поля и значения, но не выполняет runtime-проверку. В отличие от принудительного as, не просит просто довериться приведению. Оператор доступен начиная с TypeScript 4.9.

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