Trait rustc_borrowck::diagnostics::bound_region_errors::TypeOpInfo

trait TypeOpInfo<'tcx> {
    fn fallback_error(
        &self, 
        tcx: TyCtxt<'tcx>, 
        span: Span
    ) -> DiagnosticBuilder<'tcx>;
    fn base_universe(&self) -> UniverseIndex;
    fn nice_error(
        &self, 
        tcx: TyCtxt<'tcx>, 
        cause: ObligationCause<'tcx>, 
        placeholder_region: Region<'tcx>, 
        error_region: Option<Region<'tcx>>
    ) -> Option<DiagnosticBuilder<'tcx>>;

    fn report_error(
        &self, 
        mbcx: &mut MirBorrowckCtxt<'_, 'tcx>, 
        placeholder: PlaceholderRegion, 
        error_element: RegionElement, 
        cause: ObligationCause<'tcx>
    ) { ... }
}

Required methods

fn fallback_error(
    &self,
    tcx: TyCtxt<'tcx>,
    span: Span
) -> DiagnosticBuilder<'tcx>

Returns an error to be reported if rerunning the type op fails to recover the error’s cause.

fn base_universe(&self) -> UniverseIndex

fn nice_error(
    &self,
    tcx: TyCtxt<'tcx>,
    cause: ObligationCause<'tcx>,
    placeholder_region: Region<'tcx>,
    error_region: Option<Region<'tcx>>
) -> Option<DiagnosticBuilder<'tcx>>

Provided methods

fn report_error(
    &self,
    mbcx: &mut MirBorrowckCtxt<'_, 'tcx>,
    placeholder: PlaceholderRegion,
    error_element: RegionElement,
    cause: ObligationCause<'tcx>
)

Implementors

impl<'tcx> TypeOpInfo<'tcx> for AscribeUserTypeQuery<'tcx>

impl<'tcx> TypeOpInfo<'tcx> for PredicateQuery<'tcx>

impl<'tcx, T> TypeOpInfo<'tcx> for NormalizeQuery<'tcx, T> where
    T: Copy + Display + TypeFoldable<'tcx> + 'tcx,