Error codes · Matching
PW0333
unreachable_arm
The program must hold to this: every arm of a match must be reached by some value.
The decisions behind it
Reading the diagnostic
pw check prints the code in brackets, [PW0333], with the sentence above and the place in your program. Errors and diagnostics explains how to read one, and every code is listed with its rule.