I wish all qualifiers were revisited with an eye for simplification

RazvanN razvan.nitu1305 at gmail.com
Mon Aug 3 03:14:15 UTC 2020


On Sunday, 2 August 2020 at 20:50:14 UTC, Andrei Alexandrescu 
wrote:

> * Whatever I do, however I twitch, immutable finds the 
> opportunity to lodge itself in a soft part of my body and cause 
> constant pain. This doesn't work, that doesn't work. No 
> solution for "tail immutable" - mutable references to immutable 
> class instances can't be done without contortions. Can't assign 
> to out immutable class references, though there's no reason for 
> that (see Adam's recent post).
>

Maybe a library implementation of `TailMutable(T) if (is(T == 
immutable) || is(T == const))` for reference types can fix this 
without causing breakage and leaving immutable/const transitivity 
intact.




More information about the Digitalmars-d mailing list