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>>
Unstable (
rustc_private
)