Module miri::borrow_tracker::stacked_borrows::item
source ยท Structsยง
- An item in the per-location borrow stack.
Enumsยง
- Indicates which permission is granted (by this item to some pointers)
Constantsยง
- PERM_
MASK ๐ - PERM_
SHIFT ๐ - PROTECTE
D_ ๐MASK - PROTECTE
D_ ๐SHIFT - TAG_
MASK ๐