DIP 1012--Attributes--Preliminary Review Round 1

[Atila Neves via Digitalmars-d]

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