Safer D first draft

[Nick Treleaven]

On Tuesday, 24 September 2024 at 19:23:57 UTC, Quirin Schroll 
wrote:
> Maybe `Expression.ptr` can be `@safe` if the compiler can 
> statically prove that `Expression` has non-zero length or is a 
> string literal (which is always zero-terminated).

I implemented that but we need a good rationale to allow that.
https://github.com/dlang/dmd/pull/15581#issuecomment-1709928886