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

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

Author: github-actions[bot]

standard/expressions.md

@@ -1211,10 +1211,10 @@ The run-time processing of a function member invocation consists of the followin
   - `M` is invoked.
 - Otherwise, if the type of `E` is a value-type `V`, and `M` is declared or overridden in `V`:
   - `E` is evaluated. If this evaluation causes an exception, then no further steps are executed. For an instance constructor, this evaluation consists of allocating storage (typically from an execution stack) for the new object. In this case `E` is classified as a variable.
-  - If `E` is not classified as a variable, or if `V` is not a readonly struct type (§16.2.2), and `E` is one of:
-    - an input parameter (§15.6.2.3), or
-    - a `readonly` field (§15.5.3), or
-    - a `readonly` reference variable or return (§9.7),
+  - If `E` is not classified as a variable, or if `V` is not a readonly struct type ([§16.2.2](structs.md#1622-struct-modifiers)), and `E` is one of:
+    - an input parameter ([§15.6.2.3](classes.md#15623-input-parameters)), or
+    - a `readonly` field ([§15.5.3](classes.md#1553-readonly-fields)), or
+    - a `readonly` reference variable or return ([§9.7](variables.md#97-reference-variables-and-returns)),
 
   then a temporary local variable of `E`’s type is created and the value of `E` is assigned to that variable. `E` is then reclassified as a reference to that temporary local variable. The temporary variable is accessible as `this` within `M`, but not in any other way. Thus, only when `E` can be written is it possible for the caller to observe the changes that `M` makes to `this`.
   - The argument list is evaluated as described in [§12.6.2](expressions.md#1262-argument-lists).

standard/grammar.md

@@ -1556,7 +1556,7 @@ constant_declarator
 // Source: §13.6.4 Local function declarations
 local_function_declaration
     : local_function_modifier* return_type local_function_header local_function_body
-    | ref_kind ref_return_type local_function_header ref_local_function_body
+    | ref_local_function_modifier* ref_kind ref_return_type local_function_header ref_local_function_body
     ;
 
 local_function_header
@@ -1565,8 +1565,12 @@ local_function_header
     ;
 
 local_function_modifier
-    : 'async'
-    | unsafe_modifier   // unsafe code support
+    : ref_local_function_modifier
+    | 'async'
+    ;
+
+ref_local_function_modifier
+    : unsafe_modifier   // unsafe code support
     ;
 
 local_function_body
@@ -2010,7 +2014,6 @@ method_header
 method_modifier
     : ref_method_modifier
     | 'async'
-    | unsafe_modifier   // unsafe code support
     ;
 
 ref_method_modifier
@@ -2025,6 +2028,7 @@ ref_method_modifier
     | 'override'
     | 'abstract'
     | 'extern'
+    | unsafe_modifier   // unsafe code support
     ;
 
 return_type
@@ -2539,7 +2543,7 @@ enum_member_declaration
 // Source: §20.2 Delegate declarations
 delegate_declaration
     : attributes? delegate_modifier* 'delegate' return_type delegate_header
-    | attributes? ref_delegate_modifier* 'delegate' ref_kind ref_return_type delegate_header
+    | attributes? delegate_modifier* 'delegate' ref_kind ref_return_type delegate_header
     ;
 
 delegate_header
@@ -2548,16 +2552,12 @@ delegate_header
     ;
     
 delegate_modifier
-    : ref_delegate_modifier
-    | unsafe_modifier   // unsafe code support
-    ;
-
-ref_delegate_modifier
     : 'new'
     | 'public'
     | 'protected'
     | 'internal'
     | 'private'
+    | unsafe_modifier   // unsafe code support
     ;
 
 // Source: §22.3 Attribute specification