Add 11015 regression test

Author: VincentLanglet

tests/PHPStan/Rules/PhpDoc/WrongVariableNameInVarTagRuleTest.php

@@ -197,6 +197,15 @@ public function testBug12458(): void
 		$this->analyse([__DIR__ . '/data/bug-12458.php'], []);
 	}
 
+	public function testBug11015(): void
+	{
+		$this->checkTypeAgainstNativeType = true;
+		$this->checkTypeAgainstPhpDocType = true;
+		$this->strictWideningCheck = true;
+
+		$this->analyse([__DIR__ . '/data/bug-11015.php'], []);
+	}
+
 	public function testEnums(): void
 	{
 		if (PHP_VERSION_ID < 80100) {

tests/PHPStan/Rules/PhpDoc/data/bug-11015.php

@@ -0,0 +1,25 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11015;
+
+class HelloWorld
+{
+	public function sayHello(PDOStatement $date): void
+	{
+		$b = $date->fetch();
+		if (empty($b)) {
+			return;
+		}
+
+		/** @var array<string, int> $b */
+		echo $b['a'];
+	}
+
+	public function sayHello2(PDOStatement $date): void
+	{
+		$b = $date->fetch();
+
+		/** @var array<string, int> $b */
+		echo $b['a'];
+	}
+}