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
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.
Traits
Functions
Error reporting