infer ஒரு conditional type உள்ளே பயன்படுத்தப்படுகிறது capture (பிரித்தெடுக்க) மற்றொரு வகைக்குள் இருந்து ஒரு புதிய வகை மாறியாக நீங்கள் பின்னர் பயன்படுத்தலாம். இது வகைகளுக்கான pattern-matching ஆகும்.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
