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
sourceimpl<'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,
sourcefn 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>where
T: Send,
impl<'tcx, T> Sync for NormalizeQuery<'tcx, T>where
T: Sync,
impl<'tcx, T> Unpin for NormalizeQuery<'tcx, T>where
T: Unpin,
impl<'tcx, T> !UnwindSafe for NormalizeQuery<'tcx, T>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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.