Module instantiate

Source
Expand description

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.

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.