Error codes · Types

PW0607

binding_type

The program must hold to this: an annotated binding must be initialised with a value of its declared type.

Reading the diagnostic

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