Revise a bit editorially

Author: traviscross

src/expressions/array-expr.md

@@ -26,7 +26,7 @@ r[expr.array.array-behavior]
 This produces an array containing each of these values in the order they are written.
 
 r[expr.array.repeat]
-The syntax for the second form is an expression and a const argument separated by a semicolon (`;`) enclosed in square brackets.
+The syntax for the second form is, within square brackets, an expression, then a semicolon (`;`), and finally a [const argument].
 
 r[expr.array.repeat-operand]
 The expression before the `;` is called the *repeat operand*.
@@ -35,7 +35,7 @@ r[expr.array.length-operand]
 The const argument after the `;` is called the *length operand*.
 
 r[expr.array.length-restriction]
-It must be a [const argument] of type `usize`.
+The length operand must be a [const argument] of type `usize`.
 
 r[expr.array.repeat-behavior]
 An array expression of this form creates an array with the length of the value of the length operand with each element being a copy of the repeat operand.
@@ -111,7 +111,7 @@ The array index expression can be implemented for types other than arrays and sl
 [IndexMut]: std::ops::IndexMut
 [Index]: std::ops::Index
 [array]: ../types/array.md
-[const argument]: ../items/generics.md#const-generics
+[const argument]: items.generics.const.argument
 [constant item]: ../items/constant-items.md
 [literal]: ../tokens.md#literals
 [memory location]: ../expressions.md#place-expressions-and-value-expressions

src/items/generics.md

@@ -237,11 +237,12 @@ InferredConst ->
 ```
 
 r[items.generics.const.inferred.intro]
-The inferred const asks the compiler to infer the const argument if possible based on the surrounding information available.
+Where a const argument is expected, an `_` (optionally surrounding by any number of matching parentheses), called the "inferred const", can be used instead. This asks the compiler to infer the const argument if possible based on surrounding information.
 
 ```rust
 fn make_buf() -> [u8; 1024] {
     [0x1; _]
+    //    ^ Infers `1024`.
 }
 ```
 

src/paths.md

@@ -62,10 +62,10 @@ GenericArg ->
 
 GenericArgsConst ->
       BlockExpression
+    | InferredConst
     | LiteralExpression
     | `-` LiteralExpression
     | SimplePathSegment
-    | InferredConst
 
 GenericArgsBinding ->
     IDENTIFIER GenericArgs? `=` Type

src/types/array.md

@@ -32,4 +32,4 @@ always bounds-checked in safe methods and operators.
 
 [`usize`]: numeric.md#machine-dependent-integer-types
 [constant expression]: ../const_eval.md#constant-expressions
-[const argument]: ../items/generics.md##const-generics
+[const argument]: items.generics.const.argument