Crate rustc_traits

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
dropck_outlives
evaluate_obligation
implied_outlives_bounds	Provider for the implied_outlives_bounds query. Do not call this query directory. See rustc_trait_selection::traits::query::type_op::implied_outlives_bounds.
normalize_erasing_regions
normalize_projection_ty
type_op

Functions

provide