Skip descendants if required class in && expr cannot be found

Fixes #2375
vimeo · Nov 27, 2019 · 1b850c4026cfe39ca23b932974bc960d7169f6b2 · 1b850c4
1 parent c75f7dc
commit 1b850c4026cfe39ca23b932974bc960d7169f6b2
Unified Split

Showing with 10 additions and 0 deletions.

+10 −0 src/Psalm/Internal/Visitor/ReflectorVisitor.php
diff --git a/src/Psalm/Internal/Visitor/ReflectorVisitor.php b/src/Psalm/Internal/Visitor/ReflectorVisitor.php
@@ -524,6 +524,16 @@ public function enterNode(PhpParser\Node $node)
                     )
                 ) {
                     $this->exists_cond_expr = $node->cond;
+                } elseif ($node->cond instanceof PhpParser\Node\Expr\BinaryOp\BooleanAnd
+                    && $node->cond->left instanceof PhpParser\Node\Expr\FuncCall
+                    && $node->cond->left->name instanceof PhpParser\Node\Name
+                    && (
+                        $node->cond->left->name->parts === ['function_exists']
+                        || $node->cond->left->name->parts === ['class_exists']
+                        || $node->cond->left->name->parts === ['interface_exists']
+                    )
+                ) {
+                    $this->exists_cond_expr = $node->cond->left;
                 }
             }