Tipo de retorno

La solución

type MyReturnType<T> = T extends (...args: never[]) => infer R ? R : never

El error más común

type MyReturnType<T> = T extends () => infer R ? R : never

Un patrón sin parámetros solo encaja con funciones sin parámetros, así que (a: number) => boolean cae en never. El patrón debe ser permisivo con los parámetros para serlo con las firmas.

Línea por línea

1. (...args: never[]) => infer R

   Como los parámetros son contravariantes, una lista de parámetros never[] es asignable *desde* cualquier otra. Es la forma segura de escribir «una función de cualquier forma» sin recurrir a any.

2. infer R

   infer en posición de retorno pide al compilador que resuelva lo que haya ahí. Es el mismo mecanismo que inferir el tipo de elemento de un array — solo cambia la posición.

Para recordar

infer puede ir en cualquier sitio donde quepa un tipo dentro de un patrón. Casi todos los helpers de extracción de la librería estándar son un condicional con un infer bien colocado.