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<T, 'tcx> TypeOpInfo<'tcx> for NormalizeQuery<'tcx, T> where
    T: Copy + Display + TypeFoldable<'tcx> + 'tcx, 

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

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.