Repository navigation
Conversation
rustbot
added
the
S-waiting-on-review
|
I am not sure the reference says what is "part of a reference" but anyway now that we're using that term, we might as well say that this means that deallocating such a reference can only happen when the function has ended or if all parts of the reference are in an unsafecell, whatever that means. |
RalfJung
commented
Oct 21, 2026
| r[undefined.alias] | ||
| * Breaking the pointer aliasing rules. The exact aliasing rules are not determined yet, but here is an outline of the general principles: | ||
|
|
||
| * `&T` must point to memory that is not mutated while they are live (except for data inside an [`UnsafeCell<U>`]). |
Member
Author
There was a problem hiding this comment.
A bit further up we're using this formulation "except for data inside an UnsafeCell". I tried to make it similar but maybe it can be made even more similar.
Member
Author
|
This is not just about deallocation though. |
RalfJung
force-pushed
the
ref-cell-live
branch
from
October 21, 2026 06:32
988be30 to
5816346
Compare
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Reported by @JoJoDeveloping on Zulip.
Cc @rust-lang/opsem