miri::borrow_tracker

Module 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§

Type Aliases§