Struct rustc_borrowck::diagnostics::bound_region_errors::NormalizeQuery

struct NormalizeQuery<'tcx, T> {
    canonical_query: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<T>>>,
    base_universe: UniverseIndex,
}

Fields

canonical_query: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<T>>>

base_universe: UniverseIndex

Trait Implementations

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

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

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.