Apple autocorrects poorly. I meant “isn’t pattern-matching”. And I was asking about checking exhaustiveness at compile time specifically, not about the compiled code.

Unless you generate code with very large pattern matches it's an absolute non issue in practice :-)