diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
index 4d382775455..caf6b47887c 100644
--- a/tests/PHPStan/Analyser/NodeScopeResolverTest.php
+++ b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -1116,8 +1116,8 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8225.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8242.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/composer-treatPhpDocTypesAsCertainBug.php');
-
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/closure-retain-expression-types.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-7913.php');
 	}
 
 	/**
diff --git a/tests/PHPStan/Analyser/data/bug-7913.php b/tests/PHPStan/Analyser/data/bug-7913.php
new file mode 100644
index 00000000000..7afd5511db1
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-7913.php
@@ -0,0 +1,25 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7913b;
+
+use function PHPStan\Testing\assertType;
+
+const X = [];
+assertType('array{}', X);
+if (!empty(X)) {
+	assertType('*NEVER*', X);
+	foreach (X as $y) {
+		print($y);
+	}
+}
+assertType('array{}', X);
+
+$x = [];
+assertType('array{}', $x);
+if (!empty($x)) {
+	assertType('*NEVER*', $x);
+	foreach ($x as $y) {
+		print($y);
+	}
+}
+assertType('array{}', $x);
diff --git a/tests/PHPStan/Rules/Arrays/DeadForeachRuleTest.php b/tests/PHPStan/Rules/Arrays/DeadForeachRuleTest.php
index a5703438228..f4cf678a4d2 100644
--- a/tests/PHPStan/Rules/Arrays/DeadForeachRuleTest.php
+++ b/tests/PHPStan/Rules/Arrays/DeadForeachRuleTest.php
@@ -30,4 +30,9 @@ public function testRule(): void
 		]);
 	}
 
+	public function testBug7913(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7913.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Arrays/data/bug-7913.php b/tests/PHPStan/Rules/Arrays/data/bug-7913.php
new file mode 100644
index 00000000000..1bd3465b0bc
--- /dev/null
+++ b/tests/PHPStan/Rules/Arrays/data/bug-7913.php
@@ -0,0 +1,17 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7913;
+
+const X = [];
+if (!empty(X)) {
+	foreach (X as $y) {
+		print($y);
+	}
+}
+
+$x = [];
+if (!empty($x)) {
+	foreach ($x as $y) {
+		print($y);
+	}
+}