Module rustc::traits::util [−][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?
Structs
Elaborator |
[ Experimental ] "Elaboration" is the process of identifying all the predicates that
are implied by a source predicate. Currently this basically means
walking the "supertraits" and other similar assumptions. For
example, if we know that |
FilterToTraits |
[ Experimental ] A filter around an iterator of predicates that makes it yield up just trait references. |
PredicateSet |
[ Experimental ]
|
SupertraitDefIds |
[ Experimental ]
|
Enums
TupleArgumentsFlag |
[ Experimental ]
|
Functions
anonymize_predicate |
[ Experimental ]
|
elaborate_predicates |
[ Experimental ]
|
elaborate_trait_ref |
[ Experimental ]
|
elaborate_trait_refs |
[ Experimental ]
|
impl_trait_ref_and_oblig |
[ Experimental ] Instantiate all bound parameters of the impl with the given substs, returning the resulting trait ref and all obligations that arise. The obligations are closed under normalization. |
predicate_for_trait_ref |
[ Experimental ]
|
predicates_for_generics |
[ Experimental ] See |
supertrait_def_ids |
[ Experimental ]
|
supertraits |
[ Experimental ]
|
transitive_bounds |
[ Experimental ]
|
Type Definitions
Supertraits |
[ Experimental ]
|