Trait rustc::traits::query::type_op::normalize::Normalizable [−][src]
pub trait Normalizable<'gcx, 'tcx>: Debug + TypeFoldable<'tcx> + Lift<'gcx> + Copy { fn type_op_method(
tcx: TyCtxt<'_, 'gcx, 'tcx>,
canonicalized: Canonicalized<'gcx, ParamEnvAnd<'tcx, Normalize<Self>>>
) -> Fallible<CanonicalizedQueryResult<'gcx, Self>>; fn shrink_to_tcx_lifetime<'a>(
v: &'a CanonicalizedQueryResult<'gcx, Self>
) -> &'a Canonical<'tcx, QueryResult<'tcx, Self>>; }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Required Methods
fn type_op_method(
tcx: TyCtxt<'_, 'gcx, 'tcx>,
canonicalized: Canonicalized<'gcx, ParamEnvAnd<'tcx, Normalize<Self>>>
) -> Fallible<CanonicalizedQueryResult<'gcx, Self>>
tcx: TyCtxt<'_, 'gcx, 'tcx>,
canonicalized: Canonicalized<'gcx, ParamEnvAnd<'tcx, Normalize<Self>>>
) -> Fallible<CanonicalizedQueryResult<'gcx, Self>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn shrink_to_tcx_lifetime<'a>(
v: &'a CanonicalizedQueryResult<'gcx, Self>
) -> &'a Canonical<'tcx, QueryResult<'tcx, Self>>
v: &'a CanonicalizedQueryResult<'gcx, Self>
) -> &'a Canonical<'tcx, QueryResult<'tcx, Self>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Convert from the 'gcx
(lifted) form of Self
into the tcx
form of Self
.
Implementors
impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for Ty<'tcx> where
'gcx: 'tcx,impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for Predicate<'tcx> where
'gcx: 'tcx,impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for PolyFnSig<'tcx> where
'gcx: 'tcx,impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for FnSig<'tcx> where
'gcx: 'tcx,