add test case derived from issue vimeo#7428

hirokinoue · Sep 17, 2022 · 2f87077 · 2f87077
1 parent faf4e8e
commit 2f87077
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/tests/TypeReconciliation/ArrayKeyExistsTest.php b/tests/TypeReconciliation/ArrayKeyExistsTest.php
@@ -459,4 +459,29 @@ class Foo {
 
         $this->analyzeFile('somefile.php', new Context());
     }
+
+    public function testAllowStaticPropertyFetchAsNeedle(): void
+    {
+        Config::getInstance()->ensure_array_int_offsets_exist = true;
+
+        $this->addFile(
+            'somefile.php',
+            '<?php
+            class Foo {
+                /** @var self::STATE_* $status */
+                public static int $status = self::STATE_A;
+                public const STATE_A = 0;
+                public const STATE_B = 1;
+            }
+
+            /** @var array<string> $bar */
+            $bar = [];
+
+            if (array_key_exists(Foo::$status, $bar)) {
+                echo $bar[Foo::$status];
+            }'
+        );
+
+        $this->analyzeFile('somefile.php', new Context());
+    }
 }