Fix grammar to allow arrays of nullable reference types

jnm2 · jnm2 · commit 066fbfca335b · 2025-07-30T20:07:43.000-04:00
diff --git a/standard/types.md b/standard/types.md
@@ -54,16 +54,13 @@ interface_type
     ;
 
 array_type
-    : non_array_type rank_specifier+
+    : array_type nullable_type_annotation rank_specifier+
+    | non_array_type rank_specifier+
     ;
 
 non_array_type
     : value_type
-    | class_type
-    | interface_type
-    | delegate_type
-    | 'dynamic'
-    | type_parameter
+    | (class_type | interface_type | delegate_type | 'dynamic' | type_parameter) nullable_type_annotation?
     | pointer_type      // unsafe code support
     ;
 

Original file line number	Diff line number	Diff line change
`@@ -54,16 +54,13 @@ interface_type`
`54`	`54`	`;`
`55`	`55`
`56`	`56`	`array_type`
`57`		`- : non_array_type rank_specifier+`
	`57`	`+ : array_type nullable_type_annotation rank_specifier+`
	`58`	`+ \| non_array_type rank_specifier+`
`58`	`59`	`;`
`59`	`60`
`60`	`61`	`non_array_type`
`61`	`62`	`: value_type`
`62`		`- \| class_type`
`63`		`- \| interface_type`
`64`		`- \| delegate_type`
`65`		`- \| 'dynamic'`
`66`		`- \| type_parameter`
	`63`	`+ \| (class_type \| interface_type \| delegate_type \| 'dynamic' \| type_parameter) nullable_type_annotation?`
`67`	`64`	`\| pointer_type // unsafe code support`
`68`	`65`	`;`
`69`	`66`