Test that a repeated non-generic object type of a generic class 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

@@ -165,19 +165,27 @@ public function testBug14549(): void
 
 	public function testRepeatedIterableTypeReportedOnce(): void
 	{
-		// the same missing value type is reported once per parameter,
+		// the same missing value type or generic class is reported once per parameter,
 		// regardless of whether the occurrences share a Type instance (type alias) or not
 		$this->analyse([__DIR__ . '/data/bug-15350.php'], [
 			[
 				'Method Bug15350\\Foo::inline() has parameter $a with no value type specified in iterable type array.',
-				14,
+				23,
 				MissingTypehintCheck::MISSING_ITERABLE_VALUE_TYPE_TIP,
 			],
 			[
 				'Method Bug15350\\Foo::alias() has parameter $a with no value type specified in iterable type array.',
-				21,
+				30,
 				MissingTypehintCheck::MISSING_ITERABLE_VALUE_TYPE_TIP,
 			],
+			[
+				'Method Bug15350\\Foo::inlineGeneric() has parameter $a with generic class Bug15350\\Box but does not specify its types: T',
+				37,
+			],
+			[
+				'Method Bug15350\\Foo::aliasGeneric() has parameter $a with generic class Bug15350\\Box but does not specify its types: T',
+				44,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Methods/data/bug-15350.php

@@ -2,8 +2,17 @@
 
 namespace Bug15350;
 
+/**
+ * @template T
+ */
+class Box
+{
+
+}
+
 /**
  * @phpstan-type BareArr array
+ * @phpstan-type BareBox Box
  */
 class Foo
 {
@@ -22,4 +31,18 @@ public function alias($a): void
 	{
 	}
 
+	/**
+	 * @param callable(Box): Box $a
+	 */
+	public function inlineGeneric($a): void
+	{
+	}
+
+	/**
+	 * @param callable(BareBox): BareBox $a
+	 */
+	public function aliasGeneric($a): void
+	{
+	}
+
 }