Yigal Chripun wrote: > BTW, what information does the compiler extract from an attribute? With nothrow, for example, it can verify that the code inside the function cannot propagate an exception outside of it. I have no idea how you could do that with a user defined attribute.