satisfies (TS 4.9+) controleert dat een waarde voldoet aan een type zonder het afgeleid type van de waarde te verbreden. Het valideert tegen een beperking terwijl het precieze, letterlijke type voor later gebruik behouden blijft — het beste van annotatie en inferentie.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Met de annotatie zou b als het brede Config worden getypeerd. Met satisfies behoudt b zijn exacte vorm { host: string; port: number } en wordt gecontroleerd dat het een geldige Config is.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs annotatie: T — controleert, maar verbreed naar T (verliest details).as T — dwingt het type af, geen echte controle (onveilig).satisfies T — controleert tegen T, behoudt het beperkte afgeleid type (veilig + precies).satisfies stelt je in staat om te valideren dat een object voldoet aan een interface/beperking terwijl je nog steeds exacte letterlijke typen krijgt voor autocompletion, narrowing en keyof.
Het is ideaal voor configuratieobjecten, routekaarten, themapaletten en constante lookups waarbij je zowel correctheid als precieze inferentie wilt.