Code dealing with tagged union matching is going to be completely rewritten and support added for match exhaustiveness checks and matching on pointers to tagged unions without copying the tagged union and its values.

The ability to do the latter is expected to result in a significant performance improvement and stack usage decrease.