safety: null checks

[Ola Fosheim Grostad]

On Sunday, 22 November 2020 at 23:28:26 UTC, Paul Backus wrote:
> Then that's a bug in the compiler. A @safe D program is allowed 
> to dereference null, so a spec-conformant D compiler *must* 
> ensure that dereferencing null has defined behavior.

Where does it say that? This won't work on embedded platforms.

Not being allowed to reject buggy code would be bad...