I wish all qualifiers were revisited with an eye for simplification

[Steven Schveighoffer]

On 8/24/20 1:09 PM, Timon Gehr wrote:
> On 24.08.20 18:27, Steven Schveighoffer wrote:

>> 2. It is not mutable even when the this reference is.
> 
> (That's a hard property to keep in a sound version without artificial 
> limitations.)

I'm not sure what you mean -- inout is like const in that you cannot 
mutate data via that reference.

with template this parameters, you can statically check if it's mutable, 
and mutate.

It is only important if your goal is to identify that a function will 
not modify data passed to it. In essence, if you care about const functions.

-Steve