Module miri::borrow_tracker::stacked_borrows

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 per-allocation state.

Enums

ItemInvalidationCause 🔒

Determines whether an item was invalidated by a conflicting access, or by deallocation.

NewPermission 🔒

Indicates which permissions to grant to the retagged pointer.

Traits

EvalContextPrivExt 🔒

Functions

Error reporting

Type Definitions