Trait rustc::infer::canonical::Canonicalize[][src]

pub trait Canonicalize<'gcx: 'tcx, 'tcx>: TypeFoldable<'tcx> + Lift<'gcx> {
    type Canonicalized: 'gcx + Debug;
    fn intern(
        gcx: TyCtxt<'_, 'gcx, 'gcx>,
        value: Canonical<'gcx, Self::Lifted>
    ) -> Self::Canonicalized; }
🔬 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?

Trait implemented by values that can be canonicalized. It mainly serves to identify the interning table we will use.

Associated Types

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

After a value has been fully canonicalized and lifted, this method will allocate it in a global arena.

Implementations on Foreign Types

impl<'gcx: 'tcx, 'tcx, C> Canonicalize<'gcx, 'tcx> for ExClause<C> where
    C: Context + Clone,
    C: ExClauseLift<'gcx> + ExClauseFold<'tcx>,
    C::Substitution: Clone,
    C::RegionConstraint: Clone
[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?

Implementors