Address review comments.

Author: ehuss

src/attributes.md

@@ -13,13 +13,14 @@
 > _MetaItem_ :\
 >       [_SimplePath_]\
 > &nbsp;&nbsp; | [_SimplePath_] `=` [_LiteralExpression_]<sub>_without suffix_</sub>\
-> &nbsp;&nbsp; | [_SimplePath_] `(` _MetaSeq_ `)`
+> &nbsp;&nbsp; | [_SimplePath_] `(` _MetaSeq_<sup>?</sup> `)`
 >
 > _MetaSeq_ :\
-> &nbsp;&nbsp; &nbsp;&nbsp; EMPTY\
-> &nbsp;&nbsp; | _MetaItem_\
-> &nbsp;&nbsp; | [_LiteralExpression_]<sub>_without suffix_</sub>\
-> &nbsp;&nbsp; | _MetaItem_ `,` _MetaSeq_
+> &nbsp;&nbsp; _MetaItemInner_ ( `,` MetaItemInner )<sup>\*</sup> `,`<sup>?</sup>
+>
+> _MetaItemInner_ :\
+> &nbsp;&nbsp; &nbsp;&nbsp; _MetaItem_\
+> &nbsp;&nbsp; | [_LiteralExpression_]<sub>_without suffix_</sub>
 
 An _attribute_ is a general, free-form metadatum that is interpreted according
 to name, convention, and language and compiler version. Attributes are modeled

src/expressions/operator-expr.md

@@ -312,7 +312,7 @@ let y = false && panic!(); // false, doesn't evaluate `panic!()`
 
 > **<sup>Syntax</sup>**\
 > _TypeCastExpression_ :\
-> &nbsp;&nbsp; [_Expression_] `as` [_PathInExpression_]
+> &nbsp;&nbsp; [_Expression_] `as` [_TypeNoBounds_]
 
 A type cast expression is denoted with the binary operator `as`.
 
@@ -460,4 +460,4 @@ assert_eq!(x, 14);
 [_CompoundAssignmentExpression_]: #compound-assignment-expressions
 
 [_Expression_]: expressions.html
-[_PathInExpression_]: paths.html#paths-in-expressions
+[_TypeNoBounds_]: types.html

src/paths.md

@@ -84,13 +84,13 @@ Vec::<u8>::with_capacity(1024);
 
 > **<sup>Syntax</sup>**\
 > _QualifiedPathInExpression_ :\
-> &nbsp;&nbsp; _QualifiedPathType_ (`::` _PathExprSegment_)<sup>\*</sup>
+> &nbsp;&nbsp; _QualifiedPathType_ (`::` _PathExprSegment_)<sup>+</sup>
 >
 > _QualifiedPathType_ :\
 > &nbsp;&nbsp; `<` [_Type_] (`as` _TypePath_)? `>`
 >
 > _QualifiedPathInType_ :\
-> &nbsp;&nbsp; _QualifiedPathType_ (`::` _TypePathSegment_)<sup>\*</sup>
+> &nbsp;&nbsp; _QualifiedPathType_ (`::` _TypePathSegment_)<sup>+</sup>
 
 Fully qualified paths allow for disambiguating the path for [trait implementations] and
 for specifying [canonical paths](#canonical-paths). When used in a type specification, it