Function rustc_infer::traits::util::predicate_obligation

fn predicate_obligation<'tcx>(
    predicate: Predicate<'tcx>, 
    span: Option<Span>
) -> PredicateObligation<'tcx>