Skip storing expression types with new in chain instead of skipping at resolve time

Move the expressionHasNewInChain check from resolveType() to
specifyExpressionType() so that expressions based on new are never
remembered in the first place, rather than being stored and then
ignored at lookup time.

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

Author: 2 people

src/Analyser/MutatingScope.php

@@ -973,7 +973,6 @@ 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()
 		) {
 			return $this->expressionTypes[$exprString]->getType();
@@ -2733,6 +2732,10 @@ public function specifyExpressionType(Expr $expr, Type $type, Type $nativeType,
 			}
 		}
 
+		if ($this->expressionHasNewInChain($expr)) {
+			return $this;
+		}
+
 		$scope = $this;
 		if (
 			$expr instanceof Expr\ArrayDimFetch