Trait Allocation

Source
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§

Source

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.

Implementors§