Module miri::borrow_tracker::tree_borrows::perms

source ·


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


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