Module rustc_infer::infer::region_constraints::leak_check

source ·

Structs

LeakCheck 🔒
LeakCheckNode 🔒
LeakCheckScc 🔒
MiniGraph 🔒
Represents the graph of constraints. For each R1: R2 constraint we create an edge R1 -> R2 in the graph.
SccUniverse 🔒
Tracks the “minimum universe” for each SCC, along with some region that caused it to change.