Trait rustc_lint::middle::infer::error_reporting::ErrorReportingUnstable [-] [+] [src]

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

Required Methods

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

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

fn report_type_error(&self, trace: TypeTrace<'tcx>, terr: &type_err<'tcx>)

fn report_and_explain_type_error(&self, trace: TypeTrace<'tcx>, terr: &type_err<'tcx>)

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

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

fn report_concrete_failure(&self, origin: SubregionOrigin<'tcx>, sub: Region, sup: Region)

fn report_generic_bound_failure(&self, origin: SubregionOrigin<'tcx>, kind: GenericKind<'tcx>, sub: Region, sups: Vec<Region>)

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

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

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

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

Implementors