Skip to content

Commit a9f7621

Browse files
authored
Merge pull request #289 from Storyyeller/patch-1
Fix typo
2 parents e8c504d + b906ead commit a9f7621

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

wip/stacked-borrows.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,7 @@ pub enum RetagKind {
116116

117117
`Retag` is inserted into the MIR for the following situations:
118118

119-
* A retag happens after every assignment MIR statement where the assigned type may by of reference or box type.
119+
* A retag happens after every assignment MIR statement where the assigned type may be of reference or box type.
120120
This is usually a `Default` retag. However, if the RHS of this assignment is a `Ref` which allows two-phase borrows, then this is a `TwoPhase` retag.
121121

122122
Currently, if the LHS of the assignment involves a `Deref`, no `Retag` is inserted.
@@ -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)