On Saturday, 27 May 2017 at 10:11:38 UTC, Stanislav Blinov wrote:
3. Nobody actually cares.
That's me. I think the @attribute mess is completely broken and mostly just ignore it.
That said, I do agree with you: it SHOULD work like you describe if we want the @attributes to be meaningful.