fix arrow-fn and suppress

Author: staabm

src/Analyser/NodeScopeResolver.php

@@ -3185,7 +3185,7 @@ static function (): void {
 			return new ExpressionResult(
 				$result->getScope(),
 				$result->hasYield(),
-				false,
+				$result->isAlwaysTerminating(),
 				[],
 				[],
 			);
@@ -3194,7 +3194,7 @@ static function (): void {
 			$hasYield = $result->hasYield();
 			$throwPoints = $result->getThrowPoints();
 			$impurePoints = $result->getImpurePoints();
-			$isAlwaysTerminating = false;
+			$isAlwaysTerminating = $result->isAlwaysTerminating();
 			$scope = $result->getScope();
 		} elseif ($expr instanceof Exit_) {
 			$hasYield = false;
@@ -4792,7 +4792,7 @@ private function processArrowFunctionNode(
 		$nodeCallback(new InArrowFunctionNode($arrowFunctionType, $expr), $arrowFunctionScope);
 		$exprResult = $this->processExprNode($stmt, $expr->expr, $arrowFunctionScope, $nodeCallback, ExpressionContext::createTopLevel());
 
-		return new ExpressionResult($scope, false, false, $exprResult->getThrowPoints(), $exprResult->getImpurePoints());
+		return new ExpressionResult($scope, false, $exprResult->isAlwaysTerminating(), $exprResult->getThrowPoints(), $exprResult->getImpurePoints());
 	}
 
 	/**

tests/PHPStan/Analyser/ExpressionResultTest.php

@@ -74,6 +74,10 @@ public static function dataIsAlwaysTerminating(): array
 				'fn() => yield (exit());',
 				true,
 			],
+			[
+				'@exit();',
+				true,
+			],
 		];
 	}