Struct rustc_mir::borrow_check::region_infer::reverse_sccs::ReverseSccGraph

pub(crate) struct ReverseSccGraph {
    graph: VecGraph<ConstraintSccIndex>,
    scc_regions: FxHashMap<ConstraintSccIndex, Range<usize>>,
    universal_regions: Vec<RegionVid>,
}

Fields

graph: VecGraph<ConstraintSccIndex>

scc_regions: FxHashMap<ConstraintSccIndex, Range<usize>>

For each SCC, the range of universal_regions that use that SCC as their value.

universal_regions: Vec<RegionVid>

All of the universal regions, in grouped so that scc_regions can index into here.

Implementations

impl ReverseSccGraph

pub(super) fn upper_bounds<'a>(
    &'a self,
    scc0: ConstraintSccIndex
) -> impl Iterator<Item = RegionVid> + 'a

Find all universal regions that are required to outlive the given SCC.