Is section about references still up-to-date

rust-lang / nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

https://doc.rust-lang.org/nomicon/

Apache License 2.0

1.75k stars 258 forks source link

Is section about references still up-to-date #328

Closed Ygg01 closed 2 years ago

Ygg01 commented 2 years ago

When looking at https://doc.rust-lang.org/nomicon/references.html

I noticed that the aliasing model is undefined. I'm confused, wasn't Rust implementing Stacked Borrows as aliasing model?

ehuss commented 2 years ago

Unfortunately no. Stacked Borrows is an (excellent) experiment done by Ralf Jung et al. It is possible that a different formulation may emerge in the future based on a different model. Officially, the exact rules are currently not defined.