Custom attributes (again)

[Timon Gehr]

On 04/06/2012 11:57 AM, Manu wrote:
> I don't think it should affect the type, although this shows a
> conceptual problem when referring to existing attributes via the same
> terminology. Obviously one might consider 'const', 'pure', etc
> attributes themselves, and they clearly do affect the type.
> Perhaps that's the key distinction between an '@'
> attribute(/'annotation'?), and a no-'@' attribute?

@safe affects the type.