Skip to content

Commit b906ead

Browse files
authored
Update stacked-borrows.md
1 parent 2f9dd5d commit b906ead

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

wip/stacked-borrows.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -323,7 +323,7 @@ location.stack.grant(
323323

324324
### Retagging
325325

326-
When executing `Retag(kind, place)`, we check if `place` holds a reference (`&[mut] _`) or box (`Box<_>`), and if `kind == Raw` we also check each raws pointer (`*[const,mut] _`).
326+
When executing `Retag(kind, place)`, we check if `place` holds a reference (`&[mut] _`) or box (`Box<_>`), and if `kind == Raw` we also check each raw pointer (`*[const,mut] _`).
327327
For those we perform the following steps:
328328

329329
1. We compute a fresh tag: `Untagged` for raw pointers, `Tag(Tracking::new_ptr_id())` for everything else.

0 commit comments

Comments
 (0)