Idea: Properties

[josh]

@RustyYato

What you can do is say, you can get shared access to the field outside this , and inside this you can get exclusive access to the field.

That seems like the proposal on the table.

@RustyYato

I am extremely against using any terminology that even hints at mutability because it makes it so much harder to learn Rust if you think in terms of mutability. The compiler thinks in terms of sharing and exclusivity, and to effectively use Rust, you need to as well.

(This is off-topic.) While I understand the idea of thinking about &mut as "exclusive reference" rather than "mutable reference", that seems like making the programmer think like the compiler. The net effect is that you can only mutate if you have an exclusive reference, and if you have a shared reference you cannot mutate. And non-reference use of mut, such as let mut x = ..., has nothing to do with shared versus exclusive.