Trait rustc_typeck::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
impl<'a, 'tcx> ErrorReporting<'tcx> for InferCtxt<'a, 'tcx>