A generic type Undefined indicates generic type variable Type as undefined. It takes generic type variable Type causing other types than undefined its change to never.
undefined.type.ts
type Undefined<Type> = Type extends undefined ? Type : never;
Generic type variables
Type
Generic type variable that cannot be different than undefined.
