@system blocks and safer @trusted (ST) functions

[Paul Backus]

On Sunday, 25 July 2021 at 22:05:26 UTC, claptrap wrote:
>
> Im sorry but it's nonsense.
>
> You get an OOB error, it points you at the system block, you 
> add bounds checking, job done.
>
> Changing favouriteNumber doesnt introduce a bug, the bug was 
> *already* there in the system block.
>
> You cant expect favouriteNumber to be responsible for other 
> code doing stupid things with its result.

If the bug is "already there", you should be able to write a 
program that uses the unmodified versions of `favoriteNumber` and 
`favoriteElement` to cause undefined behavior in `@safe` code.

If you cannot, then you must admit that `favoriteElement` is 
memory safe as-written.