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 |
lowering |
[ Experimental ]
|
normalize_erasing_regions |
[ Experimental ]
|
normalize_projection_ty |
[ Experimental ]
|
type_op |
[ Experimental ]
|
Functions
provide |
[ Experimental ]
|