Module solve 

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.

Re-exports

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_hir::def_id::DefIdMap; 🔒

use rustc_middle::ty; 🔒

use tracing::debug; 🔒

use super::constraints::*; 🔒

use super::terms::VarianceTerm::*; 🔒

use super::terms::*; 🔒

Structs

SolveContext 🔒

Functions

glb 🔒

solve_constraints 🔒