Update reset-after-non-empty-loop.php

staabm · staabm · commit 4cdb1ec9040a · 2026-03-20T15:35:49.000+01:00
diff --git a/tests/PHPStan/Analyser/nsrt/reset-after-non-empty-loop.php b/tests/PHPStan/Analyser/nsrt/reset-after-non-empty-loop.php
@@ -10,12 +10,14 @@
 function mergeJoins(array $joins, string $s, string $hash): void
 {
 	if (count($joins) === 0) return;
+	assertType('non-empty-list<string>', $joins);
 
 	/** @var array<array<string>> $aggregated */
 	$aggregated = [];
 	foreach ($joins as $join) {
 		$aggregated[$s][$hash] = $s;
 	}
+	assertType('non-empty-array<non-empty-array<string>>', $aggregated);
 
 	foreach ($aggregated as $sameJoins) {
 		$first = reset($sameJoins);

Original file line number	Diff line number	Diff line change
`@@ -10,12 +10,14 @@`
`10`	`10`	`function mergeJoins(array $joins, string $s, string $hash): void`
`11`	`11`	`{`
`12`	`12`	`if (count($joins) === 0) return;`
	`13`	`+ assertType('non-empty-list<string>', $joins);`
`13`	`14`
`14`	`15`	`/** @var array<array<string>> $aggregated */`
`15`	`16`	`$aggregated = [];`
`16`	`17`	`foreach ($joins as $join) {`
`17`	`18`	`$aggregated[$s][$hash] = $s;`
`18`	`19`	`}`
	`20`	`+ assertType('non-empty-array<non-empty-array<string>>', $aggregated);`
`19`	`21`
`20`	`22`	`foreach ($aggregated as $sameJoins) {`
`21`	`23`	`$first = reset($sameJoins);`