Module miri::borrow_tracker::tree_borrows::perms
source · Modules
- 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
- Transition from one permission to the next.
- Public interface to the state machine that controls read-write permissions. This is the “private
enum
” pattern.
Enums
- The activation states of a pointer.