Merge branch 'draft-v9' into Add-support-for-native-sized-integers

dotnet · RexJaeschke · Mar 17, 2024 · Mar 17, 2024 · Mar 17, 2024 · Mar 17, 2024
commit 79a19d2784a91edee03485fd60653c372b5bf281
diff --git a/standard/expressions.md b/standard/expressions.md
@@ -2481,7 +2481,7 @@ The run-time processing of an *object_creation_expression* of the form new `T(A)
 
 `new nint()` is equivalent to `(nint)0`, and `new nuint()` is equivalent to `(nuint)0`.
 
-#### 12.8.16.3 Object initializers
+##### 12.8.17.2.2 Object initializers
 
 An ***object initializer*** specifies values for zero or more fields, properties, or indexed elements of an object.
 

diff --git a/standard/lexical-structure.md b/standard/lexical-structure.md
@@ -604,7 +604,8 @@ contextual_keyword
     : 'add'    | 'alias'      | 'ascending' | 'async'     | 'await'
     | 'by'     | 'descending' | 'dynamic'   | 'equals'    | 'from'
     | 'get'    | 'global'     | 'group'     | 'into'      | 'join'
-    | 'let'    | 'nameof'     | 'nint'      | 'nuint'     | 'on'        | 'orderby'   | 'partial'
+    | 'let'    | 'nameof'     | 'nint'      | 'notnull'   | 'nuint'
+    | 'on'     | 'orderby'    | 'partial'
     | 'remove' | 'select'     | 'set'       | 'unmanaged' | 'value'
     | 'var'    | 'when'       | 'where'     | 'yield'
     ;

diff --git a/standard/unsafe-code.md b/standard/unsafe-code.md
@@ -949,7 +949,7 @@ A fixed-size buffer declaration may include a set of attributes ([§22](attribut
 
 A fixed-size buffer declaration is not permitted to include the `static` modifier.
 
-The buffer element type of a fixed-size buffer declaration specifies the element type of the buffer(s) introduced by the declaration. The buffer element type shall be one of the predefined types `sbyte`, `byte`, `short`, `ushort`, `int`, `uint`, `nint`, `nuint`, `long`, `ulong`, `char`, `float`, `double`, or `bool`.
+The buffer element type of a fixed-size buffer declaration specifies the element type of the buffers introduced by the declaration. The buffer element type shall be one of the predefined types `sbyte`, `byte`, `short`, `ushort`, `int`, `uint`, `nint`, `nuint`, `long`, `ulong`, `char`, `float`, `double`, or `bool`.
 
 The buffer element type is followed by a list of fixed-size buffer declarators, each of which introduces a new member. A fixed-size buffer declarator consists of an identifier that names the member, followed by a constant expression enclosed in `[` and `]` tokens. The constant expression denotes the number of elements in the member introduced by that fixed-size buffer declarator. The type of the constant expression shall be implicitly convertible to type `int`, and the value shall be a non-zero positive integer.