[TypeDeclaration] Skip more detailed type on AddMethodCallBasedStrict…

…ParamTypeRector (#5866)

* [TypeDeclaration] Skip more detailed type on AddMethodCallBasedStrictParamTypeRector

* Fix

rules-tests/TypeDeclaration/Rector/ClassMethod/AddMethodCallBasedStrictParamTypeRector/Fixture/skip_more_detail_type.php.inc

@@ -0,0 +1,28 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\Fixture;
+
+use PhpParser\Node;
+use PhpParser\Node\Name;
+use PhpParser\Node\Name\FullyQualified;
+
+final class SkipMoreDetailType
+{
+    /**
+     * @param Name $node
+     */
+    public function run(Node $node)
+    {
+        if ($node instanceof FullyQualified) {
+            return;
+        }
+
+        $this->execute($node);
+    }
+
+    private function execute(Name $node)
+    {
+    }
+}

rules/TypeDeclaration/NodeAnalyzer/CallTypesResolver.php

@@ -18,13 +18,15 @@
 use Rector\NodeCollector\ValueObject\ArrayCallable;
 use Rector\NodeTypeResolver\NodeTypeResolver;
 use Rector\NodeTypeResolver\PHPStan\Type\TypeFactory;
+use Rector\NodeTypeResolver\TypeComparator\TypeComparator;
 
 final readonly class CallTypesResolver
 {
     public function __construct(
         private NodeTypeResolver $nodeTypeResolver,
         private TypeFactory $typeFactory,
-        private ReflectionProvider $reflectionProvider
+        private ReflectionProvider $reflectionProvider,
+        private TypeComparator $typeComparator
     ) {
     }
 
@@ -74,6 +76,11 @@ private function resolveStrictArgValueType(Arg $arg): Type
             return new MixedType();
         }
 
+        $type = $this->nodeTypeResolver->getType($arg->value);
+        if (! $type->equals($argValueType) && $this->typeComparator->isSubtype($type, $argValueType)) {
+            return $type;
+        }
+
         return $argValueType;
     }