infer é usada dentro de um conditional type para capturar (extrair) um tipo de dentro de outro tipo para uma nova variável de tipo que você pode então usar. É correspondência de padrões para tipos.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Leia como: "se T corresponde ao padrão U[], vincule U a tudo aquilo que é o tipo do elemento e retorne-o." O infer U declara um espaço reservado que o compilador preenche por correspondência de padrões.
infer é o mecanismo por trás de tipos built-in como ReturnType, Parameters, Awaited e InstanceType, e por trás da magia de biblioteca que deriva tipos de resposta de buscadores ou props de componentes.
Ele permite que o código de tipo "abra" um tipo complexo e extraia as partes internas — a ferramenta mais poderosa para escrever tipos que se adaptam a outros tipos.
// 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;
Você pode usar vários infers em um padrão e até mesmo recursão.