Re: DIP 1028 "Make @safe the Default" is dead

[Andrei Alexandrescu via Digitalmars-d-announce]

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: