Struct RegionTracker

pub(crate) struct RegionTracker {
    max_placeholder_universe_reached: UniverseIndex,
    max_nameable_universe: UniverseIndex,
    pub(crate) representative: Representative,
}

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

Fields

max_placeholder_universe_reached: UniverseIndex

The largest universe of a placeholder reached from this SCC. This includes placeholders within this SCC.

max_nameable_universe: UniverseIndex

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

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 uninverse of any reachable region.

fn merge_min_max_seen(&mut self, other: &Self)

pub(crate) fn has_incompatible_universes(&self) -> bool

Returns true if during the annotated SCC reaches a placeholder with a universe larger than the smallest nameable universe of any reachable existential region.

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

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

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.

const 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: 16 bytes