Type Alias PlaceholderType 

pub type PlaceholderType<I> = Placeholder<I, BoundTy<I>>;

Aliased Type

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

Fields

universe: UniverseIndex

bound: BoundTy<I>

_tcx: PhantomData<fn() -> I>

Implementations

impl<I: Interner> PlaceholderType<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: BoundTy<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.