Add non regression test

Author: VincentLanglet

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -2733,6 +2733,19 @@ public function testBug8752(): void
 		]);
 	}
 
+	public function testBug8713(): void
+	{
+		if (PHP_VERSION_ID < 80000) {
+			$this->markTestSkipped('Test requires PHP 8.0');
+		}
+
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/bug-8713.php'], []);
+	}
+
 	public function testCannotCallOnGenericClassString(): void
 	{
 		$this->checkThisOnly = false;

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

@@ -0,0 +1,13 @@
+<?php // lint >= 8.0
+
+namespace Bug8713;
+
+class Foo
+{
+	public function foo(): void
+	{
+		$query = "SELECT * FROM `foo`";
+		$pdo = new \PDO("dsn");
+		$pdo->query(query: $query);
+	}
+}