Crate rustc_traits[][src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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_context [
Experimental
]
dropck_outlives [
Experimental
]
evaluate_obligation [
Experimental
]
implied_outlives_bounds [
Experimental
]

Provider for the implied_outlives_bounds query. Do not call this query directory. See [rustc::traits::query::implied_outlives_bounds].

lowering [
Experimental
]
normalize_erasing_regions [
Experimental
]
normalize_projection_ty [
Experimental
]
type_op [
Experimental
]

Functions

provide [
Experimental
]