First Draft: Static Single Assignment

[Peter C]

On Friday, 5 December 2025 at 06:48:47 UTC, Jonathan M Davis 
wrote:
>
> .. It just seems like yet another complication being added to 
> the language while not really doing much. And D is already a 
> very complex language.
>
> - Jonathan M Davis

In the end, 'final as a storage class, is just too weak, as you 
point out.

Implemented instead, as 'fixed' in the type system itself, is 
surely the more elegant solution. But it is probably not 
justified for D's current user base, unless the majority of D 
users hit rebinding bugs often enough to demand systemic 
guarantees.

Any if rebinding bugs aren't common enough to justify a 
type‑level solution, they certainly aren't common enough to 
justify a weaker storage‑class band‑aid.

So I expect 'final as a storage class', or 'fixed as a type-level 
feature', are both likely to not gain much further traction.

So I'll turn my attention to something else now ;-)