Module miri::borrow_tracker::tree_borrows
source · Re-exports§
pub use tree::Tree;
Modules§
- perms π
- tree πIn this file we handle the βTreeβ part of Tree Borrows, i.e. all tree traversal functions, optimizations to trim branches, and keeping track of the relative position of the access to each node being updated. This of course also includes the definition of the tree structure.
- unimap πThis module implements the
UniMap
, which is a way to get efficient mappings optimized for the setting oftree_borrows/tree.rs
.
Structs§
- NewPermission πPolicy for a new borrow.
Traits§
- Eval
Context πPriv Ext
Functions§
- inner_
ptr_ πof_ unique Takes a place for aUnique
and turns it into a place with the inner raw pointer. I.e. input is what you get from the visitor upon encountering anadt
that isUnique
, and output can be used byretag_ptr_inplace
.