We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents ef148e0 + 9a91c4f commit 54cd1d5Copy full SHA for 54cd1d5
src/tools/miri/src/borrow_tracker/tree_borrows/wildcard.rs
@@ -50,8 +50,8 @@ impl WildcardAccessRelatedness {
50
}
51
52
53
-/// Caches information about where in the tree exposed nodes with permission to do reads/ rites are
54
-/// located. [`ExposedCache`] stores this information a single location (or rather, a range of
+/// 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
55
/// homogeneous locations) for all nodes in an allocation.
56
///
57
/// Nodes not in this map have a default [`ExposedCacheNode`], i.e. they have no exposed children.
0 commit comments