satisfies (TS 4.9+) ஒரு மதிப்பு ஒரு வகையுடன் பொருந்துகிறது என்பதை சரிபார்க்கிறது மதிப்பின் அனுமानிக்கப்பட்ட வகையை விரிவடையாமல் வைத்திருக்கிறது. இது பிந்தைய பயன்பாட்டிற்கான துல்லியமான, உண்மையான வகையை வைத்திருக்கும் போது ஒரு கட்டுப்பாட்டுக்கு எதிராக சரிபார்க்கிறது — விளக்கம் மற்றும் அனுமானத்தின் சிறந்த பகுதிகள்.
இது தீர்க்கும் சிக்கல்
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
