Statements and block expressions take attributes too

Author: Havvy

src/attributes.md

@@ -21,11 +21,12 @@
 >    | _MetaItem_  
 >    | _MetaItem_ `,` _MetaSeq_
 
-Any [item declaration] or [generic lifetime or type parameter][generics] may
-have an attribute applied to it. Attributes are modeled on Attributes in
-[ECMA-335], with the syntax coming from [ECMA-334]\ (C#). An _attribute_ is a
-general, free-form metadatum that is interpreted according to name, convention,
-and language and compiler version. Attributes may appear as any of:
+Any [item declaration], [statement], [block expression] or
+[generic lifetime or type parameter][generics] may have an attribute applied to
+it. Attributes are modeled on Attributes in [ECMA-335], with the syntax coming
+from [ECMA-334]\ (C#). An _attribute_ is a general, free-form metadatum that is
+interpreted according to name, convention, and language and compiler version.
+Attributes may appear as any of:
 
 * A single identifier, the attribute name
 * An identifier followed by the equals sign '=' and a literal, providing a
@@ -35,9 +36,9 @@ and language and compiler version. Attributes may appear as any of:
 * An identifier followed by a parenthesized list of sub-attribute arguments
 
 _Inner attributes_, written with a bang ("!") after the hash ("#"), apply to the
-item that the attribute is declared within. _Outer attributes_, written without
-the bang after the hash, apply to the item or generic parameter that follow the
-attribute.
+item or block expression that the attribute is declared within. _Outer
+attributes_, written without the bang after the hash, apply to the thing that
+follows the attribute.
 
 An example of attributes:
 
@@ -542,4 +543,6 @@ You can implement `derive` for your own type through [procedural macros].
 [ECMA 334]: https://www.ecma-international.org/publications/standards/Ecma-334.htm
 [ECMA 335]: https://www.ecma-international.org/publications/standards/Ecma-335.htm
 [item declaration]: items.html
-[generics]: generics.html
+[generics]: generics.html
+[statement]: statements.html
+[block expression]: expressions/block-expr.html