rustc::middle::traits

Structs

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

Enums

FulfillmentErrorCode MethodMatchResult MethodMatchedData ObligationCauseCode SelectionError Vtable

Functions

elaborate_predicates is_orphan_impl normalize overlapping_impls predicates_for_generics report_fulfillment_errors supertraits trait_ref_for_builtin_bound transitive_bounds type_known_to_meet_builtin_bound

Struct rustc::middle::traits::NormalizedExperimental [-] [+] [src]

pub struct Normalized<'tcx, T> {
    pub value: T,
    pub obligations: Vec<PredicateObligation<'tcx>>,
}

Fields

`value`
`obligations`

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).