Type Alias PlaceholderConst 

pub type PlaceholderConst = Placeholder<BoundConst>;

Aliased Type

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

Fields

universe: UniverseIndex

bound: BoundConst

Trait Implementations

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

type Bound = BoundConst

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

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

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

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