Function mk_pending 

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