Module miri::stacked_borrows

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

diagnostics

item 🔒

stack 🔒

Structs

FrameExtra

GlobalStateInner

Extra global state, available to the memory access hooks.

SbTag

Tracking pointer provenance

Stacks

Extra per-allocation state.

Enums

AccessKind

Indicates which kind of access is being performed.

RefKind

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

Traits

EvalContextExt

EvalContextPrivExt 🔒

Functions

err_sb_ub

Error reporting

Type Definitions

AllocExtra

CallId

GlobalState

We need interior mutable access to the global state.