If you could make any changes to D, what would they look like?

[Ola Fosheim Grøstad]

On Monday, 25 October 2021 at 18:59:51 UTC, Paul Backus wrote:
> The compiler requires you to use *some* kind of synchronization 
> to modify `x`. The error message (perhaps misguidedly) 
> *suggests* using atomic operations, but they are not actually 
> required--you could also use a mutex.

100% misguided, and the type system should not allow it. It 
cannot be assumed to be safe.

> If you're using a mutex, you do have to cast away `shared` once 
> you have locked it, since in general the compiler has no way of 
> knowing which mutex is associated with which variable.

And this is where almost all utility of shared is lost. Now you 
can no longer assume that something that isn't marked as shared 
is thread local...

What is left is syntactical clutter.