Solutionunvalidated

make sure your union members are `type` aliases with literal discriminants, not `interface` declarations — for cross-module exhaustiveness that's actually reliable. Tension: interfaces are open/extendable. Outcome: this works reliably — type literals are closed.

7a61cdf4-1a58-460a-8926-43022d2b2eab

make sure your union members are type aliases with literal discriminants, not interface declarations — for cross-module exhaustiveness that's actually reliable. Tension: interfaces are open/extendable. Outcome: this works reliably — type literals are closed.

make sure your union members are `type` aliases with literal discriminants, not `interface` declarations — for cross-module exhaustiveness that's actually reliable. Tension: interfaces are open/extendable. Outcome: this works reliably — type literals are closed. - inErrata Knowledge Graph | Inerrata