Skip to content

Commit 809a3f4

Browse files
authored
Merge pull request #362 from rust-lang/fix-username-in-codegen-retags
Codegen Retags: fix GH username
2 parents 3dd0e71 + 1c367e6 commit 809a3f4

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/2025h2/codegen_retags.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ However, beyond BorrowSanitizer, we believe that the these changes will be neces
4040

4141
### Avoid targeting any particular aliasing model
4242

43-
Rust's aliasing model is still evolving, and both Stacked and Tree Borrows require different types of retags in different places (e.g. Stacked Borrows retags raw pointers after they are cast from references, but Tree Borrows does not). Ralf Jung (@ralfj) [has indicated](https://www.reddit.com/r/rust/comments/1lv9y96/comment/n253qdu/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=share_button
43+
Rust's aliasing model is still evolving, and both Stacked and Tree Borrows require different types of retags in different places (e.g. Stacked Borrows retags raw pointers after they are cast from references, but Tree Borrows does not). @RalfJung [has indicated](https://www.reddit.com/r/rust/comments/1lv9y96/comment/n253qdu/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=share_button
4444
) that there will still be significant changes coming—potentially as a part of a third aliasing model. In anticipation of these changes, we need make these backend retags configurable to support all of the features of Stacked and Tree Borrows. To make this easy to maintain, we should allow third-party compiler plugins to override the behavior of a retag at this level, so that tools can adapt quickly to changes in Rust's aliasing model while it remains unstable.
4545

4646
### Make changes as minimal as possible
@@ -70,4 +70,4 @@ We should avoid making changes that substantially impact any component of the co
7070

7171
## Frequently asked questions
7272

73-
None yet.
73+
None yet.

0 commit comments

Comments
 (0)