Custom attributes (again)

[Steven Schveighoffer]

On Tue, 10 Apr 2012 06:32:00 -0400, Timon Gehr <timon.gehr at gmx.ch> wrote:

> On 04/10/2012 12:18 AM, Walter Bright wrote:

>> But you said it was added to the *type*.
>
> What I said was that it is added to the declaration. If the declaration  
> happens to declare a type, then that must affect the type:
>
> @attr(foo) struct Foo{} // annotate 'foo'
>
> @attr(bar) Foo x;
>
> __traits(getAttributes, typeof(x)); // this will find 'foo', but no 'bar'
>
> __traits(getAttributes, x); // this will find 'bar', but not 'foo'

I should clarify that it's *associated* with the type.  It should not  
affect the type in how it functions, at all.  For all usages of Foo except  
to get attributes associated with its declaration, it should be treated as  
if it doesn't have an attribute on it.

So it doesn't affect how the type operates or how it's matched, etc.  
except in the capacity that you query its attributes.

-Steve