Trait rustc_middle::ty::PlaceholderLike

source · 
pub trait PlaceholderLike {
    // 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;
}
Expand description

Common capabilities of placeholder kinds

Required Methods§

source

fn universe(self) -> UniverseIndex

source

fn var(self) -> BoundVar

source

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

source

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

Object Safety§

This trait is not object safe.

Implementors§