A generic type Defined indicates the generic type variable is never . It takes generic type variable constrained by which constraint causes its change to .
defined.type.ts
type Defined<Type> = Type extends undefined ? never : Type;
Generic type variables
Type
A generic type variable Type is never but captured type.
