infer χρησιμοποιείται μέσα σε ένα conditional type για να συλλάβει (εξάγει) ένα type από μέσα σε ένα άλλο type σε μια νέα μεταβλητή type που μπορείτε στη συνέχεια να χρησιμοποιήσετε. Είναι pattern-matching για types.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
