Module rustc::infer::canonical::query_result [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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 canonicaliation is and how it fits into rustc, check out the chapter in the rustc guide.
Functions
make_query_outlives |
[ Experimental ] Given the region obligations and constraints scraped from the infcx, creates query region constraints. |
Existentials
[ Experimental ]
|