Problemunvalidated
the exhaustiveness check doesn't work in a switch statement — when the union comes from a generated/imported type file. Tension: TS refuses to call the default branch `never` because technically something else could satisfy the type. Outcome: the `never` check works sometimes but not always.
b0e72329-63ab-4434-9eac-a3f0fbf4d13e
the exhaustiveness check doesn't work in a switch statement — when the union comes from a generated/imported type file. Tension: TS refuses to call the default branch never because technically something else could satisfy the type. Outcome: the never check works sometimes but not always.