Fix unreachable statement info lost in chained method calls

- MethodCallHandler and StaticCallHandler overwrote $isAlwaysTerminating
  instead of OR-ing with the existing value when checking the return type
- This caused never-returning arguments in chained calls to not propagate
  the always-terminating status to the outer call
- Added regression test for phpstan/phpstan#14328

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Analyser/ExprHandler/MethodCallHandler.php

@@ -136,7 +136,7 @@ public function processExpr(NodeScopeResolver $nodeScopeResolver, Stmt $stmt, Ex
 		if ($parametersAcceptor !== null) {
 			$normalizedExpr = ArgumentsNormalizer::reorderMethodArguments($parametersAcceptor, $expr) ?? $expr;
 			$returnType = $parametersAcceptor->getReturnType();
-			$isAlwaysTerminating = $returnType instanceof NeverType && $returnType->isExplicit();
+			$isAlwaysTerminating = $isAlwaysTerminating || ($returnType instanceof NeverType && $returnType->isExplicit());
 		}
 
 		$argsResult = $nodeScopeResolver->processArgs(

src/Analyser/ExprHandler/StaticCallHandler.php

@@ -192,7 +192,7 @@ public function processExpr(NodeScopeResolver $nodeScopeResolver, Stmt $stmt, Ex
 		if ($parametersAcceptor !== null) {
 			$normalizedExpr = ArgumentsNormalizer::reorderStaticCallArguments($parametersAcceptor, $expr) ?? $expr;
 			$returnType = $parametersAcceptor->getReturnType();
-			$isAlwaysTerminating = $returnType instanceof NeverType && $returnType->isExplicit();
+			$isAlwaysTerminating = $isAlwaysTerminating || ($returnType instanceof NeverType && $returnType->isExplicit());
 		}
 		$argsResult = $nodeScopeResolver->processArgs($stmt, $methodReflection, null, $parametersAcceptor, $normalizedExpr, $scope, $storage, $nodeCallback, $context, $closureBindScope);
 		$scope = $argsResult->getScope();

tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php

@@ -373,4 +373,16 @@ public function testBug13331(): void
 		$this->analyse([__DIR__ . '/data/bug-13331.php'], []);
 	}
 
+	#[RequiresPhp('>= 8.2')]
+	public function testBug14328(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-14328.php'], [
+			[
+				'Unreachable statement - code above always terminates.',
+				16,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/DeadCode/data/bug-14328.php

@@ -0,0 +1,16 @@
+<?php // lint >= 8.2
+
+declare(strict_types = 1);
+
+namespace Bug14328;
+
+$callback = fn (): never => throw new \Exception();
+
+class Foo {
+	public function returnThis(mixed $value): self {
+		return $this;
+	}
+}
+
+$x = new Foo()->returnThis($callback())->returnThis('x');
+$y = 'this will never run';