You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: wip/stacked-borrows.md
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -319,7 +319,7 @@ impl Stack {
319
319
320
320
We define the notion of "reborrowing", which will be used below to define the semantics of `Retag`.
321
321
Reborrowing takes a (typed) place, whether to push a barrier, and the new borrow that this place is to be reborrowed for.
322
-
we determine the extent of memory that this place covers using `size_of_val` and then we perform the following actions on every location covered by the place:
322
+
We determine the extent of memory that this place covers using `size_of_val` and then we perform the following actions on every location covered by the place:
323
323
324
324
1. Perform the checks that would also happen on a dereference.
325
325
Remember the position of the item matching the tag in the stack.
0 commit comments