First Draft: Static Single Assignment

Paul Backus snarwin at gmail.com
Thu Dec 4 13:34:15 UTC 2025


On Thursday, 4 December 2025 at 08:58:03 UTC, Walter Bright wrote:
> I've come to realize the following:
>
> ```d
> void test() {
>     final int x = 3;
>     pragma(msg, typeof(&x));
> }
> ```
> prints: const(int)*
>
> which is a more practical way to make this all work. I've made 
> the changes to the PR.

So now we've created a situation where `typeof(x)*` and 
`typeof(&x)` are different. Surely nobody will find that 
confusing. :)


More information about the dip.development mailing list