Module miri::borrow_tracker::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

• Stacks
  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

• EvalContextExt
• EvalContextPrivExt 🔒

Type Aliases

• AllocState