Function rustc::ty::wf::predicate_obligations
[−]
[src]
pub fn predicate_obligations<'a, 'gcx, 'tcx>(infcx: &InferCtxt<'a, 'gcx, 'tcx>,
body_id: NodeId,
predicate: &Predicate<'tcx>,
span: Span)
-> Vec<PredicateObligation<'tcx>>
🔬 This is a nightly-only experimental API. (
rustc_private
)