Error codes · Types

PW0624

no_finite_value

The program must hold to this: a declared type has a finite value: one that contains itself has a way to be built without itself.

The decisions behind it

0194

Reading the diagnostic

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