Type Alias MergedProps<U>

MergedProps: {
    [K in KeysOfUnion<U>]: Extract<U, Record<K, any>> extends Record<
        K,
        infer P,
    >
        ? P
        : never
}

Merges all properties from a union of object types into one “combined shape” type, preserving each property’s possible types.

Example: type U = { a: number } | { b: string }; MergedProps → { a: number; b: string }