@safe, pure and nothrow at the beginning of a module

[Philippe Sigaud via Digitalmars-d-learn]

Artur:
> @safe, @trusted, @system, shared, immutable, const, inout and `extern (...)`
> affect child scopes. `synchronized` does too, but in a rather unintuitive
> way; hopefully nobody uses this. ;)

Well, I also hope no one uses inout: at the module level?

> Other attributes, including 'pure' and 'nothrow' only affect symbols
> in the current scope.

There we are. Good to know, thanks.