Trait rustc_type_ir::interner::Placeholder

pub trait Placeholder {
    // Required methods
    fn universe(&self) -> UniverseIndex;
    fn var(&self) -> BoundVar;
    fn with_updated_universe(self, ui: UniverseIndex) -> Self;
}

Common capabilities of placeholder kinds

Required Methods

fn universe(&self) -> UniverseIndex

fn var(&self) -> BoundVar

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

Object Safety

This trait is not object safe.

Implementors