Function rustc_infer::traits::util::predicate_obligation

pub(in traits::util) fn predicate_obligation<'tcx>(
    predicate: Predicate<'tcx>, 
    param_env: ParamEnv<'tcx>, 
    cause: ObligationCause<'tcx>
) -> PredicateObligation<'tcx>