satisfies (TS 4.9+) provjerava da vrijednost je u skladu s tipom bez proširenja zaključenog tipa vrijednosti. Potvrđuje ograničenje dok zadržava precizan, doslovan tip za kasnije korištenje — najbolje od anotacije i zaključivanja.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
S anotacijom, b bi bio tipiziran kao široki Config. Sa satisfies, b zadržava svoj točan oblik { host: string; port: number } i je provjereno da je validan Config.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as nasuprot anotaciji: T — provjerava, ali se proširuje na T (gubi specifike).as T — forsira tip, bez prave provjere (nesigurno).satisfies T — provjerava nasuprot T, zadržava uski zaključeni tip (sigurno + precizno).satisfies vam omogućava da provjerite da objekt odgovara sučelju/ograničenju dok još uvijek dobivate točne doslove tipove za automatski upis, sužavanje i keyof.
Idealno je za objekte konfiguracije, mape ruta, palete tema i konstante pretraga gdje želite i ispravnost i precizno zaključivanje.