I wish all qualifiers were revisited with an eye for simplification

[Timon Gehr]

On 24.08.20 18:27, Steven Schveighoffer wrote:
> 
>> Can anyone tell me what inout does that templated this doesn't?
> 
> 1. It does not create a separate identical implementation for all 
> flavors of mutability

- It works with virtual functions/function pointers/delegates.
- The implementation is type checked before instantiation.

> 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.)