Refactoring order creates incompatible return types

packages/TypeDeclaration/tests/Rector/FunctionLike/ReturnTypeDeclarationRector/CovarianceTest.php

@@ -21,6 +21,7 @@ public function test(string $file): void
     public function provideDataForTest(): iterable
     {
         yield [__DIR__ . '/Fixture/nikic/inheritance_covariance.php.inc'];
+        yield [__DIR__ . '/Fixture/nikic/inheritance_covariance_order.php.inc'];
         yield [__DIR__ . '/Fixture/Covariance/return_interface_to_class.php.inc'];
         yield [__DIR__ . '/Fixture/Covariance/return_nullable_with_parent_interface.php.inc'];
     }

packages/TypeDeclaration/tests/Rector/FunctionLike/ReturnTypeDeclarationRector/Fixture/nikic/inheritance_covariance_order.php.inc

@@ -0,0 +1,49 @@
+<?php
+
+namespace Rector\TypeDeclaration\Tests\Rector\ClassMethod\ReturnTypeDeclarationRector\Fixture\InheritanceOrder;
+
+class CCovariance extends ACovariance {
+    /**
+     * Technically valid return type, but against PHP's variance restrictions.
+     * We use "ACovariance" instead, which is less accurate but valid.
+     *
+     * @return CCovariance
+     */
+    public function test() {
+        return $this;
+    }
+}
+
+class ACovariance {
+    /** @return ACovariance */
+    public function test() {
+        return $this;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\TypeDeclaration\Tests\Rector\ClassMethod\ReturnTypeDeclarationRector\Fixture\InheritanceOrder;
+
+class CCovariance extends ACovariance {
+    /**
+     * Technically valid return type, but against PHP's variance restrictions.
+     * We use "ACovariance" instead, which is less accurate but valid.
+     *
+     * @return CCovariance
+     */
+    public function test(): \Rector\TypeDeclaration\Tests\Rector\ClassMethod\ReturnTypeDeclarationRector\Fixture\InheritanceOrder\ACovariance {
+        return $this;
+    }
+}
+
+class ACovariance {
+    /** @return ACovariance */
+    public function test(): self {
+        return $this;
+    }
+}
+
+?>