Regression test for #3915

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -10274,6 +10274,11 @@ public function dataNeverEarlyTerminates(): array
 		return $this->gatherAssertTypes(__DIR__ . '/data/early-termination-phpdoc.php');
 	}
 
+	public function dataBug3915(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-3915.php');
+	}
+
 	/**
 	 * @param string $file
 	 * @return array<string, mixed[]>
@@ -10443,6 +10448,7 @@ private function gatherAssertTypes(string $file): array
 	 * @dataProvider dataBug4016
 	 * @dataProvider dataPromotedProperties
 	 * @dataProvider dataNeverEarlyTerminates
+	 * @dataProvider dataBug3915
 	 * @param string $assertType
 	 * @param string $file
 	 * @param mixed ...$args

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

@@ -0,0 +1,24 @@
+<?php
+
+namespace Bug3915;
+
+use function PHPStan\Analyser\assertType;
+
+class HelloWorld
+{
+
+	public function sayHello(): void
+	{
+		$lengths = [0];
+		foreach ([1] as $row) {
+			$lengths[] = self::getInt();
+		}
+		assertType('array<int, int>&nonEmpty', $lengths);
+	}
+
+	public static function getInt(): int
+	{
+		return 5;
+	}
+
+}