Type Alias PlaceholderConst

pub type PlaceholderConst = Placeholder<BoundVar>;

Aliased Type

struct PlaceholderConst {
    pub universe: UniverseIndex,
    pub bound: BoundVar,
}

Fields

universe: UniverseIndex

bound: BoundVar

Trait Implementations

impl PlaceholderLike for PlaceholderConst

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