Restricționarea este modul în care TypeScript rafinează un tip larg (cum ar fi o uniune) la unul mai specific într-o ramură de cod, bazat pe verificări în timp de execuție. Compilatorul urmărește fluxul de control și actualizează tipul în consecință.
ts
() {
( x === ) {
x.();
} {
x.();
}
}
