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

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

🔬 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