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§