fix

staabm · staabm · commit 9c2fd64969e1 · 2025-05-28T10:51:00.000+02:00
diff --git a/src/Analyser/ConstantResolver.php b/src/Analyser/ConstantResolver.php
@@ -34,7 +34,7 @@
 final class ConstantResolver
 {
 
-	public const int PHP_MIN_VERSION_ID = 50207;
+	public const PHP_MIN_VERSION_ID = 50207;
 
 	/** @var array<string, true> */
 	private array $currentlyResolving = [];
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -6238,7 +6238,7 @@ public function getPhpVersion(): PhpVersions
 		$minPhpVersion = IntegerRangeType::fromInterval(ConstantResolver::PHP_MIN_VERSION_ID, null);
 
 		$constType = $this->getGlobalConstantType(new Name('PHP_VERSION_ID'));
-		if ($constType !== null && !$minPhpVersion->isSuperTypeOf($constType)->yes()) {
+		if ($constType !== null && !$constType->isSuperTypeOf($minPhpVersion)->yes()) {
 			return new PhpVersions($constType);
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@`
`34`	`34`	`final class ConstantResolver`
`35`	`35`	`{`
`36`	`36`
`37`		`- public const int PHP_MIN_VERSION_ID = 50207;`
	`37`	`+ public const PHP_MIN_VERSION_ID = 50207;`
`38`	`38`
`39`	`39`	`/** @var array<string, true> */`
`40`	`40`	`private array $currentlyResolving = [];`
Original file line number	Diff line number	Diff line change
`@@ -6238,7 +6238,7 @@ public function getPhpVersion(): PhpVersions`
`6238`	`6238`	`$minPhpVersion = IntegerRangeType::fromInterval(ConstantResolver::PHP_MIN_VERSION_ID, null);`
`6239`	`6239`
`6240`	`6240`	`$constType = $this->getGlobalConstantType(new Name('PHP_VERSION_ID'));`
`6241`		`- if ($constType !== null && !$minPhpVersion->isSuperTypeOf($constType)->yes()) {`
	`6241`	`+ if ($constType !== null && !$constType->isSuperTypeOf($minPhpVersion)->yes()) {`
`6242`	`6242`	`return new PhpVersions($constType);`
`6243`	`6243`	`}`
`6244`	`6244`