miri::borrow_tracker::stacked_borrows

Module item

source

Structsยง

  • An item in the per-location borrow stack.

Enumsยง

  • Indicates which permission is granted (by this item to some pointers)

Constantsยง