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.
