satisfies (TS 4.9+) mriksa yen nilai sesuai karo tipe tanpa nglebar tipe sing diuruk saka nilai kasebut. Iki ngesahake lawan konstraen nalika tetep tipe sing presisi lan literal kanggo panggunan sabanjure — sing paling apik saka anotasi lan inferensi.
Masalah sing dirungokake
ts
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
