Error codes · Types

PW0613

branch_types

The program must hold to this: the branches of an if or a match whose value is used must produce one type.

The decisions behind it

0068

Reading the diagnostic

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