satisfies (TS 4.9+) проверяет, что значение соответствует типу без расширения выведенного типа значения. Он валидирует ограничение, сохраняя при этом точный, буквальный тип для последующего использования — лучшее из аннотации и вывода.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
С аннотацией b был бы типизирован как широкий Config. С satisfies b сохраняет свою точную форму { host: string; port: number } и проверяется как валидный Config.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs аннотация: T — проверяет, но расширяет до T (теряет детали).as T — заставляет тип, без реальной проверки (небезопасно).satisfies T — проверяет против T, сохраняет узкий выведенный тип (безопасно + точно).satisfies позволяет вам валидировать, что объект соответствует интерфейсу/ограничению, при этом получая точные литеральные типы для автодополнения, сужения и keyof.
Оно идеально подходит для объектов конфигурации, карт маршрутов, палитр тем и постоянных поисков, где вы хотите как корректность, так и точный вывод типов.