From a list of Hare lang safety features (great!) we find:

If “x” has any value outside of 1, 2, or 3, the switch statement has no effect, which is often not the correct behavior. In Hare, switch and match statements must be exhaustive, meaning that they handle every possible value or type that can be switched or matched.

At least, that’s what the specification demands. The compiler does not yet enforce this uniformly.

But if it doesn’t do that, it’s not a safety feature. Weird that it’s even on the list. If wishes were horses Hare would check switch exhaustion but if it doesn’t, it doesn’t.