more tests

Author: staabm

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -253,6 +253,8 @@ private static function findTestFiles(): iterable
 		yield __DIR__ . '/../Rules/Arrays/data/narrow-superglobal.php';
 		yield __DIR__ . '/../Rules/Methods/data/bug-12927.php';
 		yield __DIR__ . '/../Rules/Properties/data/bug-14012.php';
+		yield __DIR__ . '/../Rules/Variables/data/bug-14124.php';
+		yield __DIR__ . '/../Rules/Variables/data/bug-14124b.php';
 	}
 
 	/**

tests/PHPStan/Rules/Variables/ParameterOutAssignedTypeRuleTest.php

@@ -86,4 +86,9 @@ public function testBug14124(): void
 		$this->analyse([__DIR__ . '/data/bug-14124.php'], []);
 	}
 
+	public function testBug14124b(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14124b.php'], []);
+	}
+
 }

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

@@ -2,6 +2,8 @@
 
 namespace Bug14124;
 
+use function PHPStan\Testing\assertType;
+
 /**
  * @param array<string, list<string>> $convert
  * @param-out array<string, list<string>> $convert
@@ -13,6 +15,7 @@ function example3a(array &$convert): void
 			$val = strtoupper($val);
 		}
 	}
+	assertType('array<string, list<string>>', $convert);
 }
 
 /**
@@ -26,4 +29,5 @@ function example3b(array &$convert): void
 			$convert[$outerKey][$key] = strtoupper($val);
 		}
 	}
+	assertType('array<string, list<string>>', $convert);
 }

tests/PHPStan/Rules/Variables/data/bug-14124b.php

@@ -0,0 +1,37 @@
+<?php
+
+namespace Bug14124b;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @param array<string, list<list<string>>> $convert
+ * @param-out array<string, list<list<string>>> $convert
+ */
+function example3a(array &$convert): void
+{
+	foreach ($convert as &$inner) {
+		foreach ($inner as &$val) {
+			foreach ($val as &$val2) {
+				$val2 = strtoupper($val2);
+			}
+		}
+	}
+	assertType('array<string, list<list<string>>>', $convert);
+}
+
+/**
+ * @param array<string, list<list<string>>> $convert
+ * @param-out array<string, list<list<string>>> $convert
+ */
+function example3b(array &$convert): void
+{
+	foreach ($convert as $outerKey => $inner) {
+		foreach ($inner as $key => $val) {
+			foreach ($val as $key2 => $val2) {
+				$convert[$outerKey][$key][$key2] = strtoupper($val);
+			}
+		}
+	}
+	assertType('array<string, list<list<string>>>', $convert);
+}