memory safety checks and trust

[Max Samukha]

On Wednesday, 15 April 2020 at 06:12:22 UTC, Walter Bright wrote:

> Ironically, I argue for consistency with "safe by default" and 
> you argue for special cases, and here the reverse.
>
> But be careful, you may talk me into disallowing these cases, 
> too :-/

A good reference point would be C. If it is allowed in C, it 
should be allowed in @system D. If I put @system on a D function, 
i tell the compiler not to bug me with incorrect assumptions 
about my code's safety.