fix

Author: staabm

src/Analyser/ConstantResolver.php

@@ -34,7 +34,7 @@
 final class ConstantResolver
 {
 
-	public const PHP_MIN_VERSION_ID = 50207;
+	public const PHP_MIN_ANALYZABLE_VERSION_ID = 50207;
 
 	/** @var array<string, true> */
 	private array $currentlyResolving = [];
@@ -143,7 +143,7 @@ public function resolvePredefinedConstant(string $resolvedConstantName): ?Type
 			return $this->createInteger($minRelease, $maxRelease);
 		}
 		if ($resolvedConstantName === 'PHP_VERSION_ID') {
-			$minVersion = self::PHP_MIN_VERSION_ID;
+			$minVersion = self::PHP_MIN_ANALYZABLE_VERSION_ID;
 			$maxVersion = null;
 			if ($minPhpVersion !== null) {
 				$minVersion = max($minVersion, $minPhpVersion->getVersionId());

src/Analyser/MutatingScope.php

@@ -52,6 +52,7 @@
 use PHPStan\Parser\NewAssignedToPropertyVisitor;
 use PHPStan\Parser\Parser;
 use PHPStan\Php\PhpVersion;
+use PHPStan\Php\PhpVersionFactory;
 use PHPStan\Php\PhpVersions;
 use PHPStan\PhpDoc\Tag\TemplateTag;
 use PHPStan\Reflection\Assertions;
@@ -6235,10 +6236,10 @@ public function getIterableValueType(Type $iteratee): Type
 
 	public function getPhpVersion(): PhpVersions
 	{
-		$minPhpVersion = IntegerRangeType::fromInterval(ConstantResolver::PHP_MIN_VERSION_ID, null);
+		$overallPhpVersionRange = IntegerRangeType::fromInterval(ConstantResolver::PHP_MIN_ANALYZABLE_VERSION_ID, PhpVersionFactory::MAX_PHP_VERSION);
 
 		$constType = $this->getGlobalConstantType(new Name('PHP_VERSION_ID'));
-		if ($constType !== null && !$constType->isSuperTypeOf($minPhpVersion)->yes()) {
+		if ($constType !== null && !$constType->equals($overallPhpVersionRange)) {
 			return new PhpVersions($constType);
 		}