Code to solve constraints and write out the results. Constraint solving
The final phase iterates over the constraints, refining the variance
for each inferred until a fixed point is reached. This will be the
optimal solution to the constraints. The final variance for each
inferred is then written into the
variance_map in the tcx.