Module canonicalizer
Expand description
This module contains code to canonicalize values into a Canonical<'db, T>.
For an overview of what canonicalization is and how it fits into rustc, check out the chapter in the rustc dev guide.
Structsยง
- Original
Query Values - When we canonicalize a value to form a query, we wind up replacing various parts of it with canonical variables. This struct stores those replaced bits to remember for when we process the query result.