Module rustc_infer::infer::canonical::substitute

source ·
Expand description

This module contains code to substitute new values into a Canonical<'tcx, T>.

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

Traits

  • CanonicalExt
    FIXME(-Ztrait-solver=next): This or public because it is shared with the new trait solver implementation. We should deduplicate canonicalization.

Functions

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