Ngushtimi është mënyra se si TypeScript rafinon një tip të gjerë (si një unioni) në një tip më specifik brenda një dege kodi, bazuar në kontrollet në kohën e ekzekutimit. Kompajleri ndjek rrjedhjen e kontrollit dhe përditëson tipin në përputhje me rrethanat.
ts
() {
( x === ) {
x.();
} {
x.();
}
}
