Regression test

Closes phpstan/phpstan#4612

Author: ondrejmirtes

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -1406,4 +1406,9 @@ public function testJsonValidate(): void
 		]);
 	}
 
+	public function testBug4612(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-4612.php'], []);
+	}
+
 }

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

@@ -0,0 +1,16 @@
+<?php
+
+namespace Bug4612;
+
+function check(int $param): bool { return true; }
+
+/** @var array<int, int> $array */
+$array = [];
+
+foreach ($array as $k => $v) {
+	if (check($k) && isset($prev)) {
+		$array[$prev] = $v;
+	}
+
+	$prev = $k;
+}