Что такое satisfies оператор и какие задачи он решает?

Оператор satisfies (TypeScript 4.9+) проверяет, что выражение соответствует определённому типу, но при этом сохраняет максимально точный выведенный тип. В отличие от аннотации const x: Type = ..., которая расширяет тип до Type, satisfies валидирует без потери специфики. Это позволяет одновременно получить проверку типа и автодополнение по конкретным значениям.