First Draft: Static Single Assignment

[Walter Bright]

On 11/14/2025 11:13 PM, Walter Bright wrote:
> https://www.digitalmars.com/d/archives/digitalmars/dip/ideas/Single_Assignment_1765.html

My implementation isn't going too well. I keep finding more and more special 
cases, and some that are difficult to resolve. The problems stem from the 
complex ways one can do an assignment.

Ironically, this complexity is dealt with via the type system. But final isn't a 
part of the type system, so things become a morass of special cases.

I thought this would be a simple implementation :-/

It's hard to see if the benefits of final outweigh the complications.

What do you think?

The current state of affairs:

https://github.com/dlang/dmd/pull/22171