Type Alias PlaceholderTy

pub type PlaceholderTy = Placeholder<BoundTy>;

Aliased Type

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

Fields

universe: UniverseIndex

bound: BoundTy

Trait Implementations

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

type Bound = BoundTy

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

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

fn new(ui: UniverseIndex, bound: BoundTy) -> Self

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