Add new test case for array_all

Author: uekann

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

@@ -2,6 +2,9 @@
 
 namespace ArrayAll;
 
+use DateTime;
+use DateTimeImmutable;
+
 use function PHPStan\Testing\assertType;
 
 class Foo {
@@ -58,4 +61,22 @@ public function test6($array) {
 			assertType("array<mixed>", $array);
 		}
 	}
+
+	/**
+	 * @param array<mixed> $array
+	 */
+	public function test7($array) {
+		if (array_all($array, fn ($value) => $value instanceof DateTime)) {
+			assertType("array<DateTime>", $array);
+		}
+	}
+
+	/**
+	 * @param array<mixed> $array
+	 */
+	public function test8($array) {
+		if (array_all($array, fn ($value) => $value instanceof DateTime || $value instanceof DateTimeImmutable)) {
+			assertType("array<DateTime|DateTimeImmutable>", $array);
+		}
+	}
 }