Have you used generics in combination with the infer operator in your projects?

In TypeScript, the infer operator is used within conditional types to extract a type from another type. Combined with generics, it allows creating more flexible and powerful types.

For example, you can extract the return type of a function:

Type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

function example() {
  return 42;
}

Type Result = ReturnType<typeof example>; // Result will be number

In my projects, I have used such constructs to create universal typing utilities, for example, to extract parameter types of functions, element types of arrays, etc. This helps in writing safer and more reusable code.

Practically, infer is often used in libraries for typing, such as Redux Toolkit or React Query, and I have used similar patterns to improve the typing of my functions and components.