Preserve property fetch types in immediately invoked closures

For closures that are immediately invoked (IIFEs and array_map callbacks),
property/method fetch type narrowings should still be carried forward
since the object's properties cannot change between definition and invocation.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Analyser/MutatingScope.php

@@ -44,6 +44,7 @@
 use PHPStan\Node\Printer\ExprPrinter;
 use PHPStan\Node\VirtualNode;
 use PHPStan\Parser\ArrayMapArgVisitor;
+use PHPStan\Parser\ImmediatelyInvokedClosureVisitor;
 use PHPStan\Parser\Parser;
 use PHPStan\Php\PhpVersion;
 use PHPStan\Php\PhpVersionFactory;
@@ -2153,12 +2154,16 @@ public function enterAnonymousFunctionWithoutReflection(
 			}
 
 			if (
-				$expr instanceof PropertyFetch
-				|| $expr instanceof MethodCall
-				|| $expr instanceof Expr\NullsafePropertyFetch
-				|| $expr instanceof Expr\NullsafeMethodCall
-				|| $expr instanceof Expr\StaticPropertyFetch
-				|| $expr instanceof Expr\StaticCall
+				$closure->getAttribute(ImmediatelyInvokedClosureVisitor::ATTRIBUTE_NAME) !== true
+				&& $closure->getAttribute(ArrayMapArgVisitor::ATTRIBUTE_NAME) === null
+				&& (
+					$expr instanceof PropertyFetch
+					|| $expr instanceof MethodCall
+					|| $expr instanceof Expr\NullsafePropertyFetch
+					|| $expr instanceof Expr\NullsafeMethodCall
+					|| $expr instanceof Expr\StaticPropertyFetch
+					|| $expr instanceof Expr\StaticCall
+				)
 			) {
 				continue;
 			}

tests/PHPStan/Analyser/nsrt/specified-types-closure-use.php

@@ -69,4 +69,24 @@ function ($key) use ($arr): void {
 		}
 	}
 
+	public function doIife(MethodCall $call): void
+	{
+		if ($call->name instanceof Identifier) {
+			// IIFE - property types should be carried forward
+			(function () use ($call): void {
+				assertType('PhpParser\Node\Identifier', $call->name);
+			})();
+		}
+	}
+
+	public function doArrayMap(MethodCall $call): void
+	{
+		if ($call->name instanceof Identifier) {
+			// array_map - closure is immediately invoked, property types should be carried forward
+			array_map(function () use ($call): void {
+				assertType('PhpParser\Node\Identifier', $call->name);
+			}, [1]);
+		}
+	}
+
 }

tests/PHPStan/Rules/Arrays/DeadForeachRuleTest.php

@@ -57,7 +57,16 @@ public function testBug2457(): void
 
 	public function testBug10345(): void
 	{
-		$this->analyse([__DIR__ . '/data/bug-10345.php'], []);
+		$this->analyse([__DIR__ . '/data/bug-10345.php'], [
+			[
+				'Empty array passed to foreach.',
+				125,
+			],
+			[
+				'Empty array passed to foreach.',
+				134,
+			],
+		]);
 	}
 
 }

tests/PHPStan/Rules/Arrays/data/bug-10345.php

@@ -116,3 +116,21 @@ public static function setItems(array $items): void
 
 	$a6 = $func6();
 }
+
+// Immediately invoked closure (IIFE) - should still detect empty array
+$container7 = new \stdClass();
+$container7->items = [];
+
+$result7 = (function() use ($container7): int {
+	foreach ($container7->items as $item) {}
+	return 1;
+})();
+
+// array_map - closure is immediately invoked, should still detect empty array
+$container8 = new \stdClass();
+$container8->items = [];
+
+$result8 = array_map(function() use ($container8): int {
+	foreach ($container8->items as $item) {}
+	return 1;
+}, [1]);