fix

Author: staabm

src/Analyser/ConstantResolver.php

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

src/Analyser/MutatingScope.php

@@ -6235,8 +6235,10 @@ public function getIterableValueType(Type $iteratee): Type
 
 	public function getPhpVersion(): PhpVersions
 	{
+		$minPhpVersion = IntegerRangeType::fromInterval(ConstantResolver::PHP_MIN_VERSION_ID, null);
+
 		$constType = $this->getGlobalConstantType(new Name('PHP_VERSION_ID'));
-		if ($constType !== null) {
+		if ($constType !== null && !$minPhpVersion->isSuperTypeOf($constType)->yes()) {
 			return new PhpVersions($constType);
 		}