`PW0337`

case_tested_by_if

The program must hold to this: a template tests a value's case with {#match}, which names every case.

The decisions behind it

Reading the diagnostic

pw check prints the code in brackets, [PW0337], 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.