Skip to main content

Module leak_check

rustc_infer::infer::region_constraints

Module leak_check 

Source

Re-exports§

use rustc_data_structures::fx::FxIndexMap; 🔒
use rustc_data_structures::graph::scc::Sccs; 🔒
use rustc_data_structures::graph::vec_graph::VecGraph; 🔒
use rustc_index::Idx; 🔒
use rustc_middle::ty::error::TypeError; 🔒
use rustc_span::span_bug; 🔒
use tracing::debug; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use crate::infer::relate::RelateResult; 🔒
use crate::infer::snapshot::CombinedSnapshot; 🔒
use super::*; 🔒

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.