Proposal: user defined attributes

[Andrei Alexandrescu]

On 3/21/12 11:17 AM, Timon Gehr wrote:
> On 03/20/2012 10:36 PM, deadalnix wrote:
>> Even the propagation of pure, @safe, nothrow and const that has been
>> discussed recently can be done with that feature.
>>
>
> I'm sceptical. How would that work exactly?

I, too, am highly skeptical. For one thing these attributes must be made 
part of the type and have deep connections with code semantics.

Andrei