fix callables

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -5177,6 +5177,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

@@ -258,6 +258,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();
 	}