Which language constructs could be done as a library if we accept some breaking changes?

[Ola Fosheim Grøstad]

On Monday, 29 November 2021 at 14:57:04 UTC, Ola Fosheim Grøstad 
wrote:
> Or you could make the current behaviour more general and add 
> support for "dependent typing" of null-pointers.

Maybe overkill?

One step would be to make ```this``` optionally explicit in 
overloading functions such as ```opIndexAssign```.

So you could specify ```opIndexAssign(ref … this, …)``` and 
modify ```this``` if it is a null pointer.

Anyway, seems like such issues could be solved with minor 
adjustments.