miri::borrow_tracker::stacked_borrows

Module item

Help

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 🔒