dip1000 and preview in combine to cause extra safety errors

[Walter Bright]

On 6/8/2022 12:59 PM, Mathias LANG wrote:
> I have argued with Walter for a long time that having `scope` enforced only in 
> `@safe` code was a grave mistake, and would be extremely confusing. It would 
> have avoided this situation.

The idea is that @safe should be the default and so @system code would be rare 
and would stick out like a sore thumb.

In @system code, maintaining the invariants of the function parameters is 
entirely up to the programmer.