What does `Unwrap<Promise<Promise<number>>>` resolve to with this single-level unwrapper?

type Unwrap<T> = T extends Promise<infer U> ? U : T; type X = Unwrap<Promise<Promise<number>>>;