First Draft: Static Single Assignment

[Dukc]

On Monday, 24 November 2025 at 20:33:24 UTC, Walter Bright wrote:
> On 11/24/2025 10:58 AM, Dukc wrote:
>> What issues does it cause that this DIP avoids? Even this DIP 
>> will let you do
>> 
>> ```D
>> struct HeadConst(T)
>> {   final T field;
>>      alias field this;
>> }
>> ```
>
> It won't allow a pointer to the field.

I don't understand. The compiler would not allow a pointer to 
head const qualified variable either (except if the pointer is 
also typed as pointing to const), were it built-in to the type 
system.

What's the difference?