Fix phpstan/phpstan#8926: Incorrect inference of instance variable modified from callback

src/Analyser/ExprHandler/Helper/ClosureTypeResolver.php

@@ -184,6 +184,7 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 						'property assignment',
 						true,
 					);
+					$invalidateExpressions[] = new InvalidateExprNode($node->getPropertyFetch());
 				},
 				ExpressionContext::createDeep(),
 			);
@@ -257,6 +258,7 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 							'property assignment',
 							true,
 						);
+						$invalidateExpressions[] = new InvalidateExprNode($node->getPropertyFetch());
 						return;
 					}
 

src/Analyser/NodeScopeResolver.php

@@ -2747,6 +2747,7 @@ public function processClosureNode(
 					'property assignment',
 					true,
 				);
+				$invalidateExpressions[] = new InvalidateExprNode($node->getPropertyFetch());
 				return;
 			}
 			if ($node instanceof ExecutionEndNode) {
@@ -2849,7 +2850,8 @@ public function processImmediatelyCalledCallable(MutatingScope $scope, array $in
 				continue;
 			}
 
-			$scope = $scope->invalidateExpression($invalidateExpression->getExpr(), true);
+			$requireMoreCharacters = $invalidateExpression->getExpr() instanceof Variable;
+			$scope = $scope->invalidateExpression($invalidateExpression->getExpr(), $requireMoreCharacters);
 		}
 
 		return $scope;

tests/PHPStan/Rules/Comparison/IfConstantConditionRuleTest.php

@@ -183,6 +183,18 @@ public function testBug8926(): void
 		$this->analyse([__DIR__ . '/data/bug-8926.php'], []);
 	}
 
+	public function testBug11417(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-11417.php'], []);
+	}
+
+	public function testBug10903(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-10903.php'], []);
+	}
+
 	#[RequiresPhp('>= 8.0')]
 	public function testBug13384b(): void
 	{

tests/PHPStan/Rules/Comparison/data/bug-10903.php

@@ -0,0 +1,29 @@
+<?php declare(strict_types = 1);
+
+namespace Bug10903;
+
+class HelloWorld
+{
+	public bool $hasFooKey = false;
+
+	public function sayHello(): void
+	{
+		/** @var array<string, string> $arr */
+		$arr = ['foo' => 'bar'];
+		$this->hasFooKey = false;
+
+		$filteredArr = \array_filter($arr, function ($value, $key) {
+            if (\stripos($key, 'foo') !== false) {
+				$this->hasFooKey = true;
+
+                return false;
+            }
+
+            return true;
+        }, ARRAY_FILTER_USE_BOTH);
+
+		if ($this->hasFooKey) {
+            // do something
+        }
+	}
+}

tests/PHPStan/Rules/Comparison/data/bug-11417.php

@@ -0,0 +1,72 @@
+<?php
+
+namespace Bug11417;
+
+class Wrap {
+	/**
+	 * @param-immediately-invoked-callable $cb
+	 */
+	public static function run(callable $cb): void
+	{
+		$cb();
+	}
+}
+
+class HelloWorld
+{
+	private ?string $conn = null;
+
+	public function getConn(): string
+	{
+		if (!is_null($this->conn)) {
+			return $this->conn;
+		}
+
+		Wrap::run(function() {
+			$this->conn = "conn";
+		});
+
+		if (is_null($this->conn)) {
+			throw new \Exception("conn failed");
+		}
+
+		return $this->conn;
+	}
+
+	public function disc(): void
+	{
+		$this->conn = null;
+	}
+}
+
+class WrapLater {
+	/**
+	 * @param-later-invoked-callable $cb
+	 */
+	public static function run(callable $cb): void
+	{
+		$cb();
+	}
+}
+
+class HelloWorldLater
+{
+	private ?string $conn = null;
+
+	public function getConn(): string
+	{
+		if (!is_null($this->conn)) {
+			return $this->conn;
+		}
+
+		WrapLater::run(function() {
+			$this->conn = "conn";
+		});
+
+		if (is_null($this->conn)) { // should be always true - later-invoked callable doesn't invalidate
+			throw new \Exception("conn failed");
+		}
+
+		return $this->conn;
+	}
+}

tests/PHPStan/Rules/Comparison/data/bug-8926.php

@@ -29,4 +29,38 @@ function error(array $arr) : void {
 			echo "...\n";
 		}
 	}
+
+	/** @param int[] $arr */
+	function errorArrayFilter(array $arr) : void {
+		$this->test = false;
+		$prices = array_filter($arr, function($elt) {
+			if ($elt === 1) {
+				$this->test = true;
+			}
+
+			return $elt === 2;
+		});
+
+
+		if ($this->test) {
+			echo "...\n";
+		}
+	}
+
+	/** @param int[] $arr */
+	function successLocal(array $arr) : void {
+		$test = false;
+		$prices = array_filter($arr, function($elt) use(&$test) {
+			if ($elt === 1) {
+				$test = true;
+			}
+
+			return $elt === 2;
+		});
+
+
+		if ($test) {
+			echo "...\n";
+		}
+	}
 }