rustc​::middle​::typeck​::infer​::error_reporting

Traits

ErrorReportingErrorReportingHelpersResolvable

Trait rustc::middle::typeck::infer::error_reporting::ErrorReporting[src]

pub trait ErrorReporting {
    fn report_region_errors(&self, errors: &Vec<RegionResolutionError>);
    fn process_errors(&self, errors: &Vec<RegionResolutionError>) -> Vec<RegionResolutionError>;
    fn report_type_error(&self, trace: TypeTrace, terr: &type_err);
    fn report_and_explain_type_error(&self, trace: TypeTrace, terr: &type_err);
    fn values_str(&self, values: &ValuePairs) -> Option<String>;
    fn expected_found_str<T: UserString + Resolvable>(&self, exp_found: &expected_found<T>) -> Option<String>;
    fn report_concrete_failure(&self, origin: SubregionOrigin, sub: Region, sup: Region);
    fn report_sub_sup_conflict(&self, var_origin: RegionVariableOrigin, sub_origin: SubregionOrigin, sub_region: Region, sup_origin: SubregionOrigin, sup_region: Region);
    fn report_sup_sup_conflict(&self, var_origin: RegionVariableOrigin, origin1: SubregionOrigin, region1: Region, origin2: SubregionOrigin, region2: Region);
    fn report_processed_errors(&self, var_origin: &[RegionVariableOrigin], trace_origin: &[(TypeTrace, type_err)], same_regions: &[SameRegions]);
    fn give_suggestion(&self, same_regions: &[SameRegions]);
}

Required Methods

fn report_region_errors(&self, errors: &Vec<RegionResolutionError>)

fn process_errors(&self, errors: &Vec<RegionResolutionError>) -> Vec<RegionResolutionError>

fn report_type_error(&self, trace: TypeTrace, terr: &type_err)

fn report_and_explain_type_error(&self, trace: TypeTrace, terr: &type_err)

fn values_str(&self, values: &ValuePairs) -> Option<String>

fn expected_found_str<T: UserString + Resolvable>(&self, exp_found: &expected_found<T>) -> Option<String>

fn report_concrete_failure(&self, origin: SubregionOrigin, sub: Region, sup: Region)

fn report_sub_sup_conflict(&self, var_origin: RegionVariableOrigin, sub_origin: SubregionOrigin, sub_region: Region, sup_origin: SubregionOrigin, sup_region: Region)

fn report_sup_sup_conflict(&self, var_origin: RegionVariableOrigin, origin1: SubregionOrigin, region1: Region, origin2: SubregionOrigin, region2: Region)

fn report_processed_errors(&self, var_origin: &[RegionVariableOrigin], trace_origin: &[(TypeTrace, type_err)], same_regions: &[SameRegions])

fn give_suggestion(&self, same_regions: &[SameRegions])

Implementors