add test

2025-01-22 05:41:20 +01:00 · 2022-11-30 23:45:55 +01:00 · 2022-11-30 23:45:55 +01:00 · 2da4bf98d6
commit 2da4bf98d6
parent 3957eb753a
1 changed files with 21 additions and 0 deletions
--- a/tests/ArrayFunctionCallTest.php
+++ b/tests/ArrayFunctionCallTest.php
@ -2290,6 +2290,27 @@ class ArrayFunctionCallTest extends TestCase
                    }
                    ',
            ],
+            'mergeBetweenSealedArrayWithPossiblyUndefinedAndMixedArrayIsMixedArray' => [
+                'code' => '<?php
+
+                    function findit(Closure $x): void
+                    {
+                        $closure = new ReflectionFunction($x);
+
+                        $statics = [];
+
+                        if (rand(0, 1)) {
+                            $statics = ["this" => "a"];
+                        }
+                        $b = $statics + $closure->getStaticVariables();
+                        /** @psalm-check-type $b = array<array-key, mixed> */
+
+                        $_a = count($b);
+
+                        /** @psalm-check-type $_a = int<0, max> */
+                    }
+                    ',
+            ],
        ];
    }