Trait rustc_borrowck::diagnostics::bound_region_errors::TypeOpInfo

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

    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, ErrorGuaranteed>

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,
    mbcx: &mut MirBorrowckCtxt<'_, 'tcx>,
    cause: ObligationCause<'tcx>,
    placeholder_region: Region<'tcx>,
    error_region: Option<Region<'tcx>>
) -> Option<DiagnosticBuilder<'tcx, ErrorGuaranteed>>

Provided Methods

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

Implementors

impl<'tcx> TypeOpInfo<'tcx> for InstantiateOpaqueType<'tcx>

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,