Regression tests

Closes phpstan/phpstan#11709
Closes phpstan/phpstan#9524

Author: ondrejmirtes

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1455,6 +1455,16 @@ public function testBug11640(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testBug11709(): void
+	{
+		if (PHP_VERSION_ID < 80000) {
+			$this->markTestSkipped('Test requires PHP 8.0.');
+		}
+
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-11709.php');
+		$this->assertNoErrors($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return Error[]

tests/PHPStan/Analyser/data/bug-11709.php

@@ -0,0 +1,28 @@
+<?php
+
+namespace Bug11709;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @phpstan-template T
+ * @param ($value is array ? array<T> : mixed) $value
+ * @phpstan-assert array<string, T> $value
+ */
+function isArrayWithStringKeys(mixed $value): void
+{
+	if (!is_array($value)) {
+		throw new \Exception('Not an array');
+	}
+
+	foreach (array_keys($value) as $key) {
+		if (!is_string($key)) {
+			throw new \Exception('Non-string key');
+		}
+	}
+}
+
+function ($m): void {
+	isArrayWithStringKeys($m);
+	assertType('array<string, mixed>', $m);
+};

tests/PHPStan/Rules/Methods/OverridingMethodRuleTest.php

@@ -808,4 +808,10 @@ public function testBug10165(): void
 		$this->analyse([__DIR__ . '/data/bug-10165.php'], []);
 	}
 
+	public function testBug9524(): void
+	{
+		$this->phpVersionId = PHP_VERSION_ID;
+		$this->analyse([__DIR__ . '/data/bug-9524.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-9524.php

@@ -0,0 +1,11 @@
+<?php
+
+namespace Bug9524;
+
+class MysqlConnection extends \mysqli
+{
+	public function change_user($user, $password, $database): bool
+	{
+		return false;
+	}
+}