Finalize resolveType on ExprHandler

Author: ondrejmirtes

src/Analyser/ExprHandler.php

@@ -5,6 +5,7 @@
 use PhpParser\Node;
 use PhpParser\Node\Expr;
 use PhpParser\Node\Stmt;
+use PHPStan\Type\Type;
 
 /**
  * @template T of Expr
@@ -31,4 +32,9 @@ public function processExpr(
 		ExpressionContext $context,
 	): ExpressionResult;
 
+	/**
+	 * @param T $expr
+	 */
+	public function resolveType(MutatingScope $scope, Expr $expr): Type;
+
 }

src/Analyser/ExprHandler/ArrayDimFetchHandler.php

@@ -35,9 +35,6 @@ public function supports(Expr $expr): bool
 		return $expr instanceof ArrayDimFetch;
 	}
 
-	/**
-	 * @param ArrayDimFetch $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		if ($expr->dim === null) {

src/Analyser/ExprHandler/ArrayHandler.php

@@ -36,9 +36,6 @@ public function supports(Expr $expr): bool
 		return $expr instanceof Array_;
 	}
 
-	/**
-	 * @param Array_ $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		return $this->initializerExprTypeResolver->getArrayType($expr, static fn (Expr $expr): Type => $scope->getType($expr));

src/Analyser/ExprHandler/ArrowFunctionHandler.php

@@ -46,9 +46,6 @@ public function processExpr(NodeScopeResolver $nodeScopeResolver, Stmt $stmt, Ex
 		);
 	}
 
-	/**
-	 * @param ArrowFunction $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		return $this->closureTypeResolver->getClosureType($scope, $expr);

src/Analyser/ExprHandler/AssignHandler.php

@@ -88,9 +88,6 @@ public function supports(Expr $expr): bool
 		return $expr instanceof Assign || $expr instanceof AssignRef;
 	}
 
-	/**
-	 * @param Assign|AssignRef $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		return $scope->getType($expr->expr);

src/Analyser/ExprHandler/AssignOpHandler.php

@@ -102,9 +102,6 @@ static function (MutatingScope $scope) use ($stmt, $expr, $nodeCallback, $contex
 		);
 	}
 
-	/**
-	 * @param AssignOp $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		$getType = static fn (Expr $expr): Type => $scope->getType($expr);

src/Analyser/ExprHandler/BinaryOpHandler.php

@@ -89,9 +89,6 @@ public function processExpr(NodeScopeResolver $nodeScopeResolver, Stmt $stmt, Ex
 		);
 	}
 
-	/**
-	 * @param BinaryOp $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		$getType = static fn (Expr $expr): Type => $scope->getType($expr);

src/Analyser/ExprHandler/BitwiseNotHandler.php

@@ -49,9 +49,6 @@ public function processExpr(NodeScopeResolver $nodeScopeResolver, Stmt $stmt, Ex
 		);
 	}
 
-	/**
-	 * @param BitwiseNot $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		return $this->initializerExprTypeResolver->getBitwiseNotType($expr->expr, static fn (Expr $expr): Type => $scope->getType($expr));

src/Analyser/ExprHandler/BooleanAndHandler.php

@@ -43,9 +43,6 @@ public function supports(Expr $expr): bool
 		return $expr instanceof BooleanAnd || $expr instanceof LogicalAnd;
 	}
 
-	/**
-	 * @param BooleanAnd|LogicalAnd $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		$leftBooleanType = $scope->getType($expr->left)->toBoolean();

src/Analyser/ExprHandler/BooleanNotHandler.php

@@ -44,9 +44,6 @@ public function processExpr(NodeScopeResolver $nodeScopeResolver, Stmt $stmt, Ex
 		);
 	}
 
-	/**
-	 * @param BooleanNot $expr
-	 */
 	public function resolveType(MutatingScope $scope, Expr $expr): Type
 	{
 		$exprBooleanType = $scope->getType($expr->expr)->toBoolean();