On Thursday, 27 July 2017 at 14:44:23 UTC, Mike Parker wrote:
DIP 1012 is titled "Attributes".
https://github.com/dlang/DIPs/blob/master/DIPs/DIP1012.md
All review-related feedback on and discussion of the DIP should
occur in this thread. The review period will end at 11:59 PM ET
on August 10 (3:59 AM GMT August 11), or when I make a post
declaring it complete.
At the end of Round 1, if further review is deemed necessary,
the DIP will be scheduled for another round. Otherwise, it will
be queued for the formal review and evaluation by the language
authors.
Thanks in advance to all who participate.
Destroy!
"at the top of a file means that one can never "undo" those
attributes"
That's not true for `@safe`. This is perfectly legal:
@safe:
void foo() { ... } // foo is @safe
void bar() @system { } // bar is @system
_Why_ it works like that I have no idea.
Atila