Store mutable indirections in immutable data with this one weird trick!

[Imperatorn]

On Saturday, 13 November 2021 at 09:37:41 UTC, Timon Gehr wrote:
> On 11/13/21 10:06 AM, tsbockman wrote:
>>  [...]
>
> Yes, the documentation around qualifiers is pretty incomplete 
> in general, which is one of the problems plaguing this 
> discussion. The specification does clearly state that Paul's 
> trick is not allowed though.
>
> NB: This is the relevant bit of DMD source code:
> https://github.com/dlang/dmd/blob/master/src/dmd/dcast.d#L856-L872

Who can improve the documentation?