Struct rustc_infer::infer::region_constraints::leak_check::LeakCheck

struct LeakCheck<'a, 'b, 'tcx> {
    tcx: TyCtxt<'tcx>,
    outer_universe: UniverseIndex,
    mini_graph: &'a MiniGraph<'tcx>,
    rcc: &'a mut RegionConstraintCollector<'b, 'tcx>,
    scc_placeholders: IndexVec<LeakCheckScc, Option<PlaceholderRegion>>,
    scc_universes: IndexVec<LeakCheckScc, SccUniverse<'tcx>>,
}

Fields

tcx: TyCtxt<'tcx>

outer_universe: UniverseIndex

mini_graph: &'a MiniGraph<'tcx>

rcc: &'a mut RegionConstraintCollector<'b, 'tcx>

scc_placeholders: IndexVec<LeakCheckScc, Option<PlaceholderRegion>>

scc_universes: IndexVec<LeakCheckScc, SccUniverse<'tcx>>

Implementations

impl<'a, 'b, 'tcx> LeakCheck<'a, 'b, 'tcx>

fn new( tcx: TyCtxt<'tcx>, outer_universe: UniverseIndex, max_universe: UniverseIndex, mini_graph: &'a MiniGraph<'tcx>, rcc: &'a mut RegionConstraintCollector<'b, 'tcx>, ) -> Self

fn assign_placeholder_values(&mut self) -> RelateResult<'tcx, ()>

Compute what placeholders (if any) each SCC must be equal to. Also compute the minimum universe of all the regions in each SCC.

fn assign_scc_value( &mut self, scc: LeakCheckScc, placeholder: PlaceholderRegion, ) -> RelateResult<'tcx, ()>

fn propagate_scc_value(&mut self) -> RelateResult<'tcx, ()>

For each SCC S, iterate over each successor S1 where S: S1:

• Compute Iterate over each SCC S and ensure that, for each S1 where S1: S, universe(S) <= universe(S1). This executes after assign_placeholder_values, so universe(S) is already the minimum universe of any of its direct constituents.

fn placeholder_error( &self, placeholder1: PlaceholderRegion, placeholder2: PlaceholderRegion, ) -> TypeError<'tcx>

fn error( &self, placeholder: PlaceholderRegion, other_region: Region<'tcx>, ) -> TypeError<'tcx>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 80 bytes