Get Return Type

Implement the built-in ReturnType<T> generic without using it. 🔍

In this medium-level challenge, you'll implement the built-in returntype<t> generic without using it.. Learn conditional types with infer in this medium-level challenge on TypeScriptPro.

You'll learn about conditional types with infer, essential skills for advanced TypeScript development and type-level programming.

const fn = (v: boolean) => {
if (v)
return 1
else
return 2
}
 
type a = MyReturnType<typeof fn> // should be "1 | 2"

Detailed Explanation

To extract the return type from a function, we use conditional types with infer:

type MyReturnType<T> = T extends (...args: never) => infer ReturnType
  ? ReturnType
  : never

How it works:

• Check if T extends a function type with never arguments -> Why never? Because inside a function we have a contravariant position, so we need to use never to match all possible arguments. This is explained in the video walkthrough at 1:20.
• Use infer ReturnType to capture the return type
• Return ReturnType if it's a function, otherwise never

This challenge helps you understand conditional types with infer and how to apply this concept in real-world scenarios.