infer একটি conditional type এর মধ্যে ব্যবহৃত হয় অন্য একটি type থেকে একটি type ক্যাপচার (নিষ্কাশন) করতে একটি নতুন type variable এ যা আপনি তারপর ব্যবহার করতে পারেন। এটি types এর জন্য pattern-matching।
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
