Type Alias TypesAreCompatible<T, U>

TypesAreCompatible: [keyof T & keyof U] extends [never]
    ? true
    : { [K in keyof T & keyof U]: ExactlyCompatible<T[K], U[K]> }[keyof T & keyof U] extends false
        ? false
        : true

Check if two record types are compatible (no conflicting keys). Returns true if no overlapping keys or all overlapping keys have exactly the same type.