Struct rustc_mir::borrow_check::region_infer::reverse_sccs::ReverseSccGraph[][src]

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[src]

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

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

Auto Trait Implementations

impl RefUnwindSafe for ReverseSccGraph

impl Send for ReverseSccGraph

impl Sync for ReverseSccGraph

impl Unpin for ReverseSccGraph

impl UnwindSafe for ReverseSccGraph

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]