Error codes · Caches, keys and invalidation

PW5105

clause_out_of_place

The program must hold to this: a clause belongs to a declaration that reads it.

The decisions behind it

0088, 0092, 0216

Reading the diagnostic

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