Exhaustiveness Checking
← Back to Pattern Matching
Compiler verification that all possible cases of a pattern match are handled. If a match expression does not cover every variant of a sum type, the compiler produces an error, preventing bugs from unhandled cases at compile time.