AttributeSpecifier (grammar) definition is wrong

[dlangBugzillaToGithub]

Răzvan Ștefănescu reported this on 2021-12-03T16:25:27Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=22564

Description

According to the official grammar this is the definition for an attribute specifier:

AttributeSpecifier
    Attribute :
    Attribute DeclarationBlock

In fact, when you write

pure @safe nothrow @nogc:

or 

pure @safe nothrow @nogc { }


there are multiple attributes that will be applied to the subsequent declarations.

Consequentely, in my opinion, the grammar is wrong and should be:

AttributeSpecifier
    Attributes :
    Attributes DeclarationBlock

Attributes
    Attribute
    Attribute Attributes