From 021c77bbc92c5d25fd698cc0d716a6ca01aaf917 Mon Sep 17 00:00:00 2001
From: Ivan Sidorov <nobxod@gmail.com>
Date: Thu, 12 Sep 2024 04:41:09 +0000
Subject: [PATCH] Part 7. Success regression tests with UndefinedMixinClass

---
 tests/MixinAnnotationTest.php |   9 ++
 tests/MixinsDeepTest.php      | 151 ++++++++++++++++++++++++++++++++++
 2 files changed, 160 insertions(+)

diff --git a/tests/MixinAnnotationTest.php b/tests/MixinAnnotationTest.php
index 3c0c11b26bb..41a03937f49 100644
--- a/tests/MixinAnnotationTest.php
+++ b/tests/MixinAnnotationTest.php
@@ -603,12 +603,14 @@ public function providerInvalidCodeParse(): iterable
     {
         return [
             'undefinedMixinClass' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /** @mixin B */
                     class A {}',
                 'error_message' => 'UndefinedDocblockClass',
             ],
             'undefinedMixinClassWithPropertyFetch' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /** @mixin B */
                     class A {}
@@ -617,6 +619,7 @@ class A {}
                 'error_message' => 'UndefinedPropertyFetch',
             ],
             'undefinedMixinClassWithPropertyFetch_WithMagicMethod' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /**
                      * @property string $baz
@@ -632,6 +635,7 @@ public function __get(string $name): string {
                 'error_message' => 'UndefinedMagicPropertyFetch',
             ],
             'undefinedMixinClassWithPropertyAssignment' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /** @mixin B */
                     class A {}
@@ -640,6 +644,7 @@ class A {}
                 'error_message' => 'UndefinedPropertyAssignment',
             ],
             'undefinedMixinClassWithPropertyAssignment_WithMagicMethod' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /**
                      * @property string $baz
@@ -653,6 +658,7 @@ public function __set(string $name, string $value) {}
                 'error_message' => 'UndefinedMagicPropertyAssignment',
             ],
             'undefinedMixinClassWithMethodCall' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /** @mixin B */
                     class A {}
@@ -661,6 +667,7 @@ class A {}
                 'error_message' => 'UndefinedMethod',
             ],
             'undefinedMixinClassWithMethodCall_WithMagicMethod' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /**
                      * @method baz()
@@ -674,6 +681,7 @@ public function __call(string $name, array $arguments) {}
                 'error_message' => 'UndefinedMagicMethod',
             ],
             'undefinedMixinClassWithStaticMethodCall' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /** @mixin B */
                     class A {}
@@ -682,6 +690,7 @@ class A {}
                 'error_message' => 'UndefinedMethod',
             ],
             'undefinedMixinClassWithStaticMethodCall_WithMagicMethod' => [
+                // Similar test in MixinsDeepTest.php
                 'code' => '<?php
                     /**
                      * @method baz()
diff --git a/tests/MixinsDeepTest.php b/tests/MixinsDeepTest.php
index 55961d10171..9ba510e3252 100644
--- a/tests/MixinsDeepTest.php
+++ b/tests/MixinsDeepTest.php
@@ -2,11 +2,15 @@
 
 namespace Psalm\Tests;
 
+use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
+use Psalm\Tests\Traits\InvalidCodeAnalysisWithIssuesTestTrait;
 use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
 
 class MixinsDeepTest extends TestCase
 {
+    use InvalidCodeAnalysisWithIssuesTestTrait;
     use ValidCodeAnalysisTestTrait;
+    use InvalidCodeAnalysisTestTrait;
 
     public function providerValidCodeParse(): iterable
     {
@@ -494,4 +498,151 @@ public function __get(string $name) {}
             ],
         ];
     }
+
+    public function providerInvalidCodeParse(): iterable
+    {
+        return [
+            'undefinedMixinClass' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /** @mixin B */
+                    class A {}
+                    /** @mixin C */
+                    class B {}',
+                'error_message' => 'UndefinedDocblockClass',
+            ],
+            'undefinedMixinClassWithPropertyFetch' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /** @mixin B */
+                    class A {}
+                    /** @mixin C */
+                    class B {}
+
+                    (new A)->foo;',
+                'error_message' => 'UndefinedPropertyFetch',
+            ],
+            'undefinedMixinClassWithPropertyFetch_WithMagicMethod' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /**
+                     * @property string $baz
+                     * @mixin B
+                     */
+                    class A {
+                        public function __get(string $name): string {
+                            return "";
+                        }
+                    }
+                    /**
+                     * @property string $bar
+                     * @mixin C
+                     */
+                    class B {
+                        public function __get(string $name): string {
+                            return "";
+                        }
+                    }
+
+                    (new A)->foo;',
+                'error_message' => 'UndefinedMagicPropertyFetch',
+            ],
+            'undefinedMixinClassWithPropertyAssignment' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /** @mixin B */
+                    class A {}
+                    /** @mixin C */
+                    class B {}
+
+                    (new A)->foo = "bar";',
+                'error_message' => 'UndefinedPropertyAssignment',
+            ],
+            'undefinedMixinClassWithPropertyAssignment_WithMagicMethod' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /**
+                     * @property string $baz
+                     * @mixin B
+                     */
+                    class A {
+                        public function __set(string $name, string $value) {}
+                    }
+                    /**
+                     * @property string $bar
+                     * @mixin C
+                     */
+                    class B {
+                        public function __set(string $name, string $value) {}
+                    }
+
+                    (new A)->foo = "bar";',
+                'error_message' => 'UndefinedMagicPropertyAssignment',
+            ],
+            'undefinedMixinClassWithMethodCall' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /** @mixin B */
+                    class A {}
+                    /** @mixin C */
+                    class B {}
+
+                    (new A)->foo();',
+                'error_message' => 'UndefinedMethod',
+            ],
+            'undefinedMixinClassWithMethodCall_WithMagicMethod' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /**
+                     * @method baz()
+                     * @mixin B
+                     */
+                    class A {
+                        public function __call(string $name, array $arguments) {}
+                    }
+                    /**
+                     * @method bar()
+                     * @mixin C
+                     */
+                    class B {
+                        public function __call(string $name, array $arguments) {}
+                    }
+
+                    (new A)->foo();',
+                'error_message' => 'UndefinedMagicMethod',
+            ],
+            'undefinedMixinClassWithStaticMethodCall' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /** @mixin B */
+                    class A {}
+                    /** @mixin C */
+                    class B {}
+
+                    A::foo();',
+                'error_message' => 'UndefinedMethod',
+            ],
+            'undefinedMixinClassWithStaticMethodCall_WithMagicMethod' => [
+                // Similar test in MixinAnnotationTest.php
+                'code' => '<?php
+                    /**
+                     * @method baz()
+                     * @mixin B
+                     */
+                    class A {
+                        public static function __callStatic(string $name, array $arguments) {}
+                    }
+                    /**
+                     * @method bar()
+                     * @mixin C
+                     */
+                    class B {
+                        public static function __callStatic(string $name, array $arguments) {}
+                    }
+
+                    A::foo();',
+                'error_message' => 'UndefinedMagicMethod',
+            ],
+        ];
+    }
 }