Add regression tests for related issues fixed by constant array shape preservation

Add non-regression tests for:
- phpstan/phpstan#14080: array key type preserved through foreach loop
- phpstan/phpstan#13623: nested array with dynamic keys and ??= operator
- phpstan/phpstan#8774: constant string keys not overwritten by loop
- phpstan/phpstan#9907: array shape preserved with union key parameter
- phpstan/phpstan#11006: array shape preserved with nullable union key

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Analyser/nsrt/bug-11006.php

@@ -0,0 +1,44 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11006;
+
+use function PHPStan\Testing\assertType;
+
+class StringOrNullAttributeDto
+{
+	public function __construct(
+		public ?string $data,
+	) {
+	}
+}
+
+class StringAttributeDto
+{
+	public function __construct(
+		public string $data,
+	) {
+	}
+}
+
+class PhpStanProblem
+{
+	/**
+	 * @param null|'size_uk'|'size_us' $sizeAttributeCode
+	 */
+	public function example(?string $sizeAttributeCode): void
+	{
+		$values = [
+			'ean' => [
+				new StringOrNullAttributeDto(''),
+			],
+			$sizeAttributeCode => [
+				new StringOrNullAttributeDto(''),
+			],
+			'osa_sizes' => [
+				new StringAttributeDto(''),
+			],
+		];
+
+		assertType("array{ean: array{Bug11006\StringOrNullAttributeDto}, ''?: array{Bug11006\StringOrNullAttributeDto}, size_uk?: array{Bug11006\StringOrNullAttributeDto}, size_us?: array{Bug11006\StringOrNullAttributeDto}, osa_sizes: array{Bug11006\StringAttributeDto}}", $values);
+	}
+}

tests/PHPStan/Analyser/nsrt/bug-13623.php

@@ -0,0 +1,26 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13623;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @param list<array{customer_id: int, order_id: int, order_total: float}> $results
+ */
+function doFoo(array $results): void
+{
+	$customers = [];
+
+	foreach ($results as $row) {
+		$customers[$row['customer_id']] ??= [];
+		$customers[$row['customer_id']]['orders'] ??= [];
+		$customers[$row['customer_id']]['orders'][$row['order_id']] ??= [];
+
+		$customers[$row['customer_id']]['orders'][$row['order_id']]['balance_forward'] ??= 0;
+		$customers[$row['customer_id']]['orders'][$row['order_id']]['new_invoice'] ??= 0;
+		$customers[$row['customer_id']]['orders'][$row['order_id']]['payments'] ??= 0;
+		$customers[$row['customer_id']]['orders'][$row['order_id']]['balance'] ??= $row['order_total'];
+	}
+
+	assertType('array<int, array{orders: non-empty-array<int, array{balance_forward: 0, new_invoice: 0, payments: 0, balance: float}>}>', $customers);
+}

tests/PHPStan/Analyser/nsrt/bug-14080.php

@@ -0,0 +1,28 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14080;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+	/**
+	 * @param list<array{sql: string, time: int}> $queries
+	 */
+	public function doFoo(array $queries): void
+	{
+		$queryTotals = ['all' => 0, 'duplicates' => 0];
+		$queryTypes = ['select', 'update', 'delete', 'insert'];
+
+		$queryTotals['time'] = array_sum(array_column($queries, 'time'));
+
+		foreach ($queryTypes as $type) {
+			assertType('int', $queryTotals['time']);
+			$tq = array_filter($queries, fn ($v) => str_starts_with(strtolower($v['sql']), $type));
+			$queryTotals['all'] += count($tq);
+			$queryTotals[$type] = [
+				'count' => count($tq),
+			];
+		}
+	}
+}

tests/PHPStan/Analyser/nsrt/bug-8774.php

@@ -0,0 +1,28 @@
+<?php declare(strict_types = 1);
+
+namespace Bug8774;
+
+use function PHPStan\Testing\assertType;
+
+class ModerateCtrl
+{
+	private const DISABLE_KEYS_AND_LABELS = [
+		'DisablePosting' => 'Posting on forum and comments',
+		'DisableAvatar' => 'Avatar and Custom Icon',
+	];
+
+	public static function handleModerate(): void
+	{
+		$summaryTemplates = [
+			'PermissionID' => "Class changed from <b>'%s'</b> to <b>'%s'</b>.",
+			'Reset' => '%s reset.',
+		];
+
+		foreach (self::DISABLE_KEYS_AND_LABELS as $key => $label) {
+			$summaryTemplates[$key] = "Disable $label status %s.";
+		}
+
+		assertType("array{PermissionID: 'Class changed from <b>\\'%s\\'</b> to <b>\\'%s\\'</b>.', Reset: '%s reset.', DisablePosting?: 'Disable Avatar and Custom Icon status %s.'|'Disable Posting on forum and comments status %s.', DisableAvatar?: 'Disable Avatar and Custom Icon status %s.'|'Disable Posting on forum and comments status %s.'}", $summaryTemplates);
+		assertType("'%s reset.'", $summaryTemplates['Reset']);
+	}
+}

tests/PHPStan/Analyser/nsrt/bug-9907.php

@@ -0,0 +1,18 @@
+<?php declare(strict_types = 1);
+
+namespace Bug9907;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+	/**
+	 * @param 'foo'|'bar' $key
+	 */
+	public function sayHello(string $key): void
+	{
+		$a = ['id' => null, $key => 'string'];
+
+		assertType("array{id: null, foo?: 'string', bar?: 'string'}", $a);
+	}
+}