Trait rustc_type_ir::inherent::PlaceholderLike
source · 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;
}
Expand description
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.