pub struct Dealloc { /* private fields */ }
Expand description
Permission to perform a deallocation with the global allocator.
Implementations§
Source§impl Dealloc
impl Dealloc
Sourcepub uninterp fn view(self) -> DeallocData
pub uninterp fn view(self) -> DeallocData
Sourcepub open spec fn addr(self) -> usize
pub open spec fn addr(self) -> usize
{ self.view().addr }
Start address of the allocation you are allowed to deallocate.
Sourcepub open spec fn size(self) -> nat
pub open spec fn size(self) -> nat
{ self.view().size }
Size of the allocation you are allowed to deallocate.
Sourcepub open spec fn align(self) -> nat
pub open spec fn align(self) -> nat
{ self.view().align }
Alignment of the allocation you are allowed to deallocate.
Sourcepub open spec fn provenance(self) -> Provenance
pub open spec fn provenance(self) -> Provenance
{ self.view().provenance }
Provenance of the allocation you are allowed to deallocate.
Auto Trait Implementations§
impl Freeze for Dealloc
impl RefUnwindSafe for Dealloc
impl Send for Dealloc
impl Sync for Dealloc
impl Unpin for Dealloc
impl UnwindSafe for Dealloc
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more