satisfies (TS 4.9+) inathibitisha kuwa thamani inalingana na aina bila kupanua aina iliyotambulika ya thamani. Inathibitisha kwa kuzuia wakati wa kupitisha hifadhi ya thamani, aina halisi — ubora wa anotation na ufahamu.
Tatizo ambalo inatatua
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
