pub trait AnyFrameMeta: Repr<MetaSlot> {
// Required method
spec fn vtable_ptr(&self) -> usize;
// Provided methods
exec fn on_drop(&mut self) { ... }
fn is_untyped(&self) -> bool { ... }
}Expand description
Space-holder of the AnyFrameMeta virtual table.
Required Methods§
Sourcespec fn vtable_ptr(&self) -> usize
spec fn vtable_ptr(&self) -> usize
Provided Methods§
Sourceexec fn is_untyped(&self) -> bool
exec fn is_untyped(&self) -> bool
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.
Implementors§
impl AnyFrameMeta for MetaSlotStorage
MetaSlotStorage is an inductive tagged union of all of the frame meta types that
we work with in this development. So, it should itself implement AnyFrameMeta, and
it can then be used to stand in for dyn AnyFrameMeta.