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
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.