Module miri::borrow_tracker::tree_borrows::perms

Modules

• diagnostics
• transition 🔒
  This module controls how each permission individually reacts to an access. Although these functions take protected as an argument, this is NOT because we check protector violations here, but because some permissions behave differently when protected.

Structs

• PermTransition
  Transition from one permission to the next.
• Permission
  Public interface to the state machine that controls read-write permissions. This is the “private enum” pattern.

Enums

• PermissionPriv 🔒
  The activation states of a pointer.