Skip to content

Commit

Permalink
silence clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
JoJoDeveloping committed Nov 29, 2024
1 parent 2bcca3d commit 5e5f00c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/borrow_tracker/tree_borrows/foreign_access_skipping.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@ use super::tree::AccessRelatedness;
/// - `None` means that the node (and its subtrees) are not (guaranteed to be) idempotent under any foreign access.
/// - `Read` means that the node (and its subtrees) are idempotent under foreign reads, but not (yet / necessarily) under foreign writes.
/// - `Write` means that the node (and its subtrees) are idempotent under foreign writes. This also implies that it is idempotent under foreign
/// reads, since reads are stronger than writes (see test `foreign_read_is_noop_after_foreign_write`). In other words, this node can be skipped
/// for all foreign accesses.
/// reads, since reads are stronger than writes (see test `foreign_read_is_noop_after_foreign_write`). In other words, this node can be skipped
/// for all foreign accesses.
///
/// Since a traversal does not just visit a node, but instead the entire subtree, the SIFA field for a given node indicates that the access to
/// *the entire subtree* rooted at that node can be skipped. In order for this to work, we maintain the global invariant that at
Expand Down

0 comments on commit 5e5f00c

Please sign in to comment.