satisfies (TS 4.9+) जांचता है कि एक मान एक प्रकार से मेल खाता है मान के अनुमानित प्रकार को चौड़ा किए बिना। यह एक बाधा के विरुद्ध सत्यापित करता है जबकि बाद में उपयोग के लिए सटीक, शाब्दिक प्रकार को बनाए रखता है — एनोटेशन और अनुमान का सर्वश्रेष्ठ।
समस्या जो इसे हल करती है
ts
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
