test nullsafe

phpstan · ondrejmirtes · Jul 21, 2025 · Jul 11, 2025 · Jul 11, 2025 · Jul 11, 2025
commit 602325067a0c8677737d045645951d49dd46b6fc
diff --git a/src/Analyser/NodeScopeResolver.php b/src/Analyser/NodeScopeResolver.php
@@ -2932,8 +2932,7 @@ static function (): void {
 				$exprResult->getThrowPoints(),
 				$exprResult->getImpurePoints(),
 				static fn (): MutatingScope => $scope->filterByTruthyValue($expr),
-				static fn (): MutatingScope => $scope->filterByFalseyValue($expr),
-				$exprResult->isAlwaysTerminating(),
+				static fn (): MutatingScope => $scope->filterByFalseyValue($expr)
 			);
 		} elseif ($expr instanceof StaticCall) {
 			$hasYield = false;

diff --git a/tests/PHPStan/Rules/DeadCode/data/bug-13232c.php b/tests/PHPStan/Rules/DeadCode/data/bug-13232c.php
@@ -20,6 +20,14 @@ static public function sayStaticHello(): void
 		echo 'this will never happen';
 	}
 
+	public function sayNullsafeHello(?self $x): void
+	{
+		echo 'Hello, ' . $x?->mightReturnNever()
+			. ' no way';
+
+		echo 'this might happen, in case $x is null';
+	}
+
 	function mightReturnNever(): never
 
 	{