compiler/rustc_error_codes/src/error_codes/E0231.md

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