Type Alias PlaceholderConst 

pub type PlaceholderConst<I> = Placeholder<I, BoundConst<I>>;

Aliased Type

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

Fields

universe: UniverseIndex

bound: BoundConst<I>

_tcx: PhantomData<fn() -> I>

Implementations

impl<I: Interner> PlaceholderConst<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: BoundConst<I>) -> Self

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

pub fn find_const_ty_from_env(self, env: I::ParamEnv) -> I::Ty

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes