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