satisfies (TS 4.9+) ελέγχει ότι μια τιμή συμμορφώνεται σε έναν τύπο χωρίς να διευρύνει τον συμπερασμένο τύπο της τιμής. Επικυρώνει έναντι ενός περιορισμού ενώ διατηρεί τον ακριβή, κυριολεκτικό τύπο για μεταγενέστερη χρήση — το καλύτερο της σχολιασμού και της συμπερασμάτων.
Το πρόβλημα που λύνει
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
