test nullsafe

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -2930,8 +2930,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;

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
 
 	{