fix an old test

vimeo · Oct 9, 2021 · a1df08f · a1df08f
1 parent d44d00f
commit a1df08f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallReturnTypeFetcher.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallReturnTypeFetcher.php
@@ -348,6 +348,13 @@ private static function getReturnTypeFromCallMapWithArgs(
                                     return new Type\Union([new Type\Atomic\TIntRange($min, null)]);
                                 }
 
+                                if ($atomic_types['array'] instanceof Type\Atomic\TArray
+                                    && $atomic_types['array']->type_params[0]->isEmpty()
+                                    && $atomic_types['array']->type_params[1]->isEmpty()
+                                ) {
+                                    return Type::getInt(false, 0);
+                                }
+
                                 return new Type\Union([
                                     new Type\Atomic\TLiteralInt(0),
                                     new Type\Atomic\TPositiveInt