[][src]Trait rustc::traits::query::type_op::normalize::Normalizable

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

impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for Predicate<'tcx> where
    'gcx: 'tcx, 
[src]

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

impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for FnSig<'tcx> where
    'gcx: 'tcx, 
[src]

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

impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for PolyFnSig<'tcx> where
    'gcx: 'tcx, 
[src]

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

impl<'gcx, 'tcx> Normalizable<'gcx, 'tcx> for Ty<'tcx> where
    'gcx: 'tcx, 
[src]

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