553 - Deep object to unique

[emandirola]

// your answers
type DeepObjectToUniq<O extends object> = {
  [k in keyof O]: O[k] extends object ? DeepObjectToUniq<O[k]> & { _uniq?: [O, k] } : O[k]
}

[huanguolin]

Nice!
But will fail on IsFalse<Equal<DeepObjectToUniq<Quz>, Quz>>

[rattonlzh]

type DeepObjectToUniq<O extends object> = {
  [k in keyof O]: O[k] extends object ? DeepObjectToUniq<O[k]> & { [unique: symbol]: [O, k] } : O[k]
} & { [unique: symbol]: O }