@system blocks and safer @trusted (ST) functions

[Paul Backus]

On Sunday, 25 July 2021 at 14:34:27 UTC, Bruce Carneal wrote:
>
> I'd like to have assistance from the compiler to the maximum 
> extent possible and then conduct the code review(s).  Assuming 
> low (near zero) false positives out of the compiler, I'm not 
> sure why one would prefer manual checking when compiler 
> checking was available, but that option is certainly available 
> in both the current and proposed environments.

Under your proposal, the proportion of code that must be 
manually-checked vs. compiler-checked does not change at all.