Additional array fetch test case

vimeo · Mar 20, 2024 · 4b707d1 · 4b707d1
1 parent 30e797b
commit 4b707d1
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tests/TypeReconciliation/EmptyTest.php b/tests/TypeReconciliation/EmptyTest.php
@@ -771,6 +771,13 @@ function bar() {
                     }',
                 'error_message' => 'RedundantConditionGivenDocblockType',
             ],
+            'redundantEmptyArrayFetch' => [
+                'code' => '<?php
+                    /** @var array<true> $a */;
+                    assert(isset($a["a"]));
+                    if (empty($a["a"])) {}',
+                'error_message' => 'DocblockTypeContradiction',
+            ],
         ];
     }
 }