Allow destructuring of callable array

Fixes #2653
vimeo · Jan 17, 2020 · 2c48d42 · 2c48d42
1 parent 471d761
commit 2c48d42
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 1 deletion.
diff --git a/src/Psalm/Type/Union.php b/src/Psalm/Type/Union.php
@@ -625,7 +625,7 @@ public function hasType($type_string)
      */
     public function hasArray()
     {
-        return isset($this->types['array']);
+        return isset($this->types['array']) || isset($this->types['callable-array']);
     }
 
     /**

diff --git a/tests/CallableTest.php b/tests/CallableTest.php
@@ -713,6 +713,24 @@ function c(callable $c) : void {
                         }
                     }'
             ],
+            'destructureCallableArray' => [
+                '<?php
+                    function getCallable(): callable {
+                        return [DateTimeImmutable::class, "createFromFormat"];
+                    }
+
+                    $callable = getCallable();
+
+                    if (!is_array($callable)) {
+                      exit;
+                    }
+
+                    [$classOrObject, $method] = $callable;',
+                [
+                    '$classOrObject' => 'class-string|object',
+                    '$method' => 'string'
+                ]
+            ],
         ];
     }