This adds a TUnion type and updates various functions to handle this new type. I added exhaustiveness checks in a few places which should make adding other new types easier in the future.
There's some prep work that needs to be done in order to support inferring union types that I'll do in a separate PR (or PRs) before continuing the union type work.
This adds a
TUnion
type and updates various functions to handle this new type. I added exhaustiveness checks in a few places which should make adding other new types easier in the future.There's some prep work that needs to be done in order to support inferring union types that I'll do in a separate PR (or PRs) before continuing the union type work.