Constant rustc_errors::codes::E0231

pub const E0231: ErrCode;