diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
index 45e956408f..8116216499 100644
--- a/src/Analyser/MutatingScope.php
+++ b/src/Analyser/MutatingScope.php
@@ -548,16 +548,15 @@ public function getVariableType(string $variableName): Type
 			}
 		}
 
-		if ($this->isGlobalVariable($variableName)) {
-			return new ArrayType(new BenevolentUnionType([new IntegerType(), new StringType()]), new MixedType(true));
-		}
-
 		if ($this->hasVariableType($variableName)->no()) {
 			throw new UndefinedVariableException($this, $variableName);
 		}
 
 		$varExprString = '$' . $variableName;
 		if (!array_key_exists($varExprString, $this->expressionTypes)) {
+			if ($this->isGlobalVariable($variableName)) {
+				return new ArrayType(new BenevolentUnionType([new IntegerType(), new StringType()]), new MixedType(true));
+			}
 			return new MixedType();
 		}
 
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
index 9dd8161487..a2e9ef0619 100644
--- a/tests/PHPStan/Analyser/NodeScopeResolverTest.php
+++ b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -210,6 +210,7 @@ private static function findTestFiles(): iterable
 
 		yield __DIR__ . '/../Rules/Arrays/data/bug-11679.php';
 		yield __DIR__ . '/../Rules/Methods/data/bug-4801.php';
+		yield __DIR__ . '/../Rules/Arrays/data/narrow-superglobal.php';
 	}
 
 	/**
diff --git a/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php b/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
index 6557f97ed3..a1e7fbd212 100644
--- a/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
+++ b/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
@@ -870,4 +870,11 @@ public function testBug8649(): void
 		$this->analyse([__DIR__ . '/data/bug-8649.php'], []);
 	}
 
+	public function testNarrowSuperglobals(): void
+	{
+		$this->reportPossiblyNonexistentGeneralArrayOffset = true;
+
+		$this->analyse([__DIR__ . '/data/narrow-superglobal.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Arrays/data/narrow-superglobal.php b/tests/PHPStan/Rules/Arrays/data/narrow-superglobal.php
new file mode 100644
index 0000000000..83edeb9fd5
--- /dev/null
+++ b/tests/PHPStan/Rules/Arrays/data/narrow-superglobal.php
@@ -0,0 +1,16 @@
+<?php
+
+namespace NarrowsSuperGlobal;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+	public function doFoo(): void
+	{
+		if (array_key_exists('HTTP_HOST', $_SERVER)) {
+			assertType("non-empty-array&hasOffset('HTTP_HOST')", $_SERVER);
+			echo $_SERVER['HTTP_HOST'];
+		}
+	}
+}