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§
source§impl<'tcx, T> TypeOpInfo<'tcx> for NormalizeQuery<'tcx, T>where
T: Copy + Display + TypeFoldable<'tcx> + 'tcx,
impl<'tcx, T> TypeOpInfo<'tcx> for NormalizeQuery<'tcx, T>where
T: Copy + Display + TypeFoldable<'tcx> + 'tcx,
source§fn fallback_error(
&self,
tcx: TyCtxt<'tcx>,
span: Span
) -> DiagnosticBuilder<'tcx, ErrorGuaranteed>
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. Read more
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>
)
Auto Trait Implementations§
impl<'tcx, T> !RefUnwindSafe for NormalizeQuery<'tcx, T>
impl<'tcx, T> !Send for NormalizeQuery<'tcx, T>
impl<'tcx, T> !Sync for NormalizeQuery<'tcx, T>
impl<'tcx, T> Unpin for NormalizeQuery<'tcx, T>where
T: Unpin,
impl<'tcx, T> !UnwindSafe for NormalizeQuery<'tcx, T>
Blanket Implementations§
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.