@safe D requires which DIP switches?

[Nick Treleaven]

On Saturday, 8 January 2022 at 13:33:26 UTC, Elronnd wrote:
>
> Exceptions can be modeled as return values. This is a strictly 
> local rewrite.  So it is no more a violation of purity than is 
> writing to memory pointed to by passed-in pointers (and 
> arguably less).

They can 'return' to a higher scope than the caller of the 
function. Any stack memory from the caller's frame will be 
corrupted. @safe cannot allow this.