Regression test

Closes phpstan/phpstan#13135

Author: ondrejmirtes

tests/PHPStan/Rules/Arrays/InvalidKeyInArrayDimFetchRuleTest.php

@@ -15,7 +15,7 @@ class InvalidKeyInArrayDimFetchRuleTest extends RuleTestCase
 
 	protected function getRule(): Rule
 	{
-		$ruleLevelHelper = new RuleLevelHelper(self::createReflectionProvider(), true, false, true, false, false, false, true);
+		$ruleLevelHelper = new RuleLevelHelper(self::createReflectionProvider(), true, false, true, true, true, false, true);
 		return new InvalidKeyInArrayDimFetchRule($ruleLevelHelper, true);
 	}
 
@@ -38,6 +38,10 @@ public function testInvalidKey(): void
 				'Invalid array key type DateTimeImmutable.',
 				31,
 			],
+			[
+				'Possibly invalid array key type mixed.',
+				41,
+			],
 			[
 				'Invalid array key type DateTimeImmutable.',
 				45,
@@ -92,4 +96,14 @@ public function testBug6315(): void
 		]);
 	}
 
+	public function testBug13135(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13135.php'], [
+			[
+				'Possibly invalid array key type Tk of mixed.',
+				15,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Arrays/data/bug-13135.php

@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug13135;
+
+/**
+ * @template Tk
+ * @template Tv
+ *
+ * @param iterable<Tk, Tv> $iterable
+ */
+function my_to_array(iterable $iterable): void
+{
+	$result = [];
+	foreach ($iterable as $k => $v) {
+		$result[$k] = $v;
+	}
+
+	var_dump($result);
+}