Module rustc_traits::lowering[][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?

Re-exports

use rustc::hir::def_id::DefId;
use rustc::hir::intravisit;
use rustc::hir::intravisit::NestedVisitorMap;
use rustc::hir::intravisit::Visitor;
use rustc::hir::map::definitions::DefPathData;
use rustc::hir;
use rustc::hir::ImplPolarity;
use rustc::traits::Clause;
use rustc::traits::Clauses;
use rustc::traits::DomainGoal;
use rustc::traits::Goal;
use rustc::traits::PolyDomainGoal;
use rustc::traits::ProgramClause;
use rustc::traits::WhereClauseAtom;
use rustc::ty::subst::Substs;
use rustc::ty;
use rustc::ty::Slice;
use rustc::ty::TyCtxt;
use rustc_data_structures::fx::FxHashSet;
use std::mem;
use syntax::ast;
use std::iter;

Structs

ClauseDumper [
Experimental
]

Traits

IntoFromEnvGoal [
Experimental
]

Transforms an existing goal into a FromEnv goal.

Lower [
Experimental
]

Functions

dump_program_clauses [
Experimental
]
implied_bound_from_trait [
Experimental
]

For a given where_clause, returns a clause FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn>).

program_clauses_for [
Experimental
]
program_clauses_for_associated_type_value [
Experimental
]
program_clauses_for_env [
Experimental
]
program_clauses_for_impl [
Experimental
]
program_clauses_for_trait [
Experimental
]