Module rustc_hir_analysis::variance::solve
source · Expand description
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.