Module rustc_typeck::variance::solve [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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::hir::def_id::DefId; |
use rustc::ty; |
use rustc_data_structures::fx::FxHashMap; |
use rustc_data_structures::fx::FxHashMap; |
use rustc_data_structures::sync::Lrc; |
use super::constraints::*; |
use super::terms::*; |
use super::terms::VarianceTerm::*; |
use super::xform::*; |
Structs
SolveContext |
[ Experimental ]
|
Functions
solve_constraints |
[ Experimental ]
|