satisfies (TS 4.9+) ఒక విలువ ఒక టైప్కు సరిపోతుందని సరిచేస్తుంది విలువ యొక్క అనుమానిత టైప్ను విస్తరించకుండా. ఇది తరువాతి ఉపయోగం కోసం ఖచ్చితమైన, సాహిత్య టైప్ను నిర్వహించేటప్పుడు ఒక పరిమితికి వ్యతిరేకంగా ధృవీకరిస్తుంది — టీకరణ మరియు అనుమానం యొక్క ఉత్తమ భాగాలు.
ఇది పరిష్కరించే సమస్య
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
