Struct rustc_borrowck::region_infer::reverse_sccs::ReverseSccGraph

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

Fields

graph: VecGraph<ConstraintSccIndex>

scc_regions: FxIndexMap<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.

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: 128 bytes