rustc_trans::middle::traits

Structs

DerivedObligationCauseFulfillmentContextFulfillmentErrorMismatchedProjectionTypesNormalizedObligationObligationCauseRegionObligationSelectionCacheSelectionContextSupertraitsVtableBuiltinDataVtableImplData

Enums

FulfillmentErrorCodeMethodMatchResultMethodMatchedDataObligationCauseCodeSelectionErrorVtable

Functions

elaborate_predicatesis_orphan_implnormalizeoverlapping_implspredicates_for_genericsreport_fulfillment_errorssupertraitstrait_ref_for_builtin_boundtransitive_boundstype_known_to_meet_builtin_bound

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

pub fn type_known_to_meet_builtin_bound(infcx: &InferCtxt<'a, 'tcx>, param_env: &ParameterEnvironment<'tcx>, ty: &'tcx TyS<'tcx>, bound: BuiltinBound) -> bool

Determines whether the type ty is known to meet bound and returns true if so. Returns false if ty either does not meet bound or is not known to meet bound (note that this is conservative towards no impl, which is the opposite of the evaluate methods).