Update the unification count in wrapUnifierX
Omitting this update caused type inference to fail in #24146 (closed).
This was an accidental omission in my refactoring of the equality solver.
Omitting this update caused type inference to fail in #24146 (closed).
This was an accidental omission in my refactoring of the equality solver.