Crate rustc_traits
source ·Expand description
Queries that are independent from the main solver code.
Modules
- codegen 🔒
- Provider for the
implied_outlives_bounds
query. Do not call this query directory. Seerustc_trait_selection::traits::query::type_op::implied_outlives_bounds
. - type_op 🔒
Functions
- The core of the
type_op_ascribe_user_type
query: for diagnostics purposes in NLL HRTB errors, this query can be re-run to better track the span of the obligation cause, and improve the error message. Do not call directly unless you’re in that very specific context. - The core of the
type_op_prove_predicate
query: for diagnostics purposes in NLL HRTB errors, this query can be re-run to better track the span of the obligation cause, and improve the error message. Do not call directly unless you’re in that very specific context.