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.

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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: 104 bytes