add failling test

Author: staabm

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2073,6 +2073,10 @@ public function testBug12847(): void
 				39,
 				'mixed is empty.',
 			],
+			[
+				"Parameter #1 \$array of function doSomethingWithInt expects non-empty-array<int>, non-empty-array&hasOffsetValue('foo', 'hello') given.",
+				73,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Functions/data/bug-12847.php

@@ -47,3 +47,23 @@ function doSomething(array $array): void
 {
 
 }
+
+/**
+ * @param non-empty-array<int> $array
+ */
+function doSomethingWithInt(array $array): void
+{
+
+}
+
+function doFooBarInt(array $array):void {
+	if (array_key_exists('foo', $array) && $array['foo'] === 17) {
+		doSomethingWithInt($array);
+	}
+}
+
+function doFooBarString(array $array):void {
+	if (array_key_exists('foo', $array) && $array['foo'] === "hello") {
+		doSomethingWithInt($array);
+	}
+}