Improve `unordered union` error message

[maximvl]

Request a feature

The error message for this particular case does not include any info about the specific type or field that causes the error, it makes it hard to find the problematic field in a file with many types.

like the one here:

An unordered union of a type including a morph and a type with overlapping input is indeterminate: Left: (In: string) => Out<unknown>[] Right: (In: string) => Out<unknown>[]

https://arktype.io/playground?code=import%2520%257B%2520type%2520%257D%2520from%2520%2522arktype%2522%250A%250Atype%2520PlayerId%2520%253D%2520string%2520%2526%2520%257B%2520__brand%253A%2520%27PlayerId%27%2520%257D%250Atype%2520LocationId%2520%253D%2520string%2520%2526%2520%257B%2520__brand%253A%2520%27LocationId%27%2520%257D%250A%250Aconst%2520PlayerSchema%2520%253D%2520type%28%27string%27%29.pipe%28%28val%29%253A%2520PlayerId%2520%253D%253E%2520val%2520as%2520PlayerId%29%250Aconst%2520LocationSchema%2520%253D%2520type%28%27string%27%29.pipe%28%28val%29%253A%2520LocationId%2520%253D%253E%2520val%2520as%2520LocationId%29%250A%250Aconst%2520Thing%2520%253D%2520type%28%257B%250A%2520%2520%2520%2520targets%253A%2520PlayerSchema.array%28%29.or%28LocationSchema.array%28%29%29%250A%257D%29%250A%250Aconst%2520out%2520%253D%2520Thing%28%257B%250A%2520%2520%2520%2520targets%253A%2520%255B%27123%27%255D%250A%257D%29

🤷 Motivation

It improves developer experience

💡 Solution

Update the message to include Type and Field names.

[pullfrog]

  ^{｜ Build this ➔ ｜ Make a plan ➔}