What is nothrow for?

[Yigal Chripun]

Walter Bright wrote:
> Yigal Chripun wrote:
>> Since D is not backed up by a giant like Sun/MS/Google/etc it makes
>> sense to delegate these features to the community, since it's obvious
>> not high on Walter's todo list and annotations make perfect sense for
>> that.
> 
> If attributes had meaning only in a library or for some special tool,
> the compiler cannot extract any useful information from them.

if the compiler provides hooks for the attribute writers than an
attribute would have meaning for the compiler.

for example, it should be possible to write a user defined attribute and
via a hook, tell the compiler to verify transitivity of it at compile time.

BTW, what information does the compiler extract from an attribute?
wouldn't it be enough to use the above approach to tell the compiler
what to do for each attribute?

--Yigal