@system blocks and safer @trusted (ST) functions

[Paul Backus]

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.