DIP 1028 "Make @safe the Default" is dead

[Steven Schveighoffer]

On 5/30/20 7:39 AM, Nick Treleaven wrote:
> On Friday, 29 May 2020 at 21:18:13 UTC, Walter Bright wrote:
>> On 5/29/2020 2:07 AM, Timon Gehr wrote:
>>> It would be great if `@safe:` did not affect declarations that would 
>>> otherwise infer annotations.
>>
>> The idea is the simple, general rule that:
>>
>>   attribute declaration;
>>   attribute { declaration; }
>>   attribute: declaration;
>>
>> behave the same way.
> 
> To preserve this, then please can we have `@safe module foo;`. This 
> would change the default on a module basis to @safe, but still infer 
> e.g. function template bodies as @system where necessary. This feature 
> would allow modules from different projects, including ones written 
> before this feature would be added can coexist happily. There would be 
> no breakage, unlike DIP 1028 (which I BTW would support at a lower 
> preference than the above feature, apart from unmarked extern(C) 
> declarations being @safe).

+1 this would be perfect.

Not sure if this would work either, but both of these are already 
reserved words:

default @safe:

-Steve