Falling through would be safe (assuming the expected type of the match is `()`), similar to how the `else {}` is allowed to be dropped in `if cond { ... }` (`if` is just a sugary `match` ;P ).