Regression test

Author: ondrejmirtes

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -3172,4 +3172,23 @@ public function testRequireImplements(): void
 		]);
 	}
 
+	public function testBug6371(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->checkExplicitMixed = true;
+
+		$this->analyse([__DIR__ . '/data/bug-6371.php'], [
+			[
+				'Parameter #1 $t of method Bug6371\HelloWorld<int,string>::compare() expects int, true given.',
+				24,
+			],
+			[
+				'Parameter #2 $k of method Bug6371\HelloWorld<int,string>::compare() expects string, false given.',
+				24,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,25 @@
+<?php
+
+namespace Bug6371;
+
+/**
+ * @template T
+ * @template K
+ *
+ * @method bool compare(T $t, K $k) Compares two objects magically somehow
+ */
+class HelloWorld
+{
+	public function __call(string $name, array $args) {
+		return true;
+	}
+}
+
+/**
+ * @param HelloWorld<int, string> $hw
+ * @return void
+ */
+function foo (HelloWorld $hw): void {
+	$hw->compare(1, 'foo');
+	$hw->compare(true, false);
+};