fix

Author: staabm

src/Analyser/MutatingScope.php

@@ -5727,15 +5727,17 @@ public function getIterableValueType(Type $iteratee): Type
 
 	public function getPhpVersion(): PhpVersions
 	{
-		$name = new Name('PHP_VERSION_ID');
-		if (!$this->hasConstant($name)) {
-			if (is_array($this->configPhpVersion)) {
-				return new PhpVersions(IntegerRangeType::fromInterval($this->configPhpVersion['min'], $this->configPhpVersion['max']));
+		foreach (['PHP_VERSION_ID', '\\PHP_VERSION_ID'] as $constName) {
+			$versionExpr = new ConstFetch(new Name($constName));
+			if ($this->hasExpressionType($versionExpr)->yes()) {
+				return new PhpVersions($this->getType($versionExpr));
 			}
-			return new PhpVersions(new ConstantIntegerType($this->phpVersion->getVersionId()));
 		}
 
-		return new PhpVersions($this->getType(new ConstFetch($name)));
+		if (is_array($this->configPhpVersion)) {
+			return new PhpVersions(IntegerRangeType::fromInterval($this->configPhpVersion['min'], $this->configPhpVersion['max']));
+		}
+		return new PhpVersions(new ConstantIntegerType($this->phpVersion->getVersionId()));
 	}
 
 }