[CodeQuality] Handle Switch maybe return on ExplicitReturnNullRector (#…

…5801)

* [CodeQuality] Handle Switch maybe return on ExplicitReturnNullRector

* Fix

rules-tests/CodeQuality/Rector/ClassMethod/ExplicitReturnNullRector/Fixture/switch_maybe_return.php.inc

@@ -0,0 +1,38 @@
+<?php
+
+namespace Rector\Tests\CodeQuality\Rector\ClassMethod\ExplicitReturnNullRector\Fixture;
+
+class SwitchMaybeReturn
+{
+    public function run(int $number)
+    {
+        switch ($number) {
+            case 1:
+                return 1;
+            case 2:
+            default:
+        }
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\CodeQuality\Rector\ClassMethod\ExplicitReturnNullRector\Fixture;
+
+class SwitchMaybeReturn
+{
+    public function run(int $number)
+    {
+        switch ($number) {
+            case 1:
+                return 1;
+            case 2:
+            default:
+        }
+        return null;
+    }
+}
+
+?>

rules/TypeDeclaration/TypeInferer/SilentVoidResolver.php

@@ -156,7 +156,7 @@ private function isSwitchWithAlwaysReturnOrExit(Switch_ $switch): bool
 
         foreach ($switch->cases as $case) {
             if (! $case->cond instanceof Expr) {
-                $hasDefault = true;
+                $hasDefault = $case->stmts !== [];
                 break;
             }
         }