એક યુઝર-ડિફાઇન્ડ ટાઇપ ગાર્ડ એક ફંક્શન છે જેનો રિટર્ન ટાઇપ એક ટાઇપ પ્રેડિકેટ (x is T) છે. જ્યારે તે true રીટર્ન કરે છે, ત્યારે કમ્પાઇલર આર્ગ્યુમેન્ટને કોલિંગ કોડમાં T માં સાંકુચિત કરે છે — તમને કસ્ટમ રનટાઇમ ચેક્સને એનકેપ્સુલેટ કરવા દે છે.
{ (): ; }
{ (): ; }
(): pet is {
pet;
}
() {
((pet)) {
pet.();
} {
pet.();
}
}
