The variant inference in this release is a feature I wish more functional languages had. You know what variant something inside this pattern match branch is, compiler, I just prove it to you!
This release is huge. I really love the attention to compiler errors and making them easy to understand - all of the general developer experience improvements are very welcome!