fix callables

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -5180,6 +5180,8 @@ private function processArgs(
 }
 $throwPoints = array_merge($throwPoints, $callableThrowPoints);
 $impurePoints = array_merge($impurePoints, array_map(static fn (SimpleImpurePoint $impurePoint) => new ImpurePoint($scope, $arg->value, $impurePoint->getIdentifier(), $impurePoint->getDescription(), $impurePoint->isCertain()), $acceptors[0]->getImpurePoints()));
+$returnType = $acceptors[0]->getReturnType();
+$isAlwaysTerminating = $isAlwaysTerminating || ($returnType instanceof NeverType && $returnType->isExplicit());
 }
 }
 }

tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php

@@ -269,6 +269,10 @@ public function testBug13232a(): void
 'Unreachable statement - code above always terminates.',
 23,
 ],
+[
+'Unreachable statement - code above always terminates.',
+32,
+],
 ]);
 }
 

tests/PHPStan/Rules/DeadCode/data/bug-13232a.php

@@ -23,6 +23,16 @@ public function sayHo(): void
 echo 'this will never happen';
 }
 
+public function sayHe(): void
+{
+$callable = function (): never {
+exit();
+};
+echo sprintf("Hello, %s no way", $callable);
+echo 'this will never happen';
+}
+
+
 function neverReturnsMethod(): never {
 exit();
 }