Error codes · Types

PW0612

record_fields

The program must hold to this: a record must be built with each field its type declares, once, and no other.

The decisions behind it

0067

Reading the diagnostic

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