Our great sponsors
-
Miri's data race detector and possibly Loom will help there.
-
I think you may want to create an issue or searh for related issues on rust-lang/rust
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
I found it, should be rust-lang/polonius
-
That blog post is just a changelog and is made to make it look simple because the goal is to let people understand what they can do that they couldn't before. It never goes into the details of how that's possible. Moreover that change is still much simplier than what you're proposing. It pretty much boils down to "if a reference is not used anymore then I can borrow again what it used to point to". In comparison your proposal is much much more vague and doesn't provide any explanation on why it's safe. Another important difference is that with NLL the scope is still limited to single functions. Your proposal instead involves the whole program, which is much much much more complex to analyze.
