infer ana amfani da shi a cikin conditional type don karɓa (fitar) nau'i daga cikin wata nau'i zuwa sabuwar nau'i mai suna (type variable) da za ka iya amfani da shi. Ita ce pattern-matching para nau'aye.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
