memory safety checks and trust

[Timon Gehr]

On 15.04.20 17:11, Steven Schveighoffer wrote:
> 
> I'll note that I proposed an alteration that has received zero responses 
> that I think would solve all those concerns:
> 
> https://forum.dlang.org/post/r6kvm4$1vq5$1@digitalmars.com

I had answered to that with the example of @safe functions with 
inconsistent return values. I think you'd need to do some more mangling 
to make this acceptable.