Constant rustc_errors::codes::E0423

pub const E0423: ErrCode;