satisfies (TS 4.9+) kontrollon që një vlerë përputhet me një tip pa zgjeruar tipin e nxjerrë të vlerës. Validon kundër një kufizimi duke ruajtur tipin e saktë, literal për përdorim të mëvonshëm — më mirë e shënimit dhe përfundimit.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Me shënimin, b do të tipizohej si Config i gjerë. Me satisfies, b ruan formën e tij të saktë { host: string; port: number } dhe kontrollohet për të qenë Config i vlefshëm.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs shënim: T — kontrollon, por zgjerojmë në T (humbin specifika).as T — forcon tipin, asnjë kontroll real (i pasigurt).satisfies T — kontrollon kundër T, ruan tipin e nxjerrë të ngushtë (sigur + i saktë).satisfies të lejon të validosh që një objekt përputhet me një ndërfaqe/kufizim ndërkohë që prapë merr tipe të saktë literal për plotësdokritje, ngushtim dhe keyof.
Éshtë ideal për objektet e konfigurimit, harta të rrugave, paletë temash dhe kërkesë konstante ku dëshiron si saktësi ashtu edhe përfundim të saktë.