Type Alias ExtendedPropertyValidators<T, U>

ExtendedPropertyValidators: {
    [K in keyof U as K extends keyof T
        ? Equal<U[K], T[K]> extends true ? never : K
        : K]-?: ExtendedPropertyValidator<U & T, K>
} & {
    [K in keyof U as K extends keyof T
        ? Equal<U[K], T[K]> extends true ? K : never
        : never]?: ExtendedPropertyValidator<U & T, K>
}