Function rustc_trait_selection::traits::wf::predicate_obligations

pub fn predicate_obligations<'tcx>(
    infcx: &InferCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    body_id: LocalDefId,
    predicate: Predicate<'tcx>,
    span: Span
) -> Vec<PredicateObligation<'tcx>>