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ยง