Fix red holes in hole results.

We missed an infer update call after unify