The problem with 'const'/'immutable' -- what is the _plan_ for fixing this (if we had infinite time to implement it)?

[Jakob Ovrum]

On Thursday, 29 December 2011 at 15:04:18 UTC, Mehrdad wrote:
> Given that D does *not* plan to support head-const or 
> tail-const, and given that a detailed plan is the most 
> important thing (otherwise there isn't a goal to look forward 
> to), I guess the question is:
>
> _What is the current plan (in *detail*) for fixing these 
> problems?_

Tail-const works for everything but classes, and for them, this 
proposal:

https://github.com/D-Programming-Language/dmd/pull/3

Seems to have been settled on. Walter's reply at least hints at 
this being planned for inclusion.

The proposed solution is better than Rebindable because 
std.concurrency can understand it correctly (Rebindable breaks 
the type system to do what it does), which seems to be important 
for Variant to be usable with std.concurrency.