Added PHP_BUILD_DATE type (PHP 8.5+)

Author: staabm

src/Analyser/ConstantResolver.php

@@ -159,6 +159,13 @@ public function resolvePredefinedConstant(string $resolvedConstantName): ?Type
 
 			return $this->createInteger($minVersion, $maxVersion);
 		}
+		// added in PHP 8.5
+		if ($resolvedConstantName === 'PHP_BUILD_DATE') {
+			return new IntersectionType([
+				new StringType(),
+				new AccessoryNonFalsyStringType(),
+			]);
+		}
 		if ($resolvedConstantName === 'PHP_ZTS') {
 			return new UnionType([
 				new ConstantIntegerType(0),

tests/PHPStan/Analyser/nsrt/predefined-constants-php85.php

@@ -0,0 +1,5 @@
+<?php
+
+use function PHPStan\Testing\assertType;
+
+assertType('non-falsy-string', PHP_BUILD_DATE);