First Draft: Static Single Assignment

Walter Bright newshound2 at digitalmars.com
Mon Nov 17 01:09:48 UTC 2025


On 11/16/2025 4:18 PM, monkyyy wrote:
> On Sunday, 16 November 2025 at 22:08:02 UTC, Nick Treleaven wrote:
>>
>> So I assume `typeof(&f)` would be `const int*`?
> 
> if its not `final int*` it would be repeating the ref type theory failures and 
> its supposedly in the same group as const

Fortunately, `final` is a storage class and not a type, so type theory does not 
apply.


More information about the dip.development mailing list