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.

Re-exports

pub use item::Item;
pub use item::Permission;
pub use stack::Stack;

Modules

item 🔒
stack 🔒

Structs

Extra global state, available to the memory access hooks.
Tracking pointer provenance
Extra per-allocation state.

Enums

Indicates which kind of access is being performed.
Indicates which kind of reference is being created. Used by high-level reborrow to compute which permissions to grant to the new pointer.

Traits

Functions

Error reporting

Type Definitions

We need interior mutable access to the global state.