Function rustc::ty::wf::trait_obligations [] [src]

pub fn trait_obligations<'a, 'gcx, 'tcx>(infcx: &InferCtxt<'a, 'gcx, 'tcx>,
                                         body_id: NodeId,
                                         trait_ref: &TraitRef<'tcx>,
                                         span: Span)
                                         -> Vec<PredicateObligation<'tcx>>
🔬 This is a nightly-only experimental API. (rustc_private)

Returns the obligations that make this trait reference well-formed. For example, if there is a trait Set defined like trait Set<K:Eq>, then the trait reference Foo: Set<Bar> is WF if Bar: Eq.