Crate rustc_traits
source Β·Expand description
Queries that are independent from the main solver code.
Modules§
- codegen π
- dropck_
outlives π - evaluate_
obligation π - 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.