Что такое infer в TypeScript

infer в TypeScript используется в условных типах для выведения типа внутри extends. Он позволяет "захватить" тип, который будет выведен в процессе проверки условия.

Пример:

type UnpackArray<T> = T extends (infer U)[] ? U : T;

type Num = UnpackArray<number[]>; // number
type Str = UnpackArray<string>; // string

Где полезно:
- В утилитных типах (ReturnType, Parameters)
- Для работы с промисами:
```typescript
type UnpackPromise<T> = T extends Promise<infer U> ? U : T;
type Result = UnpackPromise<Promise<string>>; // string

infer работает только в условных типах и может быть использован только в true-ветке условия.