InteriorAssign trait { a := b }

Thanks for taking the time to post the link.

Changes that would break existing Rust code are non-starters.

As far as I can tell, my := proposal would not cause any breaking changes.

My -> proposal I am unsure about.

For instance, we don’t want to make changes that make code easier to write but harder to read, or changes that make code more error-prone to modify and maintain.

I feel like my proposal makes it both easier to read and write code that deals with internal mutability.

If it's not too much work, I might have a go at implementing this myself so people can try it first.