Type Alias PlaceholderConst

pub type PlaceholderConst = Placeholder<BoundVar>;

Aliased Type

pub struct PlaceholderConst {
    pub universe: UniverseIndex,
    pub bound: BoundVar,
}

Fields

universe: UniverseIndex

bound: BoundVar

Trait Implementations

impl<'tcx> PlaceholderLike<TyCtxt<'tcx>> for PlaceholderConst

type Bound = BoundVar

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

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

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

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

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