Type Alias PlaceholderConst

pub type PlaceholderConst = Placeholder<BoundVar>;

Aliased Type

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

Fields

universe: UniverseIndex

bound: BoundVar

Trait Implementations

impl<'db> PlaceholderLike<DbInterner<'db>> for PlaceholderConst

type Bound = BoundVar

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

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

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

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