Add regression test for #1924

phpstan · Oct 18, 2020 · c431e38 · c431e38
1 parent 9ea485b
commit c431e38
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/tests/PHPStan/Rules/Comparison/data/boolean-and.php b/tests/PHPStan/Rules/Comparison/data/boolean-and.php
@@ -149,3 +149,18 @@ public function andInIfCondition($mixed, int $i): void
 		}
 	}
 }
+
+function getMaybeArray() : ?array {
+	if (rand(0, 1)) { return [1, 2, 3]; }
+	return null;
+}
+
+function bug1924() {
+	$arr = [
+		'a' => getMaybeArray(),
+		'b' => getMaybeArray(),
+	];
+
+	if (isset($arr['a']) && isset($arr['b'])) {
+	}
+}