Aha, thanks for that bit, I didn&#x27;t realize that. I thought Swift, which has a switch&#x2F;case statement that does not have automatic fallthrough and which has to be exhaustive, was special in that regard. (Although in Swift you can in most cases just do a &#x27;default&#x27; case too, not sure how that works with pattern matching)