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.
Re-exports
extern crate std; |
extern crate log; |
extern crate rustc; |
extern crate rustc_data_structures; |
extern crate syntax; |
extern crate syntax_pos; |
use std::prelude::v1::*; |
use rustc::ty::maps::Providers; |
Modules
dropck_outlives |
[ Experimental ]
|
evaluate_obligation |
[ Experimental ]
|
lowering |
[ Experimental ]
|
normalize_erasing_regions |
[ Experimental ]
|
normalize_projection_ty |
[ Experimental ]
|
util |
[ Experimental ]
|
Functions
provide |
[ Experimental ]
|