Error codes · Old numbers

PW0307

An old number, now PW0601 (unchecked_external_cast).

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