Add a test case where the context is truthy

Author: uekann

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);
+	}
 }