user-defined type guard هي دالة يكون نوع إرجاعها type predicate (x is T). عندما تُرجع true، يقوم المترجم بتضييق نطاق الوسيط إلى T في الكود الاستدعاء — مما يتيح لك تغليف فحوصات مخصصة في وقت التشغيل.
ts
{ (): ; }
{ (): ; }
(): pet is {
pet;
}
() {
((pet)) {
pet.();
} {
pet.();
}
}
