Trait miri::AllocBytes

pub trait AllocBytes: Clone + Debug + Eq + PartialEq + Hash + Deref<Target = [u8], Target = [u8]> + DerefMut {
    // Required methods
    fn from_bytes<'a>(slice: impl Into<Cow<'a, [u8]>>, _align: Align) -> Self;
    fn zeroed(size: Size, _align: Align) -> Option<Self>;
}

Functionality required for the bytes of an Allocation.

Required Methods

fn from_bytes<'a>(slice: impl Into<Cow<'a, [u8]>>, _align: Align) -> Self

Create an AllocBytes from a slice of u8.

fn zeroed(size: Size, _align: Align) -> Option<Self>

Create a zeroed AllocBytes of the specified size and alignment. Returns None if we ran out of memory on the host.

Object Safety

This trait is not object safe.

Implementors