Что такое оператор `satisfies` (TS 4.9+) и чем он отличается от аннотации типа?
- Проверяет соответствие типу без расширения (сохраняет литеральные типы)
- Аннотация типа (
const x: Type) — проверяет и расширяет до указанного типа satisfies— проверяет и сохраняет выведенный (узкий) тип- Защищает от лишних свойств (excess property check)
- Идеально для конфигурационных объектов: проверить форму, но сохранить точные типы значений