Error codes · Types

PW0627

map_key

The program must hold to this: a map's key and a set's element are an Int, a String, a Bool, or an opaque type over one.

The decisions behind it

0248

Reading the diagnostic

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