Stable, Mutable References
This post is an exploration on some additional possible semantics for mutability (and immutability). Introduction In my first blog post I introduced &shared mut references as a way to achieve safe, shared mutability in a language with unboxed types. For those unfamiliar with them, I encourage you to start with the first blog post. As a brief summary though, I started with Rust’s system with owned mutable references which I referred to as &own mut, and added on &shared mut from there.
