Add test case for property type change not invalidating methods

vimeo · Jun 24, 2023 · 703a4b4 · 703a4b4
1 parent 1b1915e
commit 703a4b4
Showing 1 changed file with 41 additions and 0 deletions.
diff --git a/tests/Cache/CacheTest.php b/tests/Cache/CacheTest.php
@@ -158,5 +158,46 @@ public function do(): void
                 ],
             ],
         ];
+
+        yield 'classPropertyTypeChangeInvalidatesReferencingMethod' => [
+            [
+                [
+                    'files' => [
+                        '/src/A.php' => <<<'PHP'
+                            <?php
+                            class A {
+                                public function foo(B $b): int
+                                {
+                                    return $b->value;
+                                }
+                            }
+                            PHP,
+                        '/src/B.php' => <<<'PHP'
+                            <?php
+                            class B {
+                                public ?int $value = 0;
+                            }
+                            PHP,
+                    ],
+                    'issues' => [
+                        '/src/A.php' => [
+                            "NullableReturnStatement: The declared return type 'int' for A::foo is not nullable, but the function returns 'int|null'",
+                            "InvalidNullableReturnType: The declared return type 'int' for A::foo is not nullable, but 'int|null' contains null",
+                        ],
+                    ],
+                ],
+                [
+                    'files' => [
+                        '/src/B.php' => <<<'PHP'
+                            <?php
+                            class B {
+                                public int $value = 0;
+                            }
+                            PHP,
+                    ],
+                    'issues' => [],
+                ],
+            ],
+        ];
     }
 }