Module rustc::ty::wf [−][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 hir::def_id::DefId; |
use middle::const_val::ConstVal; |
use infer::InferCtxt; |
use ty::subst::Substs; |
use traits; |
use ty; |
use ty::ToPredicate; |
use ty::Ty; |
use ty::TyCtxt; |
use ty::TypeFoldable; |
use std::iter::once; |
use syntax::ast; |
use syntax_pos::Span; |
use middle::lang_items; |
Structs
WfPredicates |
[ Experimental ]
|
Enums
Elaborate |
[ Experimental ] Controls whether we "elaborate" supertraits and so forth on the WF predicates. This is a kind of hack to address #43784. The underlying problem in that issue was a trait structure like: |
Functions
object_region_bounds |
[ Experimental ] Given an object type like |
obligations |
[ Experimental ] Returns the set of obligations needed to make |
predicate_obligations |
[ Experimental ]
|
trait_obligations |
[ Experimental ] Returns the obligations that make this trait reference
well-formed. For example, if there is a trait |