test nullsafe

Author: staabm

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;

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
 
 {