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)