Crate rustc_traits[−][src]
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
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.