Type alias Assign_<T, U>

Assign_<T, U>: {
    [K in keyof T as K extends keyof U
        ? U[K] extends void
            ? never
            : K
        : K]: K extends keyof U
        ? U[K]
        : T[K]
}