DIP 1028 "Make @safe the Default" is dead

[Andrei Alexandrescu]

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;`.

We already have that in Yoda notation:

module foo; @safe: