Struct 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) -> Diag<'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<'infcx>( &self, mbcx: &mut MirBorrowckCtxt<'_, 'infcx, 'tcx>, cause: ObligationCause<'tcx>, placeholder_region: Region<'tcx>, error_region: Option<Region<'tcx>>, ) -> Option<Diag<'infcx>>

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.