On 04/08/2013 06:30 AM, Manu wrote:
I wonder if UDA's could be leveraged to implement this in a library? UDA's can not permute the type, so I guess it's impossible to implement something like @noalloc that behaves like @nothrow in a library... I wonder what it would take, it would be generally interesting to move some of the built-in attributes to UDA's if the system is rich enough to express it.
It's one of the most interesting use-cases for attributes so I hope to see this at some point.
http://d.puremagic.com/issues/show_bug.cgi?id=9511
