Module miri::stacked_borrows
source · [−]Expand description
Implements “Stacked Borrows”. See https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information.
Modules
Structs
Extra global state, available to the memory access hooks.
An item in the per-location borrow stack.
Tracking pointer provenance
Extra per-allocation state.
Enums
Indicates which kind of access is being performed.
Indicates which permission is granted (by this item to some pointers)
Indicates which kind of reference is being created.
Used by high-level reborrow to compute which permissions to grant to the
new pointer.
The “extra” information an SB pointer has over a regular AllocId.
Newtype for Option<SbTag>.
Traits
Functions
Error reporting