D defined behavior

[Johan]

On Monday, 27 April 2020 at 15:14:06 UTC, Luís Marques wrote:
> On Monday, 27 April 2020 at 14:57:09 UTC, Johan wrote:
>> Yes, D has UB.
>
> Could you expand on that, please? Do you mean in the 
> implementation or per the spec? Outside @safe or also in @safe 
> code? Etc.

What comes to mind are null dereference and shifting by more than 
the bit width.
(@safe plays no role for these)

-Johan