xorts

xor.ts

type XOR<T, U> = (T | U) extends object
  ? (Without<T, U> & U) | (Without<U, T> & T)
  : T | U

type Without<T, U> = {
  [P in Exclude<keyof T, keyof U>]
  ?
  : never
}

type WithHeight = { height: number }
type WithWidth = { width: number }
type OtherProps = { color?: string }

type Props = OtherProps & XOR<XOR<WithHeight, WithWidth>, {}>

const p1: Props = { color: "aaa" }
const p2: Props = { color: "aaa", width: 1 }
const p3: Props = { color: "aaa", height: 1 }
const perr: Props = { color: "aaa", height: 1, width: 1 }