satisfies (TS 4.9+) memeriksa bahwa nilai sesuai dengan tipe tanpa memperluas tipe yang disimpulkan dari nilai. Ini memvalidasi terhadap batasan sambil mempertahankan tipe yang tepat dan literal untuk digunakan nanti — yang terbaik dari anotasi dan inferensi.
Masalah yang diselesaikannya
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
