Catch overly-exhaustive pattern matches.
samrushing opened this issue · comments
When a pattern match 1) covers all possible cases and 2) includes a fall-through clause, this generates unreachable code. In the C backend at least, this now causes a compilation error. Also, it's just sloppy and should be discouraged.