Constant rustc_errors::codes::E0713

pub const E0713: ErrCode;