Trait PlaceholderLike

pub trait PlaceholderLike:
    Copy
    + Debug
    + Hash
    + Eq {
    // Required methods
    fn universe(self) -> UniverseIndex;
    fn var(self) -> BoundVar;
    fn with_updated_universe(self, ui: UniverseIndex) -> Self;
    fn new(ui: UniverseIndex, var: BoundVar) -> Self;
}

Common capabilities of placeholder kinds

Required Methods

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

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

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl PlaceholderLike for Placeholder<BoundRegion>

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Placeholder<BoundRegion>

fn new(ui: UniverseIndex, var: BoundVar) -> Placeholder<BoundRegion>

impl PlaceholderLike for Placeholder<BoundTy>

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Placeholder<BoundTy>

fn new(ui: UniverseIndex, var: BoundVar) -> Placeholder<BoundTy>

impl PlaceholderLike for Placeholder<BoundVar>

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Placeholder<BoundVar>

fn new(ui: UniverseIndex, var: BoundVar) -> Placeholder<BoundVar>

Implementors