Borrow checker is unsound in the presence of mutable fields #5397
Labels
A-lifetimes
Area: Lifetimes / regions
A-type-system
Area: Type system
E-hard
Call for participation: Hard difficulty. Experience needed to fix: A lot.
Comments
|
Since mutable fields have been removed, this is a moot point. |
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
May 2, 2020
Avoid single_match lint in macro rules changelog: none fixes rust-lang#5359
# for free
to join this conversation on GitHub.
Already have an account?
# to comment
The current rules are not really sound. It will permit e.g. an
&mutpointer to be created for amutfield found in an&T, which is aliasable. This is bad because the&mutpointer may not be the only pointer to that data.The rewritten version I am trying to land as part of #5074 includes a fix but it's commented out because it causes compile errors in io.rs. Fixing those errors requires cleaning up object types and converting things to
&mut selfand I didn't want to block #5074 on those changes. (Hence this follow-on bug)The text was updated successfully, but these errors were encountered: