Module instantiate
Expand description
This module contains code to instantiate new 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.
This module contains code to instantiate new 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.