Module miri::borrow_tracker::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
Structs
- Extra per-allocation state.
Enums
- Determines whether an item was invalidated by a conflicting access, or by deallocation.
- Indicates which permissions to grant to the retagged pointer.