Should compilers take advantage (abuse) of the new UDA syntax that has been accepted?

[Peter Alexander]

On Tuesday, 18 December 2012 at 16:58:32 UTC, Iain Buclaw wrote:
> Provide a situation where @noreturn attribute would mean 
> anything other
> than telling the compiler to assume that the function cannot 
> return, and I
> might please you on *that* particular attribute.

On *that* particular attribute, I will accept that there isn't 
much you could do differently from a theoretical standardised 
version. The problem is, as soon as you add one compiler specific 
attribute, it will be used as a precedence for adding others.

pragma exists for the purpose of compiler-specific extensions. 
Can we just keep using that, and if an attribute comes up that 
could be truly useful for all compiler then it can be added to 
the spec.