@system blocks and safer @trusted (ST) functions

[claptrap]

On Sunday, 25 July 2021 at 23:50:12 UTC, Paul Backus wrote:
> On Sunday, 25 July 2021 at 23:34:35 UTC, claptrap wrote:
>> 
>> Your argument the same as saying that bar() is memory safe as 
>> written. True, but it's not bug free. The bug is just waiting 
>> for the right set of circumstances to come to life and eat 
>> your face :)
>>
>> IE. Memory safe as written != bug free
>
> Yes; I agree completely. :)
>
> The point of the example is to show that the proposal advanced 
> in this thread does not prevent this type of bug from occurring.

You could probably come up with an example bug that wouldn't be 
caught by any system you can think of as long as you have an 
@system escape hatch. It doesnt really prove anything imo.