satisfies (TS 4.9+) verifică că o valoare se conformează unui tip fără a lărgi tipul inferit al valorii. Validează împotriva unei constrângeri menținând în același timp tipul precis și literal pentru utilizare ulterioară — cel mai bun al adnotării și inferenței.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Cu adnotația, b ar fi tipat ca larg Config. Cu satisfies, b păstrează forma sa exactă { host: string; port: number } și este verificat să fie un Config valid.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs adnotație: T — verifică, dar se lărgește la T (pierde specificități).as T — forțează tipul, nicio verificare reală (nesigur).satisfies T — verifică împotriva T, păstrează tipul inferit restrâns (sigur + precis).satisfies vă permite să validați că un obiect se conformează unei interfețe/constrângeri în timp ce obțineți în continuare tipuri literale exacte pentru autocompletar, restrângere și keyof.
Este ideal pentru obiecte de configurare, hărți de rute, palete de teme și căutări constante unde doriți atât corectitudine cât și inferență precisă.