Struct RegionTracker 

pub(crate) struct RegionTracker {
    reachable_placeholders: PlaceholderReachability,
    max_nameable_universe: (UniverseIndex, RegionVid),
    pub(crate) representative: Representative,
}

An annotation for region graph SCCs that tracks the values of its elements. This annotates a single SCC.

Fields

reachable_placeholders: PlaceholderReachability

max_nameable_universe: (UniverseIndex, RegionVid)

The largest universe nameable from this SCC. It is the smallest nameable universes of all existential regions reachable from it. Small Rvids are preferred.

representative: Representative

The representative Region Variable Id for this SCC.

Implementations

impl RegionTracker

pub(crate) fn new(rvid: RegionVid, definition: &RegionDefinition<'_>) -> Self

pub(crate) fn max_nameable_universe(self) -> UniverseIndex

The largest universe this SCC can name. It’s the smallest largest nameable universe of any reachable region, or max_nameable(r) = min (max_nameable(r') for r' reachable from r)

pub(crate) fn max_placeholder_universe_reached(self) -> UniverseIndex

pub(crate) fn universe_compatible_with(&self, other: Self) -> bool

Determine if the tracked universes of the two SCCs are compatible.

fn unnameable_placeholder(&self) -> Option<(UniverseIndex, RegionVid)>

If this SCC reaches a placeholder it can’t name, return it.

Trait Implementations

impl Annotation for RegionTracker

fn merge_scc(self, other: Self) -> Self

Merge two existing annotations into one during path compression.o

fn merge_reached(self, other: Self) -> Self

Merge a successor into this annotation.

fn update_scc(&mut self, other: Self)

fn update_reachable(&mut self, other: Self)

impl Clone for RegionTracker

fn clone(&self) -> RegionTracker

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RegionTracker

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for RegionTracker

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