Generics · hard

39. The infer Keyword

Extracting types within conditional expressions.

Write `UnwrapPromise<T>` that gets `U` from `Promise<U>`.

Required in your answer: infer U

Transpiled, then run in a sandbox

type UnwrapPromise<T> = any; // TODO

Output appears here.