implement @phpstandba-inference-placeholder annotation (#413)

Co-authored-by: Markus Staab <[email protected]>

Author: staabm

.phpstan-dba-mysqli.cache

@@ -6,6 +6,7 @@
 
 use PhpParser\Node\Expr;
 use PhpParser\Node\Expr\BinaryOp\Concat;
+use PhpParser\Node\Identifier;
 use PHPStan\Analyser\Scope;
 use PHPStan\ShouldNotHappenException;
 use PHPStan\Type\Constant\ConstantArrayType;
@@ -186,6 +187,27 @@ private function resolveQueryExpr(Expr $queryExpr, Scope $scope): ?string
      */
     private function resolveQueryStringExpr(Expr $queryExpr, Scope $scope): ?string
     {
+        if ($queryExpr instanceof Expr\MethodCall && $queryExpr->name instanceof Identifier) {
+            $classReflection = $scope->getClassReflection();
+
+            // XXX atm we only support inference-placeholder for method calls within the same class
+            if (null !== $classReflection && $classReflection->hasMethod($queryExpr->name->name)) {
+                $methodReflection = $classReflection->getMethod($queryExpr->name->name, $scope);
+
+                // atm no resolved phpdoc for methods
+                // see https://github.com/phpstan/phpstan/discussions/7657
+                $phpDocString = $methodReflection->getDocComment();
+                if (null !== $phpDocString && preg_match('/@phpstandba-inference-placeholder\s+(.+)$/m', $phpDocString, $matches)) {
+                    $placeholder = $matches[1];
+
+                    if (\in_array($placeholder[0], ['"', "'"], true)) {
+                        $placeholder = trim($placeholder, $placeholder[0]);
+                    }
+
+                    return $placeholder;
+                }
+            }
+        }
         if ($queryExpr instanceof Concat) {
             $left = $queryExpr->left;
             $right = $queryExpr->right;

.phpstan-dba-pdo-mysql.cache

@@ -64,6 +64,7 @@ public function dataFileAsserts(): iterable
         yield from $this->gatherAssertTypes(__DIR__.'/data/mysqli-union-result.php');
         yield from $this->gatherAssertTypes(__DIR__.'/data/pdo-default-fetch-types.php');
         yield from $this->gatherAssertTypes(__DIR__.'/data/bug372.php');
+        yield from $this->gatherAssertTypes(__DIR__.'/data/inference-placeholder.php');
     }
 
     /**