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.