Type Alias RequiredAndNonNullable<T>

RequiredAndNonNullable: Required<{ [P in keyof T]: NonNullable<T[P]> }>

A type that extends Required that in addition to making fields not undefined, also makes them not nullable.

type Foo = { a?: number | null };
type Bar = RequiredAndNonNullable<Bar>; // { a: number }