Type Alias RequiredAndNotNull<T>

RequiredAndNotNull: { [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.