Type Alias Require<T, K>

Require: [K] extends [never]
    ? never | { [K in keyof T]-?: T[K] }
    : { [P in keyof T as P extends K ? P : never]-?: T[P] } & {
        [P in keyof T as P extends K ? never : P]?: T[P]
    }