Regression tests

Closes phpstan/phpstan#13978

Author: ondrejmirtes

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1257,6 +1257,18 @@ public function testBug9573(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testBug13978(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-13978.php');
+		$this->assertNoErrors($errors);
+	}
+
+	public function testDiscussion13979(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-13979.php');
+		$this->assertNoErrors($errors);
+	}
+
 	public function testBug9039(): void
 	{
 		$errors = $this->runAnalyse(__DIR__ . '/data/bug-9039.php');

tests/PHPStan/Analyser/data/bug-13978.php

@@ -0,0 +1,24 @@
+<?php
+
+namespace Bug13978;
+
+/**
+ *
+ * @param array{
+ *   key1: int
+ * } $item
+ *
+ * @param-out array{
+ *   key1: int
+ * }|array{
+ *   key2: float
+ * } $item
+ *
+ */
+function example(array &$item): void
+{
+	if (!empty($item["key1"])) {
+		$item['key2'] = 1.00;
+		unset($item["key1"]);
+	}
+}

tests/PHPStan/Analyser/data/bug-13979.php

@@ -0,0 +1,13 @@
+<?php
+
+namespace Bug13979;
+
+/**
+ * @param array<string, mixed> $bar
+ * @param-out array<string, mixed>|null $bar
+ */
+function foo(array &$bar): void {
+	if ($bar === []) {
+		$bar = null;
+	}
+}