Trait miri::AllocBytes
source · pub trait AllocBytes: Clone + Debug + Eq + PartialEq<Self> + Hash + Deref<Target = [u8], Target = [u8]> + DerefMut {
// Required methods
fn adjust_to_align(self, _align: Align) -> Self;
fn from_bytes<'a>(slice: impl Into<Cow<'a, [u8]>>, _align: Align) -> Self;
fn zeroed(size: Size, _align: Align) -> Option<Self>;
}
Expand description
Functionality required for the bytes of an Allocation
.
Required Methods§
sourcefn adjust_to_align(self, _align: Align) -> Self
fn adjust_to_align(self, _align: Align) -> Self
Adjust the bytes to the specified alignment – by default, this is a no-op.