Merge pull request #9329 from weirdan/propagate-phantom-classes-to-cl…

…osure-context
vimeo · Feb 18, 2023 · 18edbeb · 18edbeb
2 parents d6c47ae + 4f22c2e
commit 18edbeb
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Analyzer/ClosureAnalyzer.php b/src/Psalm/Internal/Analyzer/ClosureAnalyzer.php
@@ -203,6 +203,7 @@ public static function analyzeExpression(
         }
 
         $use_context->calling_method_id = $context->calling_method_id;
+        $use_context->phantom_classes = $context->phantom_classes;
 
         $closure_analyzer->analyze($use_context, $statements_analyzer->node_data, $context, false);
 

diff --git a/tests/ClosureTest.php b/tests/ClosureTest.php
@@ -934,6 +934,29 @@ function test($var) : void
                             echo $var;  // $var should be string, instead it\'s considered to be Closure|string.
                     }',
             ],
+            'classExistsInOuterScopeOfArrowFunction' => [
+                'code' => <<<'PHP'
+                    <?php
+                    if (class_exists(Foo::class)) {
+                        /** @return mixed */
+                        fn() => Foo::bar(23, []);
+                    }
+                    PHP,
+                'assertions' => [],
+                'ignored_issues' => [],
+                'php_version' => '7.4',
+            ],
+            'classExistsInOuterScopeOfAClosure' => [
+                'code' => <<<'PHP'
+                    <?php
+                    if (class_exists(Foo::class)) {
+                        /** @return mixed */
+                        function () {
+                            return Foo::bar(23, []);
+                        };
+                    }
+                    PHP,
+            ],
         ];
     }