Constant rustc_errors::codes::E0725

pub const E0725: ErrCode;