miri
1.84.0-beta.4
(202008a1b 2024-12-07)
Module item
Module Items
Structs
Enums
Constants
In miri::
borrow_
tracker::
stacked_
borrows
miri
::
borrow_tracker
::
stacked_borrows
Module
item
Copy item path
Source
Structs
ยง
Item
An item in the per-location borrow stack.
Enums
ยง
Permission
Indicates which permission is granted (by this item to some pointers)
Constants
ยง
PERM_
MASK
๐
PERM_
SHIFT
๐
PROTECTED_
MASK
๐
PROTECTED_
SHIFT
๐
TAG_
MASK
๐