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ยง
- Canonical
Instantiator ๐ - Replaces the bound vars in a canonical binder with var values.
Traitsยง
- Canonical
Ext - 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
intovalue
.var_values
must be values for the set of canonical variables that appear invalue
.