Add test

Author: VincentLanglet

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -3673,7 +3673,12 @@ public function testBug12219(): void
 		$this->checkNullables = true;
 		$this->checkUnionTypes = true;
 		$this->checkExplicitMixed = true;
-		$this->analyse([__DIR__ . '/data/bug-12219.php'], []);
+		$this->analyse([__DIR__ . '/data/bug-12219.php'], [
+			[
+				'Parameter #2 $value of method Bug12219\Bug3::foo() contains unresolvable type.',
+				75,
+			],
+		]);
 	}
 
 	public function testBug13511(): void

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

@@ -52,3 +52,26 @@ public function bar(string $class, mixed $value): void
 		$this->foo($class, $value);
 	}
 }
+
+class Bug3
+{
+	/**
+	 * @template T of \UnitEnum
+	 * @param class-string<T> $class
+	 * @param value-of<T> $value
+	 */
+	public function foo(string $class, mixed $value): void
+	{
+	}
+
+	/**
+	 * @template Q of \UnitEnum
+	 * @param class-string<Q> $class
+	 * @param value-of<Q> $value
+	 */
+	public function bar(string $class, mixed $value): void
+	{
+		// Parameter #2 $value of static method Bug::foo() contains unresolvable type.
+		$this->foo($class, $value);
+	}
+}