[spec/statement] Foreach index type only needs to hold maximum array length (#3804)

ntrel · web-flow · commit c6195f71c7c0 · 2024-04-14T15:25:21.000+02:00
Update for dlang/dmd#16334.
diff --git a/spec/statement.dd b/spec/statement.dd
@@ -561,7 +561,8 @@ foreach (i, char c; a)
 --------------
 )
         $(P For a dynamic array, the $(I index) type must be compatible
-        with `size_t`.
+        with `size_t`, unless the array length is statically known to fit
+        in a smaller integer type.
         Static arrays may use any integral type that spans the length
         of the array.)
 

Original file line number	Diff line number	Diff line change
`@@ -561,7 +561,8 @@ foreach (i, char c; a)`
`561`	`561`	`--------------`
`562`	`562`	`)`
`563`	`563`	`$(P For a dynamic array, the $(I index) type must be compatible`
`564`		- with `size_t`.
	`564`	+ with `size_t`, unless the array length is statically known to fit
	`565`	`+ in a smaller integer type.`
`565`	`566`	`Static arrays may use any integral type that spans the length`
`566`	`567`	`of the array.)`
`567`	`568`