Type Alias PlaceholderType

pub type PlaceholderType = Placeholder<BoundTy>;

Aliased Type

struct PlaceholderType {
    pub universe: UniverseIndex,
    pub bound: BoundTy,
}

Fields

universe: UniverseIndex

bound: BoundTy

Trait Implementations

impl PlaceholderLike for PlaceholderType

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