rustc_trans::middle::traits

Structs

DerivedObligationCause FulfillmentContext FulfillmentError MismatchedProjectionTypes Normalized Obligation ObligationCause RegionObligation SelectionCache SelectionContext Supertraits VtableBuiltinData VtableImplData VtableObjectData

Enums

FulfillmentErrorCode MethodMatchResult MethodMatchedData MethodViolationCode ObjectSafetyViolation ObligationCauseCode OrphanCheckErr SelectionError Vtable

Functions

elaborate_predicates evaluate_builtin_bound get_vtable_index_of_object_method is_object_safe normalize object_safety_violations orphan_check overlapping_impls predicates_for_generics report_fulfillment_errors suggest_new_overflow_limit supertraits trait_ref_for_builtin_bound transitive_bounds type_known_to_meet_builtin_bound upcast

Function rustc_trans::middle::traits::report_fulfillment_errorsUnstable [-] [+] [src]

pub fn report_fulfillment_errors(infcx: &InferCtxt<'a, 'tcx>, errors: &Vec<FulfillmentError<'tcx>>)

Keyboard shortcuts

?: Show this help dialog
S: Focus the search field
⇤: Move up in search results
⇥: Move down in search results
⏎: Go to active search result

Search tricks

Prefix searches with a type followed by a colon (e.g. fn:) to restrict the search to a given type.

Accepted types are: fn, mod, struct, enum, trait, typedef (or tdef).