D defined behavior

[Johan]

On Monday, 27 April 2020 at 14:07:49 UTC, Luís Marques wrote:
> I've lost track. Does D have undefined behavior at all? (e.g. 
> outside @safe code).
>
> In any case, I imagine that the D spec (ha!) would dictate that 
> the following code should print 0x10001, although that's not 
> quite clear.

I would greatly appreciate it if the outcome of this discussion 
leads to addition of this case to the compiler testsuite.

-Johan