widening - skip if no method is present (#5898)

rules-tests/DowngradePhp72/Rector/ClassMethod/DowngradeParameterTypeWideningRector/Fixture/skip_required_removal.php.inc

@@ -0,0 +1,18 @@
+<?php
+
+namespace Rector\Tests\DowngradePhp72\Rector\ClassMethod\DowngradeParameterTypeWideningRector\Fixture;
+
+use PhpParser\Node\Param;
+use PHPStan\Type\Type;
+use Rector\TypeDeclaration\Contract\TypeInferer\ParamTypeInfererInterface;
+
+final class SkipRequiredRemoval implements ParamTypeInfererInterface
+{
+    public function autowireSomething(\PHPStan\Type\Type $input)
+    {
+    }
+
+    public function inferParam(Param $param): Type
+    {
+    }
+}

rules/DowngradePhp72/NodeAnalyzer/NativeTypeClassTreeResolver.php

@@ -38,9 +38,6 @@ final class NativeTypeClassTreeResolver
         int $position
     ): Type {
         $nativeReflectionClass = $classReflection->getNativeReflection();
-        if (! $nativeReflectionClass->hasMethod($methodName)) {
-            return new MixedType();
-        }
 
         $reflectionMethod = $nativeReflectionClass->getMethod($methodName);
         $parameterReflection = $reflectionMethod->getParameters()[$position] ?? null;

rules/DowngradePhp72/Rector/ClassMethod/DowngradeParameterTypeWideningRector.php

@@ -236,6 +236,10 @@ CODE_SAMPLE
         $parameterTypesByParentClassLikes = [];
 
         foreach ($classReflection->getAncestors() as $ancestorClassReflection) {
+            if (! $ancestorClassReflection->hasMethod($methodName)) {
+                continue;
+            }
+
             $parameterType = $this->nativeTypeClassTreeResolver->resolveParameterReflectionType(
                 $ancestorClassReflection,
                 $methodName,