infer se usa dentro de un tipo condicional para capturar (extraer) un tipo desde dentro de otro tipo hacia una nueva variable de tipo que luego puedes utilizar. Es coincidencia de patrones (pattern-matching) para tipos.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Léelo así: "si T coincide con el patrón U[], vincula U a cualquiera que sea el tipo del elemento y devuélvelo". El infer U declara un marcador de posición que el compilador rellena al hacer la coincidencia.
// the resolved type of a Promise
type Awaited2<T> = T extends Promise<infer R> ? R : T;
type R = Awaited2<Promise<User>>; // User
// a function's return type (this is how ReturnType is built)
type MyReturn<T> = T extends (...args: any[]) => infer R ? R : never;
type X = MyReturn<() => number>; // number
// a function's first parameter
type FirstArg<T> = T extends (a: infer A, ...rest: any[]) => any ? A : never;
type UnwrapBoth<T> =
T extends Promise<infer U> ? UnwrapBoth<U> : // recurse to unwrap nested promises
T extends (infer E)[] ? E : T;
Puedes usar varios infer en un mismo patrón e incluso aplicar recursión.
infer es el motor que hay detrás de tipos integrados como ReturnType, Parameters, Awaited e InstanceType, y detrás de la magia de las librerías que derivan tipos de respuesta a partir de fetchers o props a partir de componentes.
Permite que el código de tipos "abra" un tipo complejo y extraiga las piezas internas: la herramienta más potente para escribir tipos que se adaptan a otros tipos.