Part 6. Fix mixin collisions on static methods

vimeo · Sep 9, 2024 · 83b437a · 83b437a
1 parent 635d38e
commit 83b437a
Show file tree

Hide file tree

Showing 2 changed files with 58 additions and 1 deletion.
diff --git a/...lm/Internal/Analyzer/Statements/Expression/Call/StaticMethod/AtomicStaticCallAnalyzer.php b/...lm/Internal/Analyzer/Statements/Expression/Call/StaticMethod/AtomicStaticCallAnalyzer.php
@@ -925,6 +925,7 @@ private static function checkPseudoMethod(
 
     /**
      * @param lowercase-string $method_name_lc
+     * @param string[] $ignore_mixins
      */
     private static function handleRegularMixins(
         ClassLikeStorage $class_storage,
@@ -934,11 +935,15 @@ private static function handleRegularMixins(
         Context $context,
         PhpParser\Node\Identifier $stmt_name,
         StatementsAnalyzer $statements_analyzer,
-        string $fq_class_name
+        string $fq_class_name,
+        array $ignore_mixins = []
     ): ?Union {
         if ($class_storage->mixin_declaring_fqcln === null) {
             return null;
         }
+
+        $ignore_mixins[] = $fq_class_name;
+
         foreach ($class_storage->namedMixins as $mixin) {
             $new_method_id = new MethodIdentifier(
                 $mixin->value,
@@ -1023,6 +1028,9 @@ private static function handleRegularMixins(
             }
             $mixin_class_storage = $codebase->classlike_storage_provider->get($mixin->value);
             $mixin_fq_class_name = $mixin_class_storage->name;
+            if (in_array($mixin_fq_class_name, $ignore_mixins)) {
+                continue;
+            }
             $new_lhs_type = self::handleRegularMixins(
                 $mixin_class_storage,
                 $lhs_type_part,
@@ -1032,6 +1040,7 @@ private static function handleRegularMixins(
                 $stmt_name,
                 $statements_analyzer,
                 $mixin_fq_class_name,
+                $ignore_mixins,
             );
             if ($new_lhs_type) {
                 return $new_lhs_type;

diff --git a/tests/MixinsDeepTest.php b/tests/MixinsDeepTest.php
@@ -394,6 +394,54 @@ public function __call(string $name, array $arguments) {}
                 ],
                 'ignored_issues' => ['MixedAssignment'],
             ],
+            'LowMixinCollision_WithStaticMethods' => [
+                'code' => <<<'PHP'
+                    <?php
+                    /**
+                     * @mixin Foo
+                     */
+                    class Foo {
+                        public static function __callStatic(string $name, array $arguments) {}
+                    }
+
+                    $a = Foo::notExistsMethod();
+                    PHP,
+                'assertions' => [
+                    '$a' => 'mixed',
+                ],
+                'ignored_issues' => ['MixedAssignment'],
+            ],
+            'DeepMixinCollision_WithStaticMethods' => [
+                'code' => <<<'PHP'
+                    <?php
+                    /**
+                     * @mixin Baz
+                     */
+                    abstract class Foo {
+                        public static function __callStatic(string $name, array $arguments) {}
+                    }
+
+                    /**
+                     * @mixin Foo
+                     */
+                    abstract class Bar {
+                        public static function __callStatic(string $name, array $arguments) {}
+                    }
+
+                    /**
+                     * @mixin Bar
+                     */
+                    class Baz {
+                        public static function __callStatic(string $name, array $arguments) {}
+                    }
+
+                    $a = Baz::notExistsMethod();
+                    PHP,
+                'assertions' => [
+                    '$a' => 'mixed',
+                ],
+                'ignored_issues' => ['MixedAssignment'],
+            ],
         ];
     }
 }