Add regression tests

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -835,6 +835,18 @@ public function testBug7248(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testBug6653(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-6653.php');
+		$this->assertNoErrors($errors);
+	}
+
+	public function testBug5592(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-5592.php');
+		$this->assertNoErrors($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return Error[]

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

@@ -0,0 +1,12 @@
+<?php declare(strict_types = 1);
+
+namespace Bug5592;
+
+/**
+ * @param \Ds\Map<\Ds\Hashable, numeric-string> $map
+ * @return numeric-string
+ */
+function mapGet(\Ds\Map $map, \Ds\Hashable $key): string
+{
+	return $map->get($key, '0');
+}

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

@@ -0,0 +1,38 @@
+<?php declare(strict_types = 1);
+
+namespace Bug6653;
+
+class HelloWorld
+{
+	/**
+     * @return array<string, int>|false
+     */
+	public function sayHello()
+	{
+		$test = $this->getTest();
+		return $this->filterEvent('sayHello', $test);
+	}
+
+	/**
+	 * @template TValue of mixed
+	 * @param TValue $value
+	 * @return TValue
+	 */
+	private function filterEvent(string $eventName, $value)
+	{
+		// do event
+		return $value;
+	}
+
+	/**
+     * @return array<string, int>|false
+     */
+	private function getTest()
+	{
+		$failure = random_int(0, PHP_INT_MAX) % 2 ? true : false;
+		if ($failure === true) {
+			return false;
+		}
+		return ['foo' => 123];
+	}
+}