Regression test

Closes phpstan/phpstan#7173

Author: ondrejmirtes

Diff for: tests/PHPStan/Rules/Comparison/StrictComparisonOfDifferentTypesRuleTest.php

@@ -906,4 +906,9 @@ public function testBug10493(): void
 		$this->analyse([__DIR__ . '/data/bug-10493.php'], []);
 	}
 
+	public function testBug7173(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7173.php'], []);
+	}
+
 }

Diff for: tests/PHPStan/Rules/Comparison/data/bug-7173.php

@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug7173;
+
+function (): void {
+	$a1 = [
+		'item2' => 0,
+		'item1' => 0,
+	];
+
+	call_user_func(function () use (&$a1) {
+		$a1['item2'] = 3;
+		$a1['item1'] = 1;
+	});
+
+	if (['item2' => 3, 'item1' => 1] === $a1) {
+		throw new \Exception();
+	}
+};

Diff for: tests/PHPStan/Rules/PhpDoc/WrongVariableNameInVarTagRuleTest.php

@@ -140,6 +140,10 @@ public function testRule(): void
 				'PHPDoc tag @var above a function has no effect.',
 				313,
 			],
+			[
+				"PHPDoc tag @var with type array<int, mixed> is not subtype of native type array{: 'empty', 1: '1'}.",
+				324,
+			],
 		]);
 	}
 

Diff for: tests/PHPStan/Rules/PhpDoc/data/wrong-variable-name-var.php

@@ -314,3 +314,20 @@ function doFoo(): void
 {
 
 }
+
+class VarTagAboveLiteralArray
+{
+
+	public function doFoo(): void
+	{
+		/** @var array<int, mixed> */
+		$arr = ['' => 'empty', 1 => '1'];
+	}
+
+	public function doFoo2(): void
+	{
+		/** @var array<int|string, mixed> */
+		$arr = ['' => 'empty', 1 => '1'];
+	}
+
+}