Add (skipped) test for #1

vimeo · Nov 21, 2016 · ded2cb5 · ded2cb5
1 parent 05a004c
commit ded2cb5
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/TypeTest.php b/tests/TypeTest.php
@@ -1669,4 +1669,18 @@ public function bar() {
         $context = new Context('somefile.php');
         $file_checker->check();
     }
+
+    public function testIfNotEqualFalse()
+    {
+        $this->markTestIncomplete('This currently fails');
+        $stmts = self::$parser->parse('<?php
+        if (($row = rand(0,10) ? [] : false) !== false) {
+           $row[0] = "good";
+           echo $row[0];
+        }
+        ');
+
+        $file_checker = new FileChecker('somefile.php', $stmts);
+        $file_checker->check();
+    }
 }