rustc_typeck::middle::traits

Structs

DerivedObligationCauseFulfillmentContextFulfillmentErrorMismatchedProjectionTypesNormalizedObligationObligationCauseRegionObligationSelectionCacheSelectionContextSupertraitsVtableBuiltinDataVtableImplDataVtableObjectData

Enums

FulfillmentErrorCodeMethodMatchResultMethodMatchedDataMethodViolationCodeObjectSafetyViolationObligationCauseCodeOrphanCheckErrSelectionErrorVtable

Functions

elaborate_predicatesevaluate_builtin_boundget_vtable_index_of_object_methodis_object_safenormalizeobject_safety_violationsorphan_checkoverlapping_implspredicates_for_genericsreport_fulfillment_errorssuggest_new_overflow_limitsupertraitstrait_ref_for_builtin_boundtransitive_boundstype_known_to_meet_builtin_boundupcast

rustc_typeck::middle::traits::ObligationsUnstable [-]  [+] [src]

type Obligations<'tcx, O> = VecPerParamSpace<Obligation<'tcx, O>>;