test HasOffsetValueType

staabm · staabm · commit a09c050bdd2c · 2025-03-28T14:03:34.000+01:00
diff --git a/tests/PHPStan/Rules/Arrays/data/bug-12605.php b/tests/PHPStan/Rules/Arrays/data/bug-12605.php
@@ -27,3 +27,11 @@ function doFooBar(): void {
 	}
 }
 
+function doBaz(): void {
+	$test = test();
+
+	if (array_key_exists(5, $test) && is_int($test[5])) {
+		echo $test[3];
+	}
+}
+

Original file line number	Diff line number	Diff line change
`@@ -27,3 +27,11 @@ function doFooBar(): void {`
`27`	`27`	`}`
`28`	`28`	`}`
`29`	`29`
	`30`	`+function doBaz(): void {`
	`31`	`+ $test = test();`
	`32`	`+`
	`33`	`+ if (array_key_exists(5, $test) && is_int($test[5])) {`
	`34`	`+ echo $test[3];`
	`35`	`+ }`
	`36`	`+}`
	`37`	`+`