Что такое satisfies оператор в TypeScript?

satisfies (TypeScript 4.9) проверяет что значение соответствует типу, но при этом сохраняет более конкретный тип. const config = { port: 3000, env: "production" } satisfies Config — TypeScript проверит что все поля Config есть, но тип config останется {port: 3000, env: "production"}, а не Config. В отличие от явной аннотации: const config: Config — тип будет Config и потеряются literal типы. Полезно для конфигурационных объектов.