Struct RegionTracker

pub struct RegionTracker {
    max_placeholder_universe_reached: UniverseIndex,
    min_reachable_universe: UniverseIndex,
    pub(crate) representative: RegionVid,
    representative_is_placeholder: bool,
    representative_is_existential: bool,
}

An annotation for region graph SCCs that tracks the values of its elements.

Fields

max_placeholder_universe_reached: UniverseIndex

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

min_reachable_universe: UniverseIndex

The smallest universe index reachable form the nodes of this SCC.

representative: RegionVid

The representative Region Variable Id for this SCC. We prefer placeholders over existentially quantified variables, otherwise it’s the one with the smallest Region Variable ID.

representative_is_placeholder: bool

Is the current representative a placeholder?

representative_is_existential: bool

Is the current representative existentially quantified?

Implementations

impl RegionTracker

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

fn min_universe(self) -> UniverseIndex

The smallest-indexed universe reachable from and/or in this SCC.

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 reachable one, false otherwise.

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