UFrame

ostd::mm::frame::untyped

Type Alias UFrame 

Source 
pub type UFrame = Frame<MetaSlotStorage>;
Expand description

A smart pointer to an untyped frame with any metadata.

The metadata of the frame is not known at compile time but the frame must be an untyped one. An UFrame as a parameter accepts any type of untyped frame metadata.

The usage of this frame will not be changed while this object is alive. Verus doesn’t let us do very much with dyn traits, so instead of a dyn AnyFrameMeta we use MetaSlotStorage, a type that is a tagged union of the metadata types we’ve worked with so far.

Aliased Type§

#[repr(transparent)]
pub struct UFrame {
    pub ptr: PPtr<MetaSlot>,
    pub _marker: PhantomData<MetaSlotStorage>,
}

Fields§

§ptr: PPtr<MetaSlot>§_marker: PhantomData<MetaSlotStorage>