[−][src]Module rustc::ty::wf
🔬 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?
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 |