Fix

vimeo · May 3, 2024 · 43162de · 43162de
1 parent 0bc6969
commit 43162de
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Call/ArgumentAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Call/ArgumentAnalyzer.php
@@ -63,6 +63,7 @@
 use Psalm\Type\Union;
 use UnexpectedValueException;
 
+use function array_filter;
 use function count;
 use function explode;
 use function implode;
@@ -955,12 +956,16 @@ public static function verifyType(
         ) {
             $potential_method_ids = [];
 
-            $param_type_without_callable = new Union(array_filter(
+            $param_types_without_callable = array_filter(
                 $param_type->getAtomicTypes(),
-                static function (Atomic $atomic) {
-                    return !$atomic instanceof Atomic\TCallableInterface;
-                })
+                static fn (Atomic $atomic) => !$atomic instanceof Atomic\TCallableInterface
             );
+            $param_type_without_callable = [] !== $param_types_without_callable
+                ? new Union(array_filter(
+                    $param_type->getAtomicTypes(),
+                    static fn (Atomic $atomic) => !$atomic instanceof Atomic\TCallableInterface
+                ))
+                : null;
 
             foreach ($input_type->getAtomicTypes() as $input_type_part) {
                 if ($input_type_part instanceof TList) {
@@ -969,7 +974,7 @@ static function (Atomic $atomic) {
 
                 if ($input_type_part instanceof TKeyedArray) {
                     // If the param accept an array, we don't report arrays as wrong callbacks.
-                    if (UnionTypeComparator::isContainedBy(
+                    if (null !== $param_type_without_callable && UnionTypeComparator::isContainedBy(
                         $codebase,
                         $input_type,
                         $param_type_without_callable,