Type Alias KeysWithDiffType<A, B>

KeysWithDiffType<A, B>: IsDisjoint<A, B> extends true
    ? never
    : ValueOf<{
        [k in keyof A & keyof B]: A[k] extends B[k]
            ? never
            : k
    }>

Type Parameters