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