Constant rustc_errors::codes::E0425

pub const E0425: ErrCode;