feat: added concated strings type

src/Infer/Handler/ConcatHandler.php

@@ -0,0 +1,29 @@
+<?php
+
+namespace Dedoc\Scramble\Infer\Handler;
+
+use Dedoc\Scramble\Infer\Scope\Scope;
+use Dedoc\Scramble\Support\Type\ConcatenatedStringType;
+use Dedoc\Scramble\Support\Type\SideEffects\SelfTemplateDefinition;
+use Dedoc\Scramble\Support\Type\TemplateType;
+use Dedoc\Scramble\Support\Type\TypeHelper;
+use PhpParser\Node;
+
+class ConcatHandler
+{
+    public function shouldHandle($node)
+    {
+        return $node instanceof Node\Expr\BinaryOp\Concat;
+    }
+
+    public function leave(Node\Expr\BinaryOp\Concat $node, Scope $scope)
+    {
+        $scope->setType(
+            $node,
+            new ConcatenatedStringType(TypeHelper::flattenStringConcatTypes([
+                $scope->getType($node->left),
+                $scope->getType($node->right),
+            ])),
+        );
+    }
+}

src/Infer/TypeInferer.php

@@ -9,6 +9,7 @@
 use Dedoc\Scramble\Infer\Handler\ArrayItemHandler;
 use Dedoc\Scramble\Infer\Handler\AssignHandler;
 use Dedoc\Scramble\Infer\Handler\ClassHandler;
+use Dedoc\Scramble\Infer\Handler\ConcatHandler;
 use Dedoc\Scramble\Infer\Handler\CreatesScope;
 use Dedoc\Scramble\Infer\Handler\ExceptionInferringExtensions;
 use Dedoc\Scramble\Infer\Handler\ExpressionTypeInferringExtensions;
@@ -41,6 +42,7 @@ public function __construct(
         $this->handlers = [
             new FunctionLikeHandler(),
             new AssignHandler(),
+            new ConcatHandler(),
             new ClassHandler(),
             new PropertyHandler(),
             new ArrayHandler(),

src/Support/OperationExtensions/RulesExtractor/ValidateCallExtractor.php

@@ -2,12 +2,8 @@
 
 namespace Dedoc\Scramble\Support\OperationExtensions\RulesExtractor;
 
-use Dedoc\Scramble\Infer;
-use Dedoc\Scramble\Infer\Scope\GlobalScope;
-use Dedoc\Scramble\Infer\Scope\Scope;
 use Dedoc\Scramble\Support\RouteInfo;
 use Illuminate\Http\Request;
-use Illuminate\Routing\Route;
 use PhpParser\Node;
 use PhpParser\NodeFinder;
 use PhpParser\PrettyPrinter\Standard;
@@ -85,6 +81,9 @@ public function extract(RouteInfo $routeInfo)
 
         if ($validationRules) {
             $type = $routeInfo->getMethodScopeTypeResolver()->getType($validationRules);
+//            dump([
+//                $routeInfo->className().'@'.$routeInfo->methodName() => $type->toString(),
+//            ]);
         }
 
         if ($validationRules) {

src/Support/Type/ConcatenatedStringType.php

@@ -0,0 +1,28 @@
+<?php
+
+namespace Dedoc\Scramble\Support\Type;
+
+class ConcatenatedStringType extends StringType
+{
+    /**
+     * @param Type[] $parts Types of parts being concatenated.
+     */
+    public function __construct(public array $parts)
+    {
+    }
+
+    public function nodes(): array
+    {
+        return ['parts'];
+    }
+
+    public function isSame(Type $type)
+    {
+        return $this === $type;
+    }
+
+    public function toString(): string
+    {
+        return parent::toString().'('.implode(', ', array_map(fn ($p) => $p->toString(), $this->parts)).')';
+    }
+}

src/Support/Type/TypeHelper.php

@@ -146,4 +146,15 @@ public static function createTypeFromValue(mixed $value)
 
         return null; // @todo: object
     }
+
+    /**
+     * @param Type[] $parts
+     */
+    public static function flattenStringConcatTypes(array $parts): array
+    {
+        return collect($parts)
+            ->flatMap(fn ($t) => $t instanceof ConcatenatedStringType ? $t->parts : [$t])
+            ->values()
+            ->all();
+    }
 }

tests/Infer/Scope/ScopeTest.php

@@ -11,3 +11,14 @@ function getStatementTypeForScopeTest(string $statement, array $extensions = [])
     ['$foo->bar', 'unknown'],
     ['$foo->bar->{"baz"}', 'unknown'],
 ]);
+
+it('infers concat string type', function ($code, $expectedTypeString) {
+    expect(getStatementTypeForScopeTest($code)->toString())->toBe($expectedTypeString);
+})->with([
+    ['"a"."b"."c"', 'string(string(a), string(b), string(c))'],
+]);
+it('infers concat string type with unknowns', function ($code, $expectedTypeString) {
+    expect(getStatementTypeForScopeTest($code)->toString())->toBe($expectedTypeString);
+})->with([
+    ['"a"."b".auth()->user()->id', 'string(string(a), string(b), unknown)'],
+]);