Error codes · Old numbers

PW3002

An old number, now PW0401 (forbidden_effect).

The corpus's fixtures wrote it before one invariant got one code. The compiler never prints it.