Drop re-processing guard for fixpoint loop, fix scope refresh

Remove CreatedByRuleDecorator and its per-pass guard in RectorRunner; FileProcessor now iterates rules to a fixed point, refreshing scope on re-processed class and else nodes so repeated passes keep a valid scope.

Author: TomasVotruba

src/Application/ChangedNodeScopeRefresher.php

@@ -15,14 +15,19 @@
 use PhpParser\Node\Expr;
 use PhpParser\Node\Expr\Array_;
 use PhpParser\Node\Expr\Closure;
+use PhpParser\Node\Expr\ConstFetch;
 use PhpParser\Node\Expr\New_;
+use PhpParser\Node\Name;
 use PhpParser\Node\Param;
 use PhpParser\Node\PropertyItem;
 use PhpParser\Node\StaticVar;
 use PhpParser\Node\Stmt;
 use PhpParser\Node\Stmt\Class_;
 use PhpParser\Node\Stmt\Declare_;
+use PhpParser\Node\Stmt\Else_;
+use PhpParser\Node\Stmt\ElseIf_;
 use PhpParser\Node\Stmt\Expression;
+use PhpParser\Node\Stmt\If_;
 use PhpParser\Node\Stmt\Property;
 use PhpParser\Node\Stmt\Static_;
 use PhpParser\Node\Stmt\Use_;
@@ -80,6 +85,22 @@ public function refresh(Node $node, string $filePath, ?MutatingScope $mutatingSc
      */
     private function resolveStmts(Node $node): array
     {
+        // Else_/ElseIf_ are not processed standalone by PHPStan, only as part of an If_, so their body
+        // stays unscoped; wrap into an If_ so processNodes() scopes the real statements they hold
+        if ($node instanceof Else_) {
+            return [
+                new If_(new ConstFetch(new Name('true')), [
+                    'stmts' => $node->stmts,
+                ])];
+        }
+
+        if ($node instanceof ElseIf_) {
+            return [
+                new If_($node->cond, [
+                    'stmts' => $node->stmts,
+                ])];
+        }
+
         if ($node instanceof Stmt) {
             return [$node];
         }

src/NodeDecorator/CreatedByRuleDecorator.php

@@ -91,6 +91,7 @@
 use PHPStan\Node\VirtualNode;
 use PHPStan\Parser\ParserErrorsException;
 use PHPStan\PhpDocParser\Parser\ParserException;
+use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\ReflectionProvider;
 use PHPStan\ShouldNotHappenException;
 use PHPStan\Type\ObjectType;
@@ -636,6 +637,13 @@ private function resolveClassOrInterfaceScope(
         } catch (ShouldNotHappenException) {
         }
 
+        // enterClass() throws when the scope is already inside a class, which happens when a changed
+        // class node is re-processed on a later pass; keep the in-class scope instead of dropping it
+        $currentClassReflection = $mutatingScope->getClassReflection();
+        if ($currentClassReflection instanceof ClassReflection && $currentClassReflection->getName() === $classReflection->getName()) {
+            return $mutatingScope;
+        }
+
         $context = $this->privatesAccessor->getPrivateProperty($mutatingScope, 'context');
         $this->privatesAccessor->setPrivateProperty($context, 'classReflection', null);
 

src/NodeTypeResolver/PHPStan/Scope/PHPStanNodeScopeResolver.php

@@ -12,9 +12,7 @@
 use Rector\ChangesReporting\ValueObject\RectorWithLineChange;
 use Rector\Contract\Rector\RectorInterface;
 use Rector\Exception\ShouldNotHappenException;
-use Rector\NodeDecorator\CreatedByRuleDecorator;
 use Rector\NodeTypeResolver\Node\AttributeKey;
-use Rector\Skipper\Skipper\Skipper;
 use Rector\ValueObject\Application\File;
 
 /**
@@ -38,8 +36,6 @@
 CODE_SAMPLE;
 
     public function __construct(
-        private Skipper $skipper,
-        private CreatedByRuleDecorator $createdByRuleDecorator,
         private ChangedNodeScopeRefresher $changedNodeScopeRefresher,
         private CurrentFileProvider $currentFileProvider,
     ) {
@@ -53,11 +49,6 @@ public function run(RectorInterface $rector, Node $node): int|Node|null|array
         $file = $this->getFile();
         $filePath = $file->getFilePath();
 
-        // node already changed by this rule in a previous pass → hard skip
-        if ($this->skipper->shouldSkipCurrentNode($rector::class, $node)) {
-            return null;
-        }
-
         // ensure origNode pulled before refactor to avoid changed during refactor, ref https://3v4l.org/YMEGN
         $originalNode = $node->getAttribute(AttributeKey::ORIGINAL_NODE) ?? $node;
 
@@ -74,8 +65,6 @@ public function run(RectorInterface $rector, Node $node): int|Node|null|array
         }
 
         if (is_int($refactoredNodeOrState)) {
-            $this->createdByRuleDecorator->decorate($node, $originalNode, $rector::class);
-
             // only remove node is supported
             if ($refactoredNodeOrState !== NodeVisitor::REMOVE_NODE) {
                 throw new ShouldNotHappenException(sprintf('Unsupported state "%d" returned from "%s".', $refactoredNodeOrState, $rector::class));
@@ -116,8 +105,6 @@ private function postRefactorProcess(
         string $filePath
     ): Node|array {
         /** @var non-empty-array<Node>|Node $refactoredNode */
-        $this->createdByRuleDecorator->decorate($refactoredNode, $originalNode, $rector::class);
-
         $rectorWithLineChange = new RectorWithLineChange($rector::class, $originalNode->getStartLine());
         $file->addRectorClassWithLine($rectorWithLineChange);