Add a test case where the context is truthy

uekann · staabm · commit 14e0f3dd7aaa · 2026-04-08T19:58:32.000+02:00
diff --git a/tests/PHPStan/Analyser/nsrt/array-all.php b/tests/PHPStan/Analyser/nsrt/array-all.php
@@ -176,4 +176,16 @@ public function test14($array) {
 		}
 		assertType("array<mixed>", $array);
 	}
+
+	/**
+	 * @param array<mixed> $array
+	 */
+	public function test15($array) {
+		if (array_all($array, fn ($value) => is_int($value)) === true) {
+			assertType("array<int>", $array);
+		} else {
+			assertType("array<mixed>", $array);
+		}
+		assertType("array<mixed>", $array);
+	}
 }

Original file line number	Diff line number	Diff line change
`@@ -176,4 +176,16 @@ public function test14($array) {`
`176`	`176`	`}`
`177`	`177`	`assertType("array<mixed>", $array);`
`178`	`178`	`}`
	`179`	`+`
	`180`	`+ /**`
	`181`	`+ * @param array<mixed> $array`
	`182`	`+ */`
	`183`	`+ public function test15($array) {`
	`184`	`+ if (array_all($array, fn ($value) => is_int($value)) === true) {`
	`185`	`+ assertType("array<int>", $array);`
	`186`	`+ } else {`
	`187`	`+ assertType("array<mixed>", $array);`
	`188`	`+ }`
	`189`	`+ assertType("array<mixed>", $array);`
	`190`	`+ }`
`179`	`191`	`}`