fix

rules-tests/TypeDeclaration/Rector/ClassMethod/AddVoidReturnTypeWhereNoReturnRector/Fixture/exception.php.inc

@@ -0,0 +1,23 @@
+<?php
+
+use Rector\Core\Exception\ShouldNotHappenException;
+
+final class SkipException
+{
+    public function getValues()
+    {
+        throw new ShouldNotHappenException();
+    }
+}
+-----
+<?php
+
+use Rector\Core\Exception\ShouldNotHappenException;
+
+final class SkipException
+{
+    public function getValues(): void
+    {
+        throw new ShouldNotHappenException();
+    }
+}

rules-tests/TypeDeclaration/Rector/ClassMethod/AddVoidReturnTypeWhereNoReturnRector/Fixture/never_method.php.inc

@@ -0,0 +1,23 @@
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddVoidReturnTypeWhereNoReturnRector\Fixture;
+
+final class ExitMethod
+{
+    protected function getValues()
+    {
+        exit();
+    }
+}
+-----
+<?php
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddVoidReturnTypeWhereNoReturnRector\Fixture;
+
+final class ExitMethod
+{
+    protected function getValues(): void
+    {
+        exit();
+    }
+}

rules/TypeDeclaration/TypeInferer/SilentVoidResolver.php

@@ -41,10 +41,6 @@ public function hasExclusiveVoid(ClassMethod | Closure | Function_ $functionLike
             return false;
         }
 
-        if ($this->hasNeverType($functionLike)) {
-            return false;
-        }
-
         if ($this->betterNodeFinder->hasInstancesOfInFunctionLikeScoped($functionLike, Yield_::class)) {
             return false;
         }
@@ -142,29 +138,6 @@ private function isTryCatchAlwaysReturn(TryCatch $tryCatch): bool
         return true;
     }
 
-    /**
-     * @see https://phpstan.org/writing-php-code/phpdoc-types#bottom-type
-     */
-    private function hasNeverType(ClassMethod | Closure | Function_ $functionLike): bool
-    {
-        // look for top-level never returning statements
-        foreach((array) $functionLike->getStmts() as $stmt) {
-            if ($stmt instanceof Throw_) {
-                return true;
-            }
-
-            if ($stmt instanceof Expression) {
-                $exprType = $this->nodeTypeResolver->getNativeType($stmt->expr);
-                if ($exprType instanceof NeverType) {
-                    return true;
-                }
-            }
-
-        }
-
-        return false;
-    }
-
     private function resolveReturnCount(Switch_ $switch): int
     {
         $casesWithReturnCount = 0;