Updated Rector to commit 3dacd700b6cf461af650cd2714a460f08cc3d6fb

rectorphp/rector-src@3dacd70 [CodeQuality] Properly handle Goto_ on ExplicitReturnNullRector take 3 (#7020)

Author: TomasVotruba

rules/TypeDeclaration/TypeInferer/SilentVoidResolver.php

@@ -96,20 +96,25 @@ public function hasSilentVoid(FunctionLike $functionLike) : bool
      */
     private function hasStmtsAlwaysReturnOrExit(array $stmts) : bool
     {
-        // early label check
+        // early label check position key stmt
         // as label can be defined later after goto
+        $hasAlwaysReturnOrExitAfterLabelPosition = null;
         foreach ($stmts as $key => $stmt) {
-            if ($stmt instanceof Label && isset($stmts[$key + 1])) {
-                return $this->hasStmtsAlwaysReturnOrExit(\array_slice($stmts, $key + 1));
+            if ($stmt instanceof Label && isset($stmts[$key + 1]) && $this->hasStmtsAlwaysReturnOrExit(\array_slice($stmts, $key + 1))) {
+                $hasAlwaysReturnOrExitAfterLabelPosition = $key;
+                break;
             }
         }
-        foreach ($stmts as $stmt) {
+        foreach ($stmts as $key => $stmt) {
             if ($this->neverFuncCallAnalyzer->isWithNeverTypeExpr($stmt)) {
                 return \true;
             }
             if ($this->isStopped($stmt)) {
                 return \true;
             }
+            if ($stmt instanceof Goto_ && $hasAlwaysReturnOrExitAfterLabelPosition < $key) {
+                return \true;
+            }
             // has switch with always return
             if ($stmt instanceof Switch_ && $this->isSwitchWithAlwaysReturnOrExit($stmt)) {
                 return \true;
@@ -183,7 +188,7 @@ private function isStopped(Stmt $stmt) : bool
         if ($stmt instanceof Expression) {
             $stmt = $stmt->expr;
         }
-        return $stmt instanceof Throw_ || $stmt instanceof Exit_ || $stmt instanceof Return_ && $stmt->expr instanceof Expr || $stmt instanceof Yield_ || $stmt instanceof YieldFrom || $stmt instanceof Goto_;
+        return $stmt instanceof Throw_ || $stmt instanceof Exit_ || $stmt instanceof Return_ && $stmt->expr instanceof Expr || $stmt instanceof Yield_ || $stmt instanceof YieldFrom;
     }
     private function isSwitchWithAlwaysReturnOrExit(Switch_ $switch) : bool
     {

src/Application/VersionResolver.php

@@ -19,12 +19,12 @@ final class VersionResolver
      * @api
      * @var string
      */
-    public const PACKAGE_VERSION = '09661240c16bb4b308129584c392ece51ad9a06c';
+    public const PACKAGE_VERSION = '3dacd700b6cf461af650cd2714a460f08cc3d6fb';
     /**
      * @api
      * @var string
      */
-    public const RELEASE_DATE = '2025-06-25 11:41:10';
+    public const RELEASE_DATE = '2025-06-25 16:45:58';
     /**
      * @var int
      */