Type Alias PlaceholderRegion

pub type PlaceholderRegion = Placeholder<BoundRegion>;

Aliased Type

pub struct PlaceholderRegion {
    pub universe: UniverseIndex,
    pub bound: BoundRegion,
}

Fields

universe: UniverseIndex

bound: BoundRegion

Trait Implementations

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

type Bound = BoundRegion

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

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

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

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