infer का उपयोग एक conditional type के अंदर किसी दूसरे type के भीतर से एक type को कैप्चर (निकालने) के लिए किया जाता है और उसे एक नए type variable में डालता है जिसे आप फिर इस्तेमाल कर सकते हैं। यह types के लिए pattern-matching है।
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
