நகல் வகையுநிறுவனமை என்பது TypeScript ஒரு பரந்த வகையை (union போன்றவை) ஒரு குறியீட்டு கிளையிற்குள் மிகவும் குறிப்பிட்ட வகையாக குறுக்கிக் கொள்ளும் முறை ஆகும், இயக்ககால சரிபார்ப்புகளின் அடிப்படையில். கம்பைலர் கட்டுப்பாட்டு ஓட்டத்தை ट్ರ్యాక్ చేస్తుంది మరియు అందువల్ల వకిలను నవీకరిస్తుంది.
() {
( x === ) {
x.();
} {
x.();
}
}
