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

- Bug 14080: Rule test ensuring no binary operation error on += with preserved array shape
- Bug 13623: Rule test for ??= with nested dynamic-key arrays (documents remaining errors)
- Bug 8774: Rule test ensuring no sprintf placeholder mismatch with dynamic array keys
- Bug 9907: NSRT test for array shape preservation with union key parameter
- Bug 11006: Rule test ensuring no constructor parameter type mismatch with union key

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

Author: phpstan-bot

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);
+	}
+}

tests/PHPStan/Rules/Classes/InstantiationRuleTest.php

@@ -609,4 +609,9 @@ public function testBug14251(): void
 		]);
 	}
 
+	public function testBug11006(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11006.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Classes/data/bug-11006.php

@@ -0,0 +1,66 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11006;
+
+class StringOrNullAttributeDto
+{
+	public function __construct(
+		public ?string $data,
+	) {
+	}
+}
+
+class StringAttributeDto
+{
+	public function __construct(
+		public string $data,
+	) {
+	}
+}
+
+class AkeneoUpdateProductDto
+{
+	/**
+	 * @param array{
+	 *     ean?: array<StringOrNullAttributeDto>,
+	 *     osa_sizes?: array<StringAttributeDto>,
+	 *     size_uk?: array<StringOrNullAttributeDto>,
+	 *     size_us?: array<StringOrNullAttributeDto>,
+	 * } $values
+	 */
+	public function __construct(
+		public array $values,
+	) {
+	}
+}
+
+class ProductParentPayloadDto
+{
+	/**
+	 * @param 'size_uk'|'size_us' $SizeAttributeCode
+	 */
+	public function __construct(
+		public string $SizeAttributeCode,
+	) {
+	}
+}
+
+class PhpStanProblem
+{
+	public function example(ProductParentPayloadDto $parentPayload): void
+	{
+		$values = [
+			'ean' => [
+				new StringOrNullAttributeDto(''),
+			],
+			$parentPayload->SizeAttributeCode => [
+				new StringOrNullAttributeDto(''),
+			],
+			'osa_sizes' => [
+				new StringAttributeDto(''),
+			],
+		];
+
+		new AkeneoUpdateProductDto($values);
+	}
+}

tests/PHPStan/Rules/Functions/PrintfParametersRuleTest.php

@@ -137,4 +137,9 @@ public function testBug1889(): void
 		]);
 	}
 
+	public function testBug8774(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-8774.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/bug-8774.php

@@ -0,0 +1,25 @@
+<?php declare(strict_types = 1);
+
+namespace Bug8774;
+
+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.";
+		}
+
+		echo sprintf($summaryTemplates['Reset'], 'foo');
+	}
+}

tests/PHPStan/Rules/Operators/InvalidBinaryOperationRuleTest.php

@@ -821,4 +821,9 @@ public function testBug10595(): void
 		$this->analyse([__DIR__ . '/data/bug-10595.php'], []);
 	}
 
+	public function testBug14080(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14080.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Operators/data/bug-14080.php

@@ -0,0 +1,25 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14080;
+
+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) {
+			$tq = array_filter($queries, fn ($v) => str_starts_with(strtolower($v['sql']), $type));
+			$queryTotals['all'] += count($tq);
+			$queryTotals[$type] = [
+				'count' => count($tq),
+			];
+		}
+	}
+}

tests/PHPStan/Rules/Variables/NullCoalesceRuleTest.php

@@ -372,4 +372,22 @@ public function testBug13921(): void
 		]);
 	}
 
+	public function testBug13623(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13623.php'], [
+			[
+				'Offset \'new_invoice\' on array{balance_forward: 0, new_invoice: 0, payments: 0, balance: float} on left side of ??= always exists and is not nullable.',
+				18,
+			],
+			[
+				'Offset \'payments\' on array{balance_forward: 0, new_invoice: 0, payments: 0, balance: float} on left side of ??= always exists and is not nullable.',
+				19,
+			],
+			[
+				'Offset \'balance\' on array{balance_forward: 0, new_invoice: 0, payments: 0, balance: float} on left side of ??= always exists and is not nullable.',
+				20,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Variables/data/bug-13623.php

@@ -0,0 +1,22 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13623;
+
+/**
+ * @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'];
+	}
+}