Expand description

This module contains the code to instantiate a “query result”, and in particular to extract out the resulting region obligations and encode them therein.

For an overview of what canonicalization is and how it fits into rustc, check out the chapter in the rustc dev guide.

Functions§