Error codes · Capabilities

PW5204

unresolved_impact_marker

The program must hold to this: an effect's impact condition must name a type the declaring module can see.

Reading the diagnostic

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