fn rematch_object<'tcx>(
    infcx: &InferCtxt<'tcx>,
    goal: Goal<'tcx, TraitPredicate<'tcx>>,
    nested: Vec<PredicateObligation<'tcx>>
) -> SelectionResult<'tcx, Selection<'tcx>>