Что такое ключевое слово satisfies в TypeScript? Когда и как оно используется?

Satisfies проверяет соответствие выражения типу, не заменяя его тип обычной аннотацией. Это удобно для конфигураций и словарей со строгим контрактом.

Например, объект можно проверить на Record<string, string | number>, сохранив более конкретные типы его отдельных свойств. Проверка выполняется при компиляции, а не во время выполнения. Контекстная типизация всё ещё может влиять на вывод: satisfies не обещает абсолютную неизменность всех выведенных литеральных типов.