# 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.