Module miri::borrow_tracker::stacked_borrows::item

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