remove accessor array list type

Author: TomasVotruba

rules-tests/TypeDeclaration/Rector/ClassMethod/AddMethodCallBasedStrictParamTypeRector/FixtureIntersection/cover_intersection.php

@@ -0,0 +1,25 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\FixtureIntersection;
+
+final class CoverIntersection
+{
+    public function run(array $values): void
+    {
+        $items = [];
+
+        foreach ($values as $value) {
+            $items[] = 10;
+        }
+
+        $this->nextItems($items);
+    }
+
+    private function nextItems($items): void
+    {
+    }
+}
+
+?>

…ector/Fixture/cover_intersection.php.inc …eIntersection/cover_intersection.php.incrules-tests/TypeDeclaration/Rector/ClassMethod/AddMethodCallBasedStrictParamTypeRector/Fixture/cover_intersection.php.inc renamed to rules-tests/TypeDeclaration/Rector/ClassMethod/AddMethodCallBasedStrictParamTypeRector/FixtureIntersection/cover_intersection.php.inc rules-tests/TypeDeclaration/Rector/ClassMethod/AddMethodCallBasedStrictParamTypeRector/Fixture/cover_intersection.php.inc renamed to rules-tests/TypeDeclaration/Rector/ClassMethod/AddMethodCallBasedStrictParamTypeRector/FixtureIntersection/cover_intersection.php.inc

@@ -2,13 +2,12 @@
 
 declare(strict_types=1);
 
-namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\Fixture;
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\FixtureIntersection;
 
 final class CoverIntersection
 {
     public function run(array $values): void
     {
-        /** @var int[] $items */
         $items = [];
 
         foreach ($values as $value) {
@@ -29,13 +28,12 @@ final class CoverIntersection
 
 declare(strict_types=1);
 
-namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\Fixture;
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\FixtureIntersection;
 
 final class CoverIntersection
 {
     public function run(array $values): void
     {
-        /** @var int[] $items */
         $items = [];
 
         foreach ($values as $value) {

rules-tests/TypeDeclaration/Rector/ClassMethod/AddMethodCallBasedStrictParamTypeRector/FixtureIntersection/cover_intersection_with_docblock.php.inc

@@ -0,0 +1,53 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\FixtureIntersection;
+
+final class CoverIntersectionWithDocblock
+{
+    public function run(array $values): void
+    {
+        /** @var int[] $items */
+        $items = [];
+
+        foreach ($values as $value) {
+            $items[] = 10;
+        }
+
+        $this->nextItems($items);
+    }
+
+    private function nextItems($items): void
+    {
+    }
+}
+
+?>
+-----
+<?php
+
+declare(strict_types=1);
+
+namespace Rector\Tests\TypeDeclaration\Rector\ClassMethod\AddMethodCallBasedStrictParamTypeRector\FixtureIntersection;
+
+final class CoverIntersectionWithDocblock
+{
+    public function run(array $values): void
+    {
+        /** @var int[] $items */
+        $items = [];
+
+        foreach ($values as $value) {
+            $items[] = 10;
+        }
+
+        $this->nextItems($items);
+    }
+
+    private function nextItems(array $items): void
+    {
+    }
+}
+
+?>

rules/TypeDeclaration/NodeAnalyzer/CallTypesResolver.php

@@ -12,13 +12,17 @@
 use PhpParser\Node\Identifier;
 use PhpParser\Node\VariadicPlaceholder;
 use PHPStan\Reflection\ReflectionProvider;
+use PHPStan\Type\Accessory\AccessoryArrayListType;
 use PHPStan\Type\ArrayType;
 use PHPStan\Type\Constant\ConstantArrayType;
+use PHPStan\Type\IntersectionType;
 use PHPStan\Type\MixedType;
 use PHPStan\Type\NeverType;
 use PHPStan\Type\ObjectType;
 use PHPStan\Type\ThisType;
 use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
+use PHPStan\Type\TypeUtils;
 use PHPStan\Type\UnionType;
 use Rector\NodeTypeResolver\NodeTypeResolver;
 use Rector\NodeTypeResolver\PHPStan\Type\TypeFactory;
@@ -90,6 +94,15 @@ private function resolveStrictArgValueType(Arg $arg): Type
     {
         $argValueType = $this->nodeTypeResolver->getNativeType($arg->value);
 
+        if ($argValueType instanceof IntersectionType) {
+            dump($argValueType);
+
+            $argValueType = TypeCombinator::remove($argValueType, new AccessoryArrayListType());
+
+            dump($argValueType);
+            die;
+        }
+
         return $this->normalizeType($argValueType);
     }