Module instantiate 

This module contains code to instantiate 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.

Re-exports

use rustc_macros::extension; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::DelayedMap; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFlags; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeFolder; 🔒

use rustc_middle::ty::TypeSuperFoldable; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_type_ir::PredicateProxy; 🔒

use crate::infer::canonical::Canonical; 🔒

use crate::infer::canonical::CanonicalVarValues; 🔒

Structs

CanonicalInstantiator 🔒

Replaces the bound vars in a canonical binder with var values.

Traits

CanonicalExt

FIXME(-Znext-solver): This or public because it is shared with the new trait solver implementation. We should deduplicate canonicalization.

Functions

highest_var_in_clauses 🔒

instantiate_value 🔒

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