DIP 1012--Attributes--Preliminary Review Round 1

[Neia Neutuladh]

The proposal says that builtin attributes are replaced by UDAs 
defined in the runtime. But user-defined attributes don't work 
like @safe, @system, and @trusted:

---
struct Attr {}
@Attr @safe:
class Foo
{
   // this function is @safe but not @Attr
   void doStuff() {}
}
---

In order to make the proposal work as intended, in a 
backwards-compatible way, the attributes in core.attributes need 
to be able to specify whether they descend into nested 
declarations or not.

It would be handy for arbitrary user-defined attributes to be 
able to specify this, too.