Error codes · Effects
PW0408
member_receiver_untyped
The program must hold to this: a member is read through a value whose type the program states, so what it performs is read.
The decisions behind it
Reading the diagnostic
pw check prints the code in brackets, [PW0408], 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.