Error codes · Types

PW0623

invariant_unread

The program must hold to this: an opaque type's invariant is bounds on its Int value, value >= 1, or on its String's length, String.length(value) <= 280, joined by &, that some value holds.

The decisions behind it

0225

Reading the diagnostic

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