Custom attributes (again)

[Walter Bright]

On 4/5/2012 11:32 AM, Timon Gehr wrote:
> Ideally it would be powerful enough to allow changing the type, but most
> applications probably want the type to stay the same.

Having it perturb the type implies a huge swamp of how that affects the 
semantics. You've got overloading, name mangling, type inference, implicit 
conversions, covariance, etc.

All I can say is I see no way that can work with user defined semantics.