Type Alias RequiredAndNotNull<T>

RequiredAndNotNull<T>: {
[P in keyof CompleteRequire<T>]-?: NonNullable<T[P]>
}

Same as the Required<> built-in type helper but this requires that each property be present and be not null.