Module alloc_bytes 

Re-exports

use std::alloc::Layout; 🔒

use std::borrow::Cow; 🔒

use std::cell::RefCell; 🔒

use std::rc::Rc; 🔒

use std::alloc; 🔒

use std::slice; 🔒

use rustc_abi::Align; 🔒

use rustc_abi::Size; 🔒

use rustc_middle::mir::interpret::AllocBytes; 🔒

use crate::alloc::isolated_alloc::IsolatedAlloc; 🔒

use crate::helpers::ToU64 as _; 🔒

Structs

MiriAllocBytes

Allocation bytes that explicitly handle the layout of the data they’re storing. This is necessary to interface with native code that accesses the program store in Miri.

Enums

MiriAllocParams