Remove expressionHasNewInChain from MutatingScope

The TypeSpecifier side-effect checks now handle the new-in-chain case:
expressionHasSideEffects() treats New_ as impure, preventing narrowed
types from being stored for any expression with new in its chain.
The MutatingScope check is no longer needed.

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

Author: 2 people

src/Analyser/MutatingScope.php

@@ -974,7 +974,6 @@ private function resolveType(string $exprString, Expr $node): Type
 			&& !$node instanceof Expr\Closure
 			&& !$node instanceof Expr\ArrowFunction
 			&& $this->hasExpressionType($node)->yes()
-			&& (!$this->expressionHasNewInChain($node) || $this->expressionTypes[$exprString]->getExpr() === $node)
 		) {
 			return $this->expressionTypes[$exprString]->getType();
 		}
@@ -991,27 +990,6 @@ private function resolveType(string $exprString, Expr $node): Type
 		return new MixedType();
 	}
 
-	private function expressionHasNewInChain(Expr $expr): bool
-	{
-		if (
-			$expr instanceof MethodCall ||
-			$expr instanceof Expr\NullsafeMethodCall ||
-			$expr instanceof Expr\ArrayDimFetch ||
-			$expr instanceof PropertyFetch ||
-			$expr instanceof Expr\NullsafePropertyFetch
-		) {
-			return $expr->var instanceof Expr\New_ || $this->expressionHasNewInChain($expr->var);
-		}
-		if (
-			$expr instanceof Expr\StaticCall
-			|| $expr instanceof Expr\StaticPropertyFetch
-		) {
-			return $expr->class instanceof Expr\New_ || ($expr->class instanceof Expr && $this->expressionHasNewInChain($expr->class));
-		}
-
-		return false;
-	}
-
 	/**
 	 * @param callable(Type): ?bool $typeCallback
 	 */