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
.