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
]