Error codes · Scopes, tasks and resources

PW2005

affine_not_consumed_once

The program must hold to this: an affine value must be consumed exactly once, in the scope that acquired it.

Reading the diagnostic

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