Regression test

Closes phpstan/phpstan#7434

Author: ondrejmirtes

tests/PHPStan/Rules/Methods/CallMethodsRuleNamedArgumentRenamedParameterTest.php

@@ -57,4 +57,14 @@ public function testRule(): void
 		]);
 	}
 
+	public function testBug7434(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7434.php'], [
+			[
+				'Call to Bug7434\Contract::method() uses named argument for parameter $val, but Bug7434\ImplementationWithDifferentName renames it to $wrong.',
+				28,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,29 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7434;
+
+interface Contract
+{
+	public function method(string $val): void;
+}
+
+class Implementation implements Contract
+{
+	public function method(string $val): void
+	{
+
+	}
+}
+
+class ImplementationWithDifferentName implements Contract
+{
+	public function method(string $wrong): void
+	{
+
+	}
+}
+
+function takesContract(Contract $contract): void
+{
+	$contract->method(val: 'string');
+}