[create-pull-request] automated change (dotnet#1187)

Co-authored-by: BillWagner <[email protected]>
BillWagner · Oct 9, 2024 · 2be6531 · 2be6531
1 parent 98c940b
commit 2be6531
Show file tree

Hide file tree

Showing 18 changed files with 254 additions and 223 deletions.
diff --git a/standard/README.md b/standard/README.md
@@ -114,6 +114,17 @@
   - [§8.6](types.md#86-expression-tree-types)  Expression tree types
   - [§8.7](types.md#87-the-dynamic-type)  The dynamic type
   - [§8.8](types.md#88-unmanaged-types)  Unmanaged types
+  - [§8.9](types.md#89-reference-types-and-nullability)  Reference Types and nullability
+    - [§8.9.1](types.md#891-general)  General
+    - [§8.9.2](types.md#892-non-nullable-reference-types)  Non-nullable reference types
+    - [§8.9.3](types.md#893-nullable-reference-types)  Nullable reference types
+    - [§8.9.4](types.md#894-nullable-context)  Nullable context
+      - [§8.9.4.1](types.md#8941-general)  General
+      - [§8.9.4.2](types.md#8942-nullable-disable)  Nullable disable
+      - [§8.9.4.3](types.md#8943-nullable-annotations)  Nullable annotations
+      - [§8.9.4.4](types.md#8944-nullable-warnings)  Nullable warnings
+      - [§8.9.4.5](types.md#8945-nullable-enable)  Nullable enable
+    - [§8.9.5](types.md#895-nullabilities-and-null-states)  Nullabilities and null states
 - [§9](variables.md#9-variables)  Variables
   - [§9.1](variables.md#91-general)  General
   - [§9.2](variables.md#92-variable-categories)  Variable categories
@@ -313,35 +324,36 @@
       - [§12.8.7.1](expressions.md#12871-general)  General
       - [§12.8.7.2](expressions.md#12872-identical-simple-names-and-type-names)  Identical simple names and type names
     - [§12.8.8](expressions.md#1288-null-conditional-member-access)  Null Conditional Member Access
-    - [§12.8.9](expressions.md#1289-invocation-expressions)  Invocation expressions
-      - [§12.8.9.1](expressions.md#12891-general)  General
-      - [§12.8.9.2](expressions.md#12892-method-invocations)  Method invocations
-      - [§12.8.9.3](expressions.md#12893-extension-method-invocations)  Extension method invocations
-      - [§12.8.9.4](expressions.md#12894-delegate-invocations)  Delegate invocations
-    - [§12.8.10](expressions.md#12810-null-conditional-invocation-expression)  Null Conditional Invocation Expression
-    - [§12.8.11](expressions.md#12811-element-access)  Element access
-      - [§12.8.11.1](expressions.md#128111-general)  General
-      - [§12.8.11.2](expressions.md#128112-array-access)  Array access
-      - [§12.8.11.3](expressions.md#128113-indexer-access)  Indexer access
-    - [§12.8.12](expressions.md#12812-null-conditional-element-access)  Null Conditional Element Access
-    - [§12.8.13](expressions.md#12813-this-access)  This access
-    - [§12.8.14](expressions.md#12814-base-access)  Base access
-    - [§12.8.15](expressions.md#12815-postfix-increment-and-decrement-operators)  Postfix increment and decrement operators
-    - [§12.8.16](expressions.md#12816-the-new-operator)  The new operator
-      - [§12.8.16.1](expressions.md#128161-general)  General
-      - [§12.8.16.2](expressions.md#128162-object-creation-expressions)  Object creation expressions
-      - [§12.8.16.3](expressions.md#128163-object-initializers)  Object initializers
-      - [§12.8.16.4](expressions.md#128164-collection-initializers)  Collection initializers
-      - [§12.8.16.5](expressions.md#128165-array-creation-expressions)  Array creation expressions
-      - [§12.8.16.6](expressions.md#128166-delegate-creation-expressions)  Delegate creation expressions
-      - [§12.8.16.7](expressions.md#128167-anonymous-object-creation-expressions)  Anonymous object creation expressions
-    - [§12.8.17](expressions.md#12817-the-typeof-operator)  The typeof operator
-    - [§12.8.18](expressions.md#12818-the-sizeof-operator)  The sizeof operator
-    - [§12.8.19](expressions.md#12819-the-checked-and-unchecked-operators)  The checked and unchecked operators
-    - [§12.8.20](expressions.md#12820-default-value-expressions)  Default value expressions
-    - [§12.8.21](expressions.md#12821-stack-allocation)  Stack allocation
-    - [§12.8.22](expressions.md#12822-the-nameof-operator)  The nameof operator
-    - [§12.8.23](expressions.md#12823-anonymous-method-expressions)  Anonymous method expressions
+    - [§12.8.9](expressions.md#1289-null-forgiving-expressions)  Null-forgiving expressions
+    - [§12.8.10](expressions.md#12810-invocation-expressions)  Invocation expressions
+      - [§12.8.10.1](expressions.md#128101-general)  General
+      - [§12.8.10.2](expressions.md#128102-method-invocations)  Method invocations
+      - [§12.8.10.3](expressions.md#128103-extension-method-invocations)  Extension method invocations
+      - [§12.8.10.4](expressions.md#128104-delegate-invocations)  Delegate invocations
+    - [§12.8.11](expressions.md#12811-null-conditional-invocation-expression)  Null Conditional Invocation Expression
+    - [§12.8.12](expressions.md#12812-element-access)  Element access
+      - [§12.8.12.1](expressions.md#128121-general)  General
+      - [§12.8.12.2](expressions.md#128122-array-access)  Array access
+      - [§12.8.12.3](expressions.md#128123-indexer-access)  Indexer access
+    - [§12.8.13](expressions.md#12813-null-conditional-element-access)  Null Conditional Element Access
+    - [§12.8.14](expressions.md#12814-this-access)  This access
+    - [§12.8.15](expressions.md#12815-base-access)  Base access
+    - [§12.8.16](expressions.md#12816-postfix-increment-and-decrement-operators)  Postfix increment and decrement operators
+    - [§12.8.17](expressions.md#12817-the-new-operator)  The new operator
+      - [§12.8.17.1](expressions.md#128171-general)  General
+      - [§12.8.17.2](expressions.md#128172-object-creation-expressions)  Object creation expressions
+      - [§12.8.17.3](expressions.md#128173-object-initializers)  Object initializers
+      - [§12.8.17.4](expressions.md#128174-collection-initializers)  Collection initializers
+      - [§12.8.17.5](expressions.md#128175-array-creation-expressions)  Array creation expressions
+      - [§12.8.17.6](expressions.md#128176-delegate-creation-expressions)  Delegate creation expressions
+      - [§12.8.17.7](expressions.md#128177-anonymous-object-creation-expressions)  Anonymous object creation expressions
+    - [§12.8.18](expressions.md#12818-the-typeof-operator)  The typeof operator
+    - [§12.8.19](expressions.md#12819-the-sizeof-operator)  The sizeof operator
+    - [§12.8.20](expressions.md#12820-the-checked-and-unchecked-operators)  The checked and unchecked operators
+    - [§12.8.21](expressions.md#12821-default-value-expressions)  Default value expressions
+    - [§12.8.22](expressions.md#12822-stack-allocation)  Stack allocation
+    - [§12.8.23](expressions.md#12823-the-nameof-operator)  The nameof operator
+    - [§12.8.24](expressions.md#12824-anonymous-method-expressions)  Anonymous method expressions
   - [§12.9](expressions.md#129-unary-operators)  Unary operators
     - [§12.9.1](expressions.md#1291-general)  General
     - [§12.9.2](expressions.md#1292-unary-plus-operator)  Unary plus operator

diff --git a/standard/arrays.md b/standard/arrays.md
@@ -102,7 +102,7 @@ When an array type `S[]` implements `IList<T>`, some of the members of the imple
 
 ## 17.3 Array creation
 
-Array instances are created by *array_creation_expression*s ([§12.8.16.5](expressions.md#128165-array-creation-expressions)) or by field or local variable declarations that include an *array_initializer* ([§17.7](arrays.md#177-array-initializers)). Array instances can also be created implicitly as part of evaluating an argument list involving a parameter array ([§15.6.2.4](classes.md#15624-parameter-arrays)).
+Array instances are created by *array_creation_expression*s ([§12.8.17.5](expressions.md#128175-array-creation-expressions)) or by field or local variable declarations that include an *array_initializer* ([§17.7](arrays.md#177-array-initializers)). Array instances can also be created implicitly as part of evaluating an argument list involving a parameter array ([§15.6.2.4](classes.md#15624-parameter-arrays)).
 
 When an array instance is created, the rank and length of each dimension are established and then remain constant for the entire lifetime of the instance. In other words, it is not possible to change the rank of an existing array instance, nor is it possible to resize its dimensions.
 
@@ -112,7 +112,7 @@ Elements of arrays created by *array_creation_expression*s are always initialize
 
 ## 17.4 Array element access
 
-Array elements are accessed using *element_access* expressions ([§12.8.11.2](expressions.md#128112-array-access)) of the form `A[I₁, I₂, ..., Iₓ]`, where `A` is an expression of an array type and each `Iₑ` is an expression of type `int`, `uint`, `long`, `ulong`, or can be implicitly converted to one or more of these types. The result of an array element access is a variable, namely the array element selected by the indices.
+Array elements are accessed using *element_access* expressions ([§12.8.12.2](expressions.md#128122-array-access)) of the form `A[I₁, I₂, ..., Iₓ]`, where `A` is an expression of an array type and each `Iₑ` is an expression of type `int`, `uint`, `long`, `ulong`, or can be implicitly converted to one or more of these types. The result of an array element access is a variable, namely the array element selected by the indices.
 
 The elements of an array can be enumerated using a `foreach` statement ([§13.9.5](statements.md#1395-the-foreach-statement)).
 
@@ -158,7 +158,7 @@ Array covariance specifically does not extend to arrays of *value_type*s. For ex
 
 ## 17.7 Array initializers
 
-Array initializers may be specified in field declarations ([§15.5](classes.md#155-fields)), local variable declarations ([§13.6.2](statements.md#1362-local-variable-declarations)), and array creation expressions ([§12.8.16.5](expressions.md#128165-array-creation-expressions)):
+Array initializers may be specified in field declarations ([§15.5](classes.md#155-fields)), local variable declarations ([§13.6.2](statements.md#1362-local-variable-declarations)), and array creation expressions ([§12.8.17.5](expressions.md#128175-array-creation-expressions)):
 
 ```ANTLR
 array_initializer

diff --git a/standard/attributes.md b/standard/attributes.md
@@ -389,7 +389,7 @@ An expression `E` is an *attribute_argument_expression* if all of the following
 - The type of `E` is an attribute parameter type ([§22.2.4](attributes.md#2224-attribute-parameter-types)).
 - At compile-time, the value of `E` can be resolved to one of the following:
   - A constant value.
-  - A `System.Type` object obtained using a *typeof_expression* ([§12.8.17](expressions.md#12817-the-typeof-operator)) specifying a non-generic type, a closed constructed type ([§8.4.3](types.md#843-open-and-closed-types)), or an unbound generic type ([§8.4.4](types.md#844-bound-and-unbound-types)), but not an open type ([§8.4.3](types.md#843-open-and-closed-types)).
+  - A `System.Type` object obtained using a *typeof_expression* ([§12.8.18](expressions.md#12818-the-typeof-operator)) specifying a non-generic type, a closed constructed type ([§8.4.3](types.md#843-open-and-closed-types)), or an unbound generic type ([§8.4.4](types.md#844-bound-and-unbound-types)), but not an open type ([§8.4.3](types.md#843-open-and-closed-types)).
   - A single-dimensional array of *attribute_argument_expression*s.
 
 > *Example*:

diff --git a/standard/basic-concepts.md b/standard/basic-concepts.md
@@ -926,15 +926,15 @@ The meaning of a *namespace_or_type_name* is determined as follows:
 A *namespace_or_type_name* is permitted to reference a static class ([§15.2.2.4](classes.md#15224-static-classes)) only if
 
 - The *namespace_or_type_name* is the `T` in a *namespace_or_type_name* of the form `T.I`, or
-- The *namespace_or_type_name* is the `T` in a *typeof_expression* ([§12.8.17](expressions.md#12817-the-typeof-operator)) of the form `typeof(T)`
+- The *namespace_or_type_name* is the `T` in a *typeof_expression* ([§12.8.18](expressions.md#12818-the-typeof-operator)) of the form `typeof(T)`
 
 ### 7.8.2 Unqualified names
 
 Every namespace declaration and type declaration has an ***unqualified name*** determined as follows:
 
 - For a namespace declaration, the unqualified name is the *qualified_identifier* specified in the declaration.
 - For a type declaration with no *type_parameter_list*, the unqualified name is the *identifier* specified in the declaration.
-- For a type declaration with K type parameters, the unqualified name is the *identifier* specified in the declaration, followed by the *generic_dimension_specifier* ([§12.8.17](expressions.md#12817-the-typeof-operator)) for K type parameters.
+- For a type declaration with K type parameters, the unqualified name is the *identifier* specified in the declaration, followed by the *generic_dimension_specifier* ([§12.8.18](expressions.md#12818-the-typeof-operator)) for K type parameters.
 
 ### 7.8.3 Fully qualified names