[PHP 8.1] Fix IntersectionTypesRector for non-object types (#1495)

rules-tests/Php81/Rector/FunctionLike/IntersectionTypesRector/Fixture/skip_scalar_types.php.inc

@@ -0,0 +1,13 @@
+<?php
+
+namespace Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Fixture;
+
+final class SkipScalarType
+{
+    /**
+     * @param string&int $types
+     */
+    public function process($types)
+    {
+    }
+}

rules-tests/Php81/Rector/FunctionLike/IntersectionTypesRector/Fixture/some_class.php.inc

@@ -2,10 +2,13 @@
 
 namespace Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Fixture;
 
-final class SomeClass
+use Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source\FirstObjectToIntersect;
+use Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source\SecondObjectToIntersect;
+
+final class SkipScalarTypes
 {
     /**
-     * @param string&int $types
+     * @param FirstObjectToIntersect&SecondObjectToIntersect $types
      */
     public function process($types)
     {
@@ -18,12 +21,15 @@ final class SomeClass
 
 namespace Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Fixture;
 
-final class SomeClass
+use Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source\FirstObjectToIntersect;
+use Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source\SecondObjectToIntersect;
+
+final class SkipScalarTypes
 {
     /**
-     * @param string&int $types
+     * @param FirstObjectToIntersect&SecondObjectToIntersect $types
      */
-    public function process(int&string $types)
+    public function process(\Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source\FirstObjectToIntersect&\Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source\SecondObjectToIntersect $types)
     {
     }
 }

rules-tests/Php81/Rector/FunctionLike/IntersectionTypesRector/Source/FirstObjectToIntersect.php

@@ -0,0 +1,10 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source;
+
+final class FirstObjectToIntersect
+{
+
+}

rules-tests/Php81/Rector/FunctionLike/IntersectionTypesRector/Source/SecondObjectToIntersect.php

@@ -0,0 +1,10 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\Php81\Rector\FunctionLike\IntersectionTypesRector\Source;
+
+final class SecondObjectToIntersect
+{
+
+}

rules/Php81/Rector/FunctionLike/IntersectionTypesRector.php

@@ -10,6 +10,7 @@
 use PhpParser\Node\Stmt\ClassMethod;
 use PhpParser\Node\Stmt\Function_;
 use PHPStan\Type\IntersectionType;
+use PHPStan\Type\TypeWithClassName;
 use Rector\BetterPhpDocParser\PhpDocInfo\PhpDocInfo;
 use Rector\Core\Rector\AbstractRector;
 use Rector\Core\ValueObject\PhpVersionFeature;
@@ -110,6 +111,10 @@ private function refactorParamTypes(
                 continue;
             }
 
+            if (! $this->isIntersectionableType($paramType)) {
+                continue;
+            }
+
             $phpParserIntersectionType = $this->staticTypeMapper->mapPHPStanTypeToPhpParserNode(
                 $paramType,
                 TypeKind::PARAM()
@@ -123,4 +128,20 @@ private function refactorParamTypes(
             $this->hasChanged = true;
         }
     }
+
+    /**
+     * Only class-type are supported https://wiki.php.net/rfc/pure-intersection-types#supported_types
+     */
+    private function isIntersectionableType(IntersectionType $intersectionType): bool
+    {
+        foreach ($intersectionType->getTypes() as $intersectionedType) {
+            if ($intersectionedType instanceof TypeWithClassName) {
+                continue;
+            }
+
+            return false;
+        }
+
+        return true;
+    }
 }