satisfies (TS 4.9+) tiċċekja li valur jikkonforma għal tip mingħajr toqsija it-tip konkluż tal-valur. Jivvalida kontra kuntru filwaqt li jżomm it-tip preċiż u literal għall-użu aktar tard — l-aħjar kombinazzjoni ta' annotazzjoni u inferenza.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
B'annotazzjoni, b ikun ittipizzat bħala Config wieħed usa'. B' satisfies, b iżomm il-forma eżatta tiegħu { host: string; port: number } u jiċċekja li huwa Config validu.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs annotazzjoni: T — tiċċekja, imma toqshom lejn T (titlifx id-dettaljи).as T — jiffrizza t-tip, mingħajr tiegħek reali (mhux sikur).satisfies T — tiċċekja kontra T, iżomm it-tip konkluż stretta (sikur + preċiż).satisfies tippermettik tiċċekkja li objekt jikkonforma għal interface/kuntru filwaqt li għal trid il-prezentazzjoni tat-tip literal eżatt għal autocomplete, narrowing, u keyof.
Hija ideali għal oggetti ta' konfigurazzjoni, mapep ta' rotta, pallet tema, u lookups kostanti fejn trid kemm il-korrettezza kif ukoll inferenza preċiża.