pub trait Allocation<B: Bridge> {
// Required method
fn new<'tcx>(
bytes: Vec<Option<u8>>,
ptrs: Vec<(usize, AllocId)>,
align: u64,
mutability: Mutability,
tables: &mut Tables<'tcx, B>,
cx: &SmirCtxt<'tcx, B>,
) -> Self;
}
Required Methods§
fn new<'tcx>( bytes: Vec<Option<u8>>, ptrs: Vec<(usize, AllocId)>, align: u64, mutability: Mutability, tables: &mut Tables<'tcx, B>, cx: &SmirCtxt<'tcx, B>, ) -> Self
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.