Restore the relevant part of a deleted comment.

This commit is contained in:
Kris Nuttycombe 2023-05-22 10:29:40 -06:00
parent e2fa0a44c7
commit 5691b70947
1 changed files with 2 additions and 0 deletions

View File

@ -2028,6 +2028,8 @@ where
return Ok(false);
}
// Update the rightmost subtree to add the `CHECKPOINT` flag to the right-most leaf (which
// need not be a level-0 leaf; it's fine to rewind to a pruned state).
if let Some(subtree) = self.store.last_shard()? {
if let Some((replacement, checkpoint_position)) = go(subtree.root_addr, &subtree.root) {
if self