Function mk_pending

fn mk_pending<'tcx>(
    os: PredicateObligations<'tcx>,
) -> ThinVec<PendingPredicateObligation<'tcx>>