Module rustc_infer::infer::canonical::canonicalizer
source · [−]Expand description
This module contains the “canonicalizer” itself.
For an overview of what canonicalization is and how it fits into rustc, check out the chapter in the rustc dev guide.
Structs
Traits
Controls how we canonicalize “free regions” that are not inference
variables. This depends on what we are canonicalizing for –
e.g., if we are canonicalizing to create a query, we want to
replace those with inference variables, since we want to make a
maximally general query. But if we are canonicalizing a query
response, then we don’t typically replace free regions, as they
must have been introduced from other parts of the system.