satisfies (TS 4.9+) preveri, da vrednost ustreza tipu brez razširjanja sklepane vrednosti vrednosti. Potrdi omejitve, hkrati pa ohrani natančen, dobeseden tip za poznejšo uporabo — najbolje od anotacije in sklepanja.
Problem, ki ga rešuje
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
