[create-pull-request] automated change (#947)

Co-authored-by: jskeet <[email protected]>

Author: github-actions[bot]

standard/README.md

@@ -438,6 +438,9 @@
   - [§13.6](statements.md#136-declaration-statements)  Declaration statements
     - [§13.6.1](statements.md#1361-general)  General
     - [§13.6.2](statements.md#1362-local-variable-declarations)  Local variable declarations
+      - [§13.6.2.1](statements.md#13621-implicitly-typed-local-variable-declarations)  Implicitly typed local variable declarations
+      - [§13.6.2.2](statements.md#13622-explicitly-typed-local-variable-declarations)  Explicitly typed local variable declarations
+      - [§13.6.2.3](statements.md#13623-ref-local-variable-declarations)  Ref local variable declarations
     - [§13.6.3](statements.md#1363-local-constant-declarations)  Local constant declarations
     - [§13.6.4](statements.md#1364-local-function-declarations)  Local function declarations
   - [§13.7](statements.md#137-expression-statements)  Expression statements

standard/grammar.md

@@ -1290,6 +1290,11 @@ declaration_expression
     : local_variable_type identifier
     ;
 
+local_variable_type
+    : type
+    | 'var'
+    ;
+
 // Source: §12.18 Conditional operator
 conditional_expression
     : null_coalescing_expression
@@ -1516,30 +1521,52 @@ declaration_statement
 
 // Source: §13.6.2 Local variable declarations
 local_variable_declaration
-    : ref_kind? local_variable_type local_variable_declarators
+    : implicitly_typed_local_variable_declaration
+    | explicitly_typed_local_variable_declaration
+    | ref_local_variable_declaration
     ;
 
-local_variable_type
-    : type
-    | 'var'
+// Source: §13.6.2.1 Implicitly typed local variable declarations
+implicitly_typed_local_variable_declaration
+    : 'var' implicitly_typed_local_variable_declarator
+    | ref_kind 'var' ref_local_variable_declarator
     ;
 
-local_variable_declarators
-    : local_variable_declarator
-    | local_variable_declarators ',' local_variable_declarator
+implicitly_typed_local_variable_declarator
+    : identifier '=' expression
     ;
 
-local_variable_declarator
-    : identifier
-    | identifier '=' local_variable_initializer
+// Source: §13.6.2.2 Explicitly typed local variable declarations
+explicitly_typed_local_variable_declaration
+    : type explicitly_typed_local_variable_declarators
+    ;
+
+explicitly_typed_local_variable_declarators
+    : explicitly_typed_local_variable_declarator (',' explicitly_typed_local_variable_declarator)*
+    ;
+
+explicitly_typed_local_variable_declarator
+    : identifier ('=' local_variable_initializer)?
     ;
 
 local_variable_initializer
     : expression
-    | 'ref' variable_reference
     | array_initializer
     ;
 
+// Source: §13.6.2.3 Ref local variable declarations
+ref_local_variable_declaration
+    : ref_kind type ref_local_variable_declarators
+    ;
+
+ref_local_variable_declarators
+    : ref_local_variable_declarator (',' ref_local_variable_declarator)*
+    ;
+
+ref_local_variable_declarator
+    : identifier '=' 'ref' variable_reference
+    ;
+
 // Source: §13.6.3 Local constant declarations
 local_constant_declaration
     : 'const' type constant_declarators
@@ -1631,7 +1658,7 @@ switch_label
     : 'case' pattern case_guard?  ':'
     | 'default' ':'
     ;
-    
+
 case_guard
     : 'when' expression
     ;

standard/statements.md

@@ -351,7 +351,7 @@ It is an error to refer to a local variable by name in a textual position that p
 
 The ref-safe-context ([§9.7.2](variables.md#972-ref-safe-contexts)) of a ref local variable is the ref-safe-context of its initializing *variable_reference*. The ref-safe-context of non-ref local variables is *declaration-block*.
 
-#### Implicitly typed local variable declarations
+#### 13.6.2.1 Implicitly typed local variable declarations
 
 ```ANTLR
 implicitly_typed_local_variable_declaration
@@ -405,7 +405,7 @@ An *implicity_typed_local_variable_declaration* introduces a single local variab
 >
 > *end example*
 
-#### Explicitly typed local variable declarations
+#### 13.6.2.2 Explicitly typed local variable declarations
 
 ```ANTLR
 explicitly_typed_local_variable_declaration
@@ -430,7 +430,7 @@ An *explicity_typed_local_variable_declaration* introduces one or more local var
 
 If a *local_variable_initializer* is present then its type must be appropriate according to the rules of simple assignment ([§12.21.2](expressions.md#12212-simple-assignment)) or array initialization ([§17.7](arrays.md#177-array-initializers)) and its value is assigned as the initial value of the variable.
 
-#### Ref local variable declarations
+#### 13.6.2.3 Ref local variable declarations
 
 ```ANTLR
 ref_local_variable_declaration