Type Alias DeepRequired<T>

DeepRequired: {
    [K in keyof T]-?: T[K] extends any[]
    | Builtin
        ? T[K]
        : DeepRequired<T[K]>
}

Modifies a type so that all properties and nested properties within it are required.