Использовал ли ты infer в TypeScript?

infer позволяет извлечь часть типа внутри условного типа, например тип результата функции или элемента массива. Сам по себе он не создаёт runtime-значение.

Пример: type Item<T> = T extends readonly (infer U)[] ? U : never; — для string[] получится string. Объясните, какую задачу решали им в своём коде, либо честно ограничьтесь учебным примером. Часто готовый utility type проще самописного infer, если уже выражает нужный контракт.