Cover the falsey-but-not-false context and stabilize the CI message

Add array_all()/array_any() `=== false` test cases whose else branch is
the truthy result of the call. This reaches the falsey-but-not-false
type-specifier context that a plain `if (array_all(...))` never hits, so
the `$context->false()` discriminator is now covered by mutation testing.

Also make the array_all() impossible-check reproducer use a literal-false
predicate: `is_string($key)` on a list key is inferred as `false` on
current PHP but as `bool` on the downgraded 7.4/8.0 builds, which made the
reported closure type - and thus the expected error message - unstable
across the CI matrix.

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

Author: zonuexe

tests/PHPStan/Analyser/nsrt/array-all.php

@@ -307,6 +307,23 @@ public function testByRefParameter($array) {
 		}
 	}
 
+	/**
+	 * Strict `=== false` comparison. The else branch is the truthy result of
+	 * array_all(), so elements are narrowed there; it exercises the falsey-but-
+	 * not-false type-specifier context, which a plain `if (array_all(...))` does
+	 * not reach.
+	 *
+	 * @param array<mixed> $array
+	 */
+	public function testStrictFalseComparison($array) {
+		if (array_all($array, fn ($value) => is_int($value)) === false) {
+			assertType("non-empty-array<mixed>", $array);
+		} else {
+			assertType("array<int>", $array);
+		}
+		assertType("array<mixed>", $array);
+	}
+
 }
 
 /**

tests/PHPStan/Analyser/nsrt/array-any.php

@@ -140,6 +140,22 @@ public function testShapeRequiredImpossible($array) {
 		}
 	}
 
+	/**
+	 * Strict `=== false` comparison. The else branch is the truthy result of
+	 * array_any() (at least one match, so the array is non-empty); it exercises
+	 * the falsey-but-not-false type-specifier context.
+	 *
+	 * @param array<mixed> $array
+	 */
+	public function testStrictFalseComparison($array) {
+		if (array_any($array, fn ($value) => $value === null) === false) {
+			assertType("array<mixed~null>", $array);
+		} else {
+			assertType("non-empty-array<mixed>", $array);
+		}
+		assertType("array<mixed>", $array);
+	}
+
 }
 
 /**

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -287,12 +287,7 @@ public function testArrayAllNonEmptyList(): void
 		$this->analyse([__DIR__ . '/data/array-all-non-empty-list.php'], [
 			[
 				'Call to function array_all() with non-empty-list<mixed> and Closure(mixed, mixed): false will always evaluate to false.',
-				13,
-				'Because the type is coming from a PHPDoc, you can turn off this check by setting <fg=cyan>treatPhpDocTypesAsCertain: false</> in your <fg=cyan>%configurationFile%</>.',
-			],
-			[
-				'Call to function is_string() with int<0, max> will always evaluate to false.',
-				13,
+				20,
 				'Because the type is coming from a PHPDoc, you can turn off this check by setting <fg=cyan>treatPhpDocTypesAsCertain: false</> in your <fg=cyan>%configurationFile%</>.',
 			],
 		]);

tests/PHPStan/Rules/Comparison/data/array-all-non-empty-list.php

@@ -6,11 +6,18 @@ class Foo
 {
 
 	/**
+	 * A predicate that can never hold makes array_all() on a non-empty array
+	 * impossible: every element would have to satisfy it, but the array is
+	 * guaranteed to have at least one element. A literal-false predicate keeps
+	 * the reported closure type stable across PHP versions (a predicate like
+	 * is_string($key) is inferred as false on newer PHP but bool on the
+	 * downgraded builds).
+	 *
 	 * @param non-empty-list<mixed> $array
 	 */
 	public function doFoo(array $array): void
 	{
-		if (array_all($array, fn ($value, $key) => is_string($key))) {
+		if (array_all($array, fn ($value, $key) => false)) {
 			echo 'never';
 		}
 	}