add more tests

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-11276.php

@@ -1,8 +1,10 @@
 <?php
 
+namespace Bug11276;
+
 use function PHPStan\Testing\assertType;
 
-function sayEqualArrayShape(int $i, $arr): void
+function doFoo(int $i, int $j, $arr): void
 {
 	if (false || array_key_exists($i, $arr)) {
 		assertType('non-empty-array', $arr);
@@ -20,7 +22,37 @@ function sayEqualArrayShape(int $i, $arr): void
 		assertType('mixed', $arr);
 	}
 
+	if (array_key_exists($i, $arr) || array_key_exists($j, $arr)) {
+		assertType('non-empty-array', $arr);
+	}
+
+	if (!array_key_exists($j, $arr)) {
+		if (array_key_exists($i, $arr) || array_key_exists($j, $arr)) {
+			assertType('non-empty-array', $arr);
+		}
+	}
+	if (!array_key_exists($i, $arr)) {
+		if (array_key_exists($i, $arr) || array_key_exists($j, $arr)) {
+			assertType('non-empty-array', $arr);
+		}
+	}
+
 	if (array_key_exists($i, $arr)) {
 		assertType('non-empty-array', $arr);
 	}
 }
+
+function doBar($j, $arr) {
+	$i = 1;
+	if (!array_key_exists($i, $arr)) {
+		if (array_key_exists($i, $arr) || array_key_exists($j, $arr)) {
+			assertType('non-empty-array<mixed~1, mixed>', $arr);
+		}
+	}
+
+	if (!array_key_exists($i, $arr)) {
+		if (array_key_exists($j, $arr) || array_key_exists($i, $arr)) {
+			assertType('non-empty-array<mixed~1, mixed>', $arr);
+		}
+	}
+}