satisfies (TS 4.9+) يتحقق من أن قيمة تطابق نوعًا دون توسيع نوع القيمة المستدل عليه. يتحقق من الالتزام بقيد مع الحفاظ على النوع الدقيق والحرفي للاستخدام اللاحق — أفضل ما في التعليق والاستدلال.
المشكلة التي يحلها
ts
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
