infer se koristi unutar conditional type kako bi se hvatila (ekstrahirala) tipska vrednost iz unutar drugog tipa u novu tipsku varijablu koju kasnije možete koristiti. To je pattern-matching za tipove.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
