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