Declare array shapes on positional tuple returns (#805)

Co-authored-by: Tomas Votruba <tomas@getrector.org>

Author: TomasVotruba

rules/CodeQuality/NodeFactory/AssertArrayHasKeyCallFactory.php

@@ -44,7 +44,7 @@ private function isInsideTestCase(Scope $scope): bool
     }
 
     /**
-     * @return Arg[]
+     * @return array{Arg, Arg, Arg}
      */
     private function createArgs(Variable $dimFetchVariable, Expr $dimExpr): array
     {

rules/CodeQuality/Rector/MethodCall/AssertComparisonToSpecificMethodRector.php

@@ -102,7 +102,12 @@ public function refactor(Node $node): ?Node
         return $this->processCallWithBinaryOp($node, $firstArgumentValue);
     }
 
-    private function processCallWithBinaryOp(MethodCall|StaticCall $node, BinaryOp $binaryOp): ?Node
+    /**
+     * @template TNode of MethodCall|StaticCall
+     * @param TNode $node
+     * @return TNode|null
+     */
+    private function processCallWithBinaryOp(MethodCall|StaticCall $node, BinaryOp $binaryOp): MethodCall|StaticCall|null
     {
         $binaryOpClass = $binaryOp::class;
 

rules/CodeQuality/Rector/MethodCall/AssertIssetToSpecificMethodRector.php

@@ -109,7 +109,12 @@ public function refactor(Node $node): ?Node
         return $this->refactorArrayDimFetchNode($node, $issetExpr);
     }
 
-    private function refactorArrayDimFetchNode(MethodCall|StaticCall $node, ArrayDimFetch $arrayDimFetch): Node
+    /**
+     * @template TNode of MethodCall|StaticCall
+     * @param TNode $node
+     * @return TNode
+     */
+    private function refactorArrayDimFetchNode(MethodCall|StaticCall $node, ArrayDimFetch $arrayDimFetch): MethodCall|StaticCall
     {
         $this->identifierManipulator->renameNodeWithMap($node, [
             AssertMethod::ASSERT_TRUE => 'assertArrayHasKey',

rules/PHPUnit100/Rector/StmtsAwareInterface/WithConsecutiveRector.php

@@ -228,7 +228,7 @@ public function refactor(Node $node): null|array|Expression
     }
 
     /**
-     * @return Stmt[]
+     * @return array{Expression, Expression}
      */
     private function refactorToWillReturnCallback(
         MethodCall $withConsecutiveMethodCall,