First Draft: Static Single Assignment

[Nick Treleaven]

On Tuesday, 18 November 2025 at 18:05:47 UTC, jmh530 wrote:
> Similarly, assuming this DIP is approved as-is, a newcomer to 
> the language might be a little confused by the snippet below.
>
> ```
> class C {
>     final int f() {}
> }
> ```
>
> Is the function returning a `final int` or is it a `final` 
> method?

That's the same issue as `const int f() {}`, although at least 
final isn't proposed as a type constructor.