rustc_infer::infer::region_constraints

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