Module rustc_trans::middle::traitsExperimental
[-]
[+]
[src]
Trait Resolution. See doc.rs.
Structs
DerivedObligationCause | |
FulfillmentContext | The fulfillment context is used to drive trait resolution. It
consists of a list of obligations that must be (eventually)
satisfied. The job is to track which are satisfied, which yielded
errors, and which are still pending. At any point, users can call
|
FulfillmentError | |
MismatchedProjectionTypes | |
Normalized | |
Obligation | An |
ObligationCause | Why did we incur this obligation? Used for error reporting. |
RegionObligation | |
SelectionCache | |
SelectionContext | |
Supertraits | A filter around the |
VtableBuiltinData | |
VtableImplData | Identifies a particular impl in the source, along with a set of
substitutions from the impl's type/lifetime parameters. The
|
Enums
FulfillmentErrorCode | |
MethodMatchResult | |
MethodMatchedData | |
ObligationCauseCode | |
SelectionError | |
Vtable | Given the successful resolution of an obligation, the |
Functions
elaborate_predicates | |
is_orphan_impl | True if neither the trait nor self type is local. Note that |
normalize | |
overlapping_impls | True if there exist types that satisfy both of the two given impls. |
predicates_for_generics | Creates predicate obligations from the generic bounds. |
report_fulfillment_errors | |
supertraits | |
trait_ref_for_builtin_bound | |
transitive_bounds | |
type_known_to_meet_builtin_bound | Determines whether the type |
Type Definitions
Obligations | |
PredicateObligation | |
PredicateObligations | |
Selection | |
SelectionResult | |
TraitObligation | |
TraitObligations |