type SubOf<S,T>

Accepts all types of T and S where S extends T, and results in the lower bound S.

Definition

export type SubOf<S, T> = S extends T ? S : never;