Что такое infer в TypeScript и как его использовать?

infer используется внутри conditional types для "захвата" и именования части типа. type Unpromise = T extends Promise ? U : T — извлекает тип из Promise. type FirstArg = F extends (first: infer A, ...rest: any[]) => any ? A : never — первый аргумент функции. infer — это как переменная для типов, которую TypeScript заполняет при сопоставлении. Используется в библиотеках для создания умных utility types.