Error codes · Privacy

PW5006

value_exceeds_sink_level

The program must hold to this: a sink accepts only values its declared privacy level admits.

Reading the diagnostic

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