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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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