Test that a repeated missing iterable value type is reported once regardless of Type instance sharing

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Rules/Methods/MissingMethodParameterTypehintRuleTest.php

@@ -163,4 +163,22 @@ public function testBug14549(): void
 		]);
 	}
 
+	public function testRepeatedIterableTypeReportedOnce(): void
+	{
+		// the same missing value type is reported once per parameter,
+		// regardless of whether the occurrences share a Type instance (type alias) or not
+		$this->analyse([__DIR__ . '/data/missing-iterable-value-type-repeated.php'], [
+			[
+				'Method MissingIterableValueTypeRepeated\\Foo::inline() has parameter $a with no value type specified in iterable type array.',
+				14,
+				MissingTypehintCheck::MISSING_ITERABLE_VALUE_TYPE_TIP,
+			],
+			[
+				'Method MissingIterableValueTypeRepeated\\Foo::alias() has parameter $a with no value type specified in iterable type array.',
+				21,
+				MissingTypehintCheck::MISSING_ITERABLE_VALUE_TYPE_TIP,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/missing-iterable-value-type-repeated.php

@@ -0,0 +1,25 @@
+<?php
+
+namespace MissingIterableValueTypeRepeated;
+
+/**
+ * @phpstan-type BareArr array
+ */
+class Foo
+{
+
+	/**
+	 * @param callable(array): array $a
+	 */
+	public function inline($a): void
+	{
+	}
+
+	/**
+	 * @param callable(BareArr): BareArr $a
+	 */
+	public function alias($a): void
+	{
+	}
+
+}