Safety audit and the overlooked emergency exit

[Bruce Carneal]

On Tuesday, 26 May 2020 at 15:01:06 UTC, Bastiaan Veelo wrote:
> [snipped an outline of tooling to mitigate 1028 damage]
>
> I think this would be a tool that adds real practical value and 
> helps to reduce the cost of audits. And not the least, 
> regarding the current discussion, it diminishes the importance 
> of whether extern(C[++]) declarations are actually @system or 
> @safe.
>

Yes.  Tooling is good and will be much appreciated if 1028 
stands.  Reducing the need for tooling is even better.

@safe: the compiler checks
@safe post 1028: the compiler checks, sometimes, just not in the 
scary parts