Allow stored expression types for new-chain expressions when set on the same AST node

When an expression has `new` in its receiver chain, only skip the stored
type lookup if the stored type came from a different AST node (e.g. assert
narrowing). If the stored type was set for the same AST node (e.g. inline
@var annotation), allow it through. This fixes @var overrides on
expressions like `return (new Defaults())->getFunctions()`.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: 2 people

src/Analyser/MutatingScope.php

@@ -973,8 +973,8 @@ private function resolveType(string $exprString, Expr $node): Type
 			!$node instanceof Variable
 			&& !$node instanceof Expr\Closure
 			&& !$node instanceof Expr\ArrowFunction
-			&& !$this->expressionHasNewInChain($node)
 			&& $this->hasExpressionType($node)->yes()
+			&& (!$this->expressionHasNewInChain($node) || $this->expressionTypes[$exprString]->getExpr() === $node)
 		) {
 			return $this->expressionTypes[$exprString]->getType();
 		}