type SuperOf<U,T>

Accepts all types of T and U where T extends U, and result in the upper bound U.

Definition

export type SuperOf<U, T> = T extends U ? U : never;