Module miri::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_SHIFT 🔒

PROTECTED_MASK 🔒

PROTECTED_SHIFT 🔒