satisfies (TS 4.9+) memeriksa bahawa nilai mematuhi jenis tanpa meluaskan jenis yang disimpulkan nilai. Ia mengesahkan terhadap kekangan sambil mengekalkan jenis yang tepat dan literal untuk kegunaan kemudian — gabungan terbaik anotasi dan inferensi.
Masalah yang diselesaikannya
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
