From 801fe6ba8dc3287d26aa14965aa669a7b666f7d5 Mon Sep 17 00:00:00 2001
From: Markus Staab <markus.staab@redaxo.de>
Date: Tue, 11 Mar 2025 17:33:24 +0100
Subject: [PATCH] Added regression test

---
 .../Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php   | 7 +++++++
 tests/PHPStan/Rules/Arrays/data/bug-11447.php             | 8 ++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 tests/PHPStan/Rules/Arrays/data/bug-11447.php

diff --git a/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php b/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
index a1e7fbd212..3323d3a0dd 100644
--- a/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
+++ b/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
@@ -870,6 +870,13 @@ public function testBug8649(): void
 		$this->analyse([__DIR__ . '/data/bug-8649.php'], []);
 	}
 
+	public function testBug11447(): void
+	{
+		$this->reportPossiblyNonexistentGeneralArrayOffset = true;
+
+		$this->analyse([__DIR__ . '/data/bug-11447.php'], []);
+	}
+
 	public function testNarrowSuperglobals(): void
 	{
 		$this->reportPossiblyNonexistentGeneralArrayOffset = true;
diff --git a/tests/PHPStan/Rules/Arrays/data/bug-11447.php b/tests/PHPStan/Rules/Arrays/data/bug-11447.php
new file mode 100644
index 0000000000..f59f2bdd6a
--- /dev/null
+++ b/tests/PHPStan/Rules/Arrays/data/bug-11447.php
@@ -0,0 +1,8 @@
+<?php
+
+namespace Bug11447;
+
+function doFoo() {
+	\assert( \array_key_exists( 'key1', $_GET ) && \is_numeric( $_GET['key1'] ) );
+	\assert( isset( $_GET['key2'] ) && \is_numeric( $_GET['key2'] ) );
+}