Check if narrowing is valid from parent

Author: Orest-Divintari

rules/TypeDeclaration/Rector/ClassMethod/NarrowObjectReturnTypeRector.php

@@ -146,6 +146,10 @@ public function refactor(Node $node): ?Node
             return null;
         }
 
+        if (! $this->isNarrowingValidFromParent($node, $actualReturnClass)) {
+            return null;
+        }
+
         $node->returnType = new FullyQualified($actualReturnClass);
 
         $this->updateDocblock($node, $actualReturnClass);
@@ -246,6 +250,56 @@ private function isNarrowingValid(ClassMethod $classMethod, string $declaredType
         return ! $returnType instanceof GenericObjectType;
     }
 
+    private function isNarrowingValidFromParent(ClassMethod $classMethod, string $actualReturnClass): bool
+    {
+        if ($classMethod->isPrivate()) {
+            return true;
+        }
+
+        $classReflection = $this->reflectionResolver->resolveClassReflection($classMethod);
+
+        if (! $classReflection instanceof ClassReflection) {
+            return true;
+        }
+
+        $ancestors = array_filter(
+            $classReflection->getAncestors(),
+            fn (ClassReflection $ancestorClassReflection): bool => $classReflection->getName() !== $ancestorClassReflection->getName()
+        );
+
+        $methodName = $this->getName($classMethod);
+
+        foreach ($ancestors as $ancestor) {
+            if ($ancestor->getFileName() === null) {
+                continue;
+            }
+
+            if (! $ancestor->hasNativeMethod($methodName)) {
+                continue;
+            }
+
+            $parentClassMethod = $this->astResolver->resolveClassMethod($ancestor->getName(), $methodName);
+
+            if (! $parentClassMethod instanceof ClassMethod) {
+                continue;
+            }
+
+            $parentReturnType = $parentClassMethod->returnType;
+
+            if (! $parentReturnType instanceof Node) {
+                continue;
+            }
+
+            $parentReturnTypeName = $parentReturnType->toString();
+
+            if (! $this->isNarrowingValid($parentReturnTypeName, $actualReturnClass)) {
+                return false;
+            }
+        }
+
+        return true;
+    }
+
     private function getActualReturnClass(ClassMethod $classMethod): ?string
     {
         $returnStatements = $this->betterNodeFinder->findReturnsScoped($classMethod);