Type Alias PlaceholderRegion

pub type PlaceholderRegion = Placeholder<BoundRegion>;

Aliased Type

struct PlaceholderRegion {
    pub universe: UniverseIndex,
    pub bound: BoundRegion,
}

Fields

universe: UniverseIndex

bound: BoundRegion

Trait Implementations

impl PlaceholderLike for PlaceholderRegion

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Self

fn new(ui: UniverseIndex, var: BoundVar) -> Self

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