Skip to main content

Module wildcard

miri::borrow_tracker::tree_borrows

Module wildcard 

Source

Re-exports§

use std::fmt::Debug; 🔒
use std::fmt::Debug; 🔒
use super::Tree; 🔒
use super::tree::AccessRelatedness; 🔒
use super::tree::Node; 🔒
use super::unimap::UniIndex; 🔒
use super::unimap::UniValMap; 🔒
use crate::BorTag; 🔒
use crate::borrow_tracker::AccessKind; 🔒

Structs§

ExposedCache
Caches information about where in the tree exposed nodes with permission to do reads/writes are located. ExposedCache stores this information for a single location (or rather, a range of homogeneous locations) for all nodes in an allocation.
ExposedCacheNode 🔒
State per location per node keeping track of where relative to this node exposed nodes are and what access permissions they have.

Enums§

WildcardAccessLevel
Represents the maximum access level that is possible.
WildcardAccessRelatedness
Where the access happened relative to the current node.