RemoveNonExistingVarAnnotationRector: Allow return annotations (#3534)

Fixes rectorphp/rector#7859

rules-tests/DeadCode/Rector/Node/RemoveNonExistingVarAnnotationRector/Fixture/return_annotation_invalid.php.inc

@@ -0,0 +1,28 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\Node\RemoveNonExistingVarAnnotationRector\Fixture;
+
+class ReturnAnnotationInvalid
+{
+    public function getValue()
+    {
+        /** @var int */
+        return;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\Node\RemoveNonExistingVarAnnotationRector\Fixture;
+
+class ReturnAnnotationInvalid
+{
+    public function getValue()
+    {
+        return;
+    }
+}
+
+?>

rules-tests/DeadCode/Rector/Node/RemoveNonExistingVarAnnotationRector/Fixture/return_annotation_unwanted.php.inc

@@ -0,0 +1,28 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\Node\RemoveNonExistingVarAnnotationRector\Fixture;
+
+class ReturnAnnotationUnwanted
+{
+    public function getValue()
+    {
+        /** @var array<string, string> */
+        return new stdClass;
+    }
+}
+
+?>
+-----
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\Node\RemoveNonExistingVarAnnotationRector\Fixture;
+
+class ReturnAnnotationUnwanted
+{
+    public function getValue()
+    {
+        return new stdClass;
+    }
+}
+
+?>

rules-tests/DeadCode/Rector/Node/RemoveNonExistingVarAnnotationRector/Fixture/skip_direct_return_func_call.php.inc

@@ -0,0 +1,12 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\Node\RemoveNonExistingVarAnnotationRector\Fixture;
+
+class SkipDirectReturnFuncCall
+{
+    public function getValue(): int|false|null
+    {
+        /** @var int|false|null */
+        return filter_input(INPUT_GET, 'value', FILTER_VALIDATE_INT);
+    }
+}

rules/DeadCode/Rector/Node/RemoveNonExistingVarAnnotationRector.php

@@ -7,7 +7,9 @@
 use PhpParser\Node;
 use PhpParser\Node\Expr\Assign;
 use PhpParser\Node\Expr\AssignRef;
+use PhpParser\Node\Expr\CallLike;
 use PhpParser\Node\Expr\FuncCall;
+use PhpParser\Node\Expr\New_;
 use PhpParser\Node\Expr\Variable;
 use PhpParser\Node\Stmt\Echo_;
 use PhpParser\Node\Stmt\Expression;
@@ -114,6 +116,11 @@ public function refactor(Node $node): ?Node
         }
 
         $variableName = ltrim($varTagValueNode->variableName, '$');
+
+        if ($variableName === '' && $this->isAnnotatableReturn($node)) {
+            return null;
+        }
+
         if ($this->hasVariableName($node, $variableName)) {
             return null;
         }
@@ -197,4 +204,11 @@ private function isObjectShapePseudoType(VarTagValueNode $varTagValueNode): bool
 
         return str_contains($varTagValueNode->description, '}');
     }
+
+    private function isAnnotatableReturn(Node $node): bool
+    {
+        return $node instanceof Return_
+            && $node->expr instanceof CallLike
+            && ! $node->expr instanceof New_;
+    }
 }