add tests for vimeo#9433

ptomulik · Mar 1, 2023 · 0d9a981 · 0d9a981
1 parent 06266c2
commit 0d9a981
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/tests/TypeReconciliation/IssetTest.php b/tests/TypeReconciliation/IssetTest.php
@@ -1153,6 +1153,25 @@ private function __construct() {}
                     }',
                 'error_message' => 'RedundantPropertyInitializationCheck',
             ],
+            'setArbitraryListElementAfterIsset' => [
+                'code' => '<?php
+                    /** @param list<string> $list */
+                    function foo(array &$list, int $offset): void {
+                        if (isset($list[$offset])) {}
+                        $list[$offset] = "";
+                    }',
+                'error_message' => 'ReferenceConstraintViolation'
+            ],
+            'setArbitraryListWithinNotIsset' => [
+                'code' => '<?php
+                    /** @param list<string> $list */
+                    function foo(array &$list, int $offset): void {
+                        if (!isset($list[$offset])) {
+                            $list[$offset] = "";
+                        }
+                    }',
+                'error_message' => 'ReferenceConstraintViolation'
+            ],
         ];
     }
 }