Improve dead code detection after nested function calls with conditio…

…nal never return type

src/Analyser/NodeScopeResolver.php

@@ -1661,11 +1661,9 @@ private function findEarlyTerminatingExpr(Expr $expr, Scope $scope): ?Expr
 			return $expr;
 		}
 
-		if ($expr instanceof Expr\CallLike || $expr instanceof Expr\Match_) {
-			$exprType = $scope->getType($expr);
-			if ($exprType instanceof NeverType && $exprType->isExplicit()) {
-				return $expr;
-			}
+		$exprType = $scope->getType($expr);
+		if ($exprType instanceof NeverType && $exprType->isExplicit()) {
+			return $expr;
 		}
 
 		return null;

tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php

@@ -120,4 +120,15 @@ public function testBug4370(): void
 		$this->analyse([__DIR__ . '/data/bug-4370.php'], []);
 	}
 
+	public function testBug7188(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-7188.php'], [
+			[
+				'Unreachable statement - code above always terminates.',
+				22,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,23 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7188;
+
+use Exception;
+
+/**
+ * @param int $x
+ * @return ($x is 0 ? never : float)
+ */
+function inverse($x): float
+{
+	if ($x===0) {
+		throw new Exception('Division durch Null.');
+	}
+
+	return 1/$x;
+}
+
+function () {
+	$result = inverse(0);
+	echo "expect to unreachable\n";
+};