Function mk_pending

fn mk_pending(
    os: Vec<PredicateObligation<'_>>,
) -> Vec<PendingPredicateObligation<'_>>