Type Alias PlaceholderRegion 

pub type PlaceholderRegion<I> = Placeholder<I, BoundRegion<I>>;

Aliased Type

pub struct PlaceholderRegion<I> {
    pub universe: UniverseIndex,
    pub bound: BoundRegion<I>,
    _tcx: PhantomData<fn() -> I>,
}

Fields

universe: UniverseIndex

bound: BoundRegion<I>

_tcx: PhantomData<fn() -> I>

Implementations

impl<I: Interner> PlaceholderRegion<I>

pub fn universe(self) -> UniverseIndex

pub fn var(self) -> BoundVar

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

pub fn new(ui: UniverseIndex, bound: BoundRegion<I>) -> Self

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

Layout

Note: Encountered an error during type layout; the type failed to be normalized.