[][src]Module rustc::infer::canonical::substitute

🔬 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 module contains code to substitute new values into a Canonical<'tcx, T>.

For an overview of what canonicaliation is and how it fits into rustc, check out the chapter in the rustc guide.

Structs

CanonicalVarValuesSubst [
Experimental
]

Functions

substitute_value [
Experimental
]

Substitute the values from var_values into value. var_values must be values for the set of canonical variables that appear in value.