Module wildcard

miri::borrow_tracker::tree_borrows

Module wildcard 

Source

Structs§

WildcardState
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.