Note: this error code is no longer emitted by the compiler.