On Thursday, 27 July 2017 at 14:58:22 UTC, Atila Neves wrote:
"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
Huh. I guess it's because there are three values in that group, unlike the rest of them, and the compiler handles them differently.
