Crate rustc_traits
source ·Expand description
New recursive solver modeled on Chalk’s recursive solver. Most of the guts are broken up into modules; see the comments in those modules.
Modules
chalk 🔒
Calls
chalk-solve
to solve a ty::Predicate
Provider for the
implied_outlives_bounds
query.
Do not call this query directory. See
rustc_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.