DIP 1028 "Make @safe the Default" is dead

[Steven Schveighoffer]

On 5/30/20 4:02 PM, Andrei Alexandrescu wrote:
> 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:

Again, not the same. Read the full thread that you quoted above.

-Steve