Type alias Exclusive<T, U>

Exclusive<T, U>: T & {
[P in keyof U]?: never
} | U & {
[P in keyof T]?: never
}

Enforce a requirement that one field OR another field must be specified, but not both