D does have head const (but maybe it shouldn't)

[Imperatorn]

On Wednesday, 30 December 2020 at 22:49:09 UTC, Timon Gehr wrote:
> On 29.12.20 17:15, ag0aep6g wrote:
>> [...]
>
> It's a bug. Here's a number of such "solutions" with links to 
> the corresponding bug reports, the last one is the same as your 
> suggested solution. They are all type system holes on the same 
> level: they break aliasing invariants that the type system is 
> supposed to preserve in `pure @safe` code.
>
> [...]

Is anyone working on those issues?