Module rustc_infer::infer::region_constraints::leak_check
source · Structs§
- Represents the graph of constraints. For each
R1: R2constraint we create an edgeR1 -> R2in the graph. - Tracks the “minimum universe” for each SCC, along with some region that caused it to change.