Update src/Infer/Scope/Scope.php

Co-authored-by: romalytvynenko <[email protected]>
dedoc · May 23, 2024 · e5bf188 · e5bf188
1 parent ddc97fb
commit e5bf188
Showing 1 changed file with 5 additions and 8 deletions.
diff --git a/src/Infer/Scope/Scope.php b/src/Infer/Scope/Scope.php
@@ -61,14 +61,11 @@ public function getType(Node $node): Type
         }
 
         if ($node instanceof Node\Expr\Match_) {
-            return match (get_class($node->cond)) {
-                Node\Expr\ArrayDimFetch::class, Node\Expr\Variable::class => Union::wrap(
-                    collect($node->arms)
-                        ->map(fn (Node\MatchArm $arm) => $this->getType($arm->body))
-                        ->toArray()
-                ),
-                default => new UnknownType('Cannot infer type of property fetch: not supported yet.'),
-            };
+            return Union::wrap(
+                collect($node->arms)
+                    ->map(fn (Node\MatchArm $arm) => $this->getType($arm->body))
+                    ->toArray()
+            );
         }
 
         if ($node instanceof Node\Expr\ClassConstFetch) {