Roll back parameter default tree shaking (#4520)

* Add more regression tests

* Remove call parameter deoptimization

* Remove includeWithoutParameterDefaults

* Remove default parameter tree-shaking logic

* Clean up deoptimizations

* Clean up deoptimizations

Author: lukastaegert

src/ast/nodes/ArrayExpression.ts

@@ -85,11 +85,7 @@ export default class ArrayExpression extends NodeBase {
 			if (element) {
 				if (hasSpread || element instanceof SpreadElement) {
 					hasSpread = true;
-					// This also deoptimizes parameter defaults
 					element.deoptimizePath(UNKNOWN_PATH);
-				} else {
-					// We do not track parameter defaults in arrays
-					element.deoptimizeCallParameters();
 				}
 			}
 		}

src/ast/nodes/ArrowFunctionExpression.ts

@@ -1,12 +1,13 @@
 import { type CallOptions } from '../CallOptions';
-import { type HasEffectsContext } from '../ExecutionContext';
+import { type HasEffectsContext, InclusionContext } from '../ExecutionContext';
 import ReturnValueScope from '../scopes/ReturnValueScope';
 import type Scope from '../scopes/Scope';
 import { type ObjectPath } from '../utils/PathTracker';
 import BlockStatement from './BlockStatement';
+import Identifier from './Identifier';
 import * as NodeType from './NodeType';
 import FunctionBase from './shared/FunctionBase';
-import { type ExpressionNode } from './shared/Node';
+import { type ExpressionNode, IncludeChildren } from './shared/Node';
 import { ObjectEntity } from './shared/ObjectEntity';
 import { OBJECT_PROTOTYPE } from './shared/ObjectPrototype';
 import type { PatternNode } from './shared/Pattern';
@@ -48,6 +49,15 @@ export default class ArrowFunctionExpression extends FunctionBase {
 		return false;
 	}
 
+	include(context: InclusionContext, includeChildrenRecursively: IncludeChildren): void {
+		super.include(context, includeChildrenRecursively);
+		for (const param of this.params) {
+			if (!(param instanceof Identifier)) {
+				param.include(context, includeChildrenRecursively);
+			}
+		}
+	}
+
 	protected getObjectEntity(): ObjectEntity {
 		if (this.objectEntity !== null) {
 			return this.objectEntity;

src/ast/nodes/AssignmentPattern.ts

@@ -35,10 +35,8 @@ export default class AssignmentPattern extends NodeBase implements PatternNode {
 		return path.length > 0 || this.left.hasEffectsWhenAssignedAtPath(EMPTY_PATH, context);
 	}
 
-	// Note that FunctionBase may directly include .left and .right without
-	// including the pattern itself. This is how default parameter tree-shaking
-	// works at the moment.
 	include(context: InclusionContext, includeChildrenRecursively: IncludeChildren): void {
+		if (!this.deoptimized) this.applyDeoptimizations();
 		this.included = true;
 		this.left.include(context, includeChildrenRecursively);
 		this.right.include(context, includeChildrenRecursively);

src/ast/nodes/CallExpression.ts

@@ -95,7 +95,7 @@ export default class CallExpression extends CallExpressionBase implements Deopti
 			}
 		} else {
 			this.included = true;
-			this.callee.include(context, false, { includeWithoutParameterDefaults: true });
+			this.callee.include(context, false);
 		}
 		this.callee.includeCallArguments(context, this.arguments);
 		const returnExpression = this.getReturnExpression();

src/ast/nodes/FunctionDeclaration.ts

@@ -1,17 +1,12 @@
-import { InclusionContext } from '../ExecutionContext';
 import type ChildScope from '../scopes/ChildScope';
 import Identifier, { type IdentifierWithVariable } from './Identifier';
 import type * as NodeType from './NodeType';
 import FunctionNode from './shared/FunctionNode';
-import type { GenericEsTreeNode, IncludeChildren } from './shared/Node';
+import type { GenericEsTreeNode } from './shared/Node';
 
 export default class FunctionDeclaration extends FunctionNode {
 	declare type: NodeType.tFunctionDeclaration;
 
-	include(context: InclusionContext, includeChildrenRecursively: IncludeChildren) {
-		super.include(context, includeChildrenRecursively, { includeWithoutParameterDefaults: true });
-	}
-
 	initialise(): void {
 		super.initialise();
 		if (this.id !== null) {

src/ast/nodes/Identifier.ts

@@ -86,10 +86,6 @@ export default class Identifier extends NodeBase implements PatternNode {
 		return [(this.variable = variable)];
 	}
 
-	deoptimizeCallParameters() {
-		this.variable!.deoptimizeCallParameters();
-	}
-
 	deoptimizePath(path: ObjectPath): void {
 		if (path.length === 0 && !this.scope.contains(this.name)) {
 			this.disallowImportReassignment();

src/ast/nodes/ObjectExpression.ts

@@ -102,14 +102,7 @@ export default class ObjectExpression extends NodeBase implements DeoptimizableE
 		}
 	}
 
-	protected applyDeoptimizations() {
-		this.deoptimized = true;
-		for (const property of this.properties) {
-			if (property instanceof Property) {
-				property.value.deoptimizeCallParameters();
-			}
-		}
-	}
+	protected applyDeoptimizations() {}
 
 	private getObjectEntity(): ObjectEntity {
 		if (this.objectEntity !== null) {

src/ast/nodes/VariableDeclarator.ts

@@ -35,9 +35,7 @@ export default class VariableDeclarator extends NodeBase {
 
 	include(context: InclusionContext, includeChildrenRecursively: IncludeChildren): void {
 		this.included = true;
-		this.init?.include(context, includeChildrenRecursively, {
-			includeWithoutParameterDefaults: true
-		});
+		this.init?.include(context, includeChildrenRecursively);
 		this.id.markDeclarationReached();
 		if (includeChildrenRecursively || this.id.shouldBeIncluded(context)) {
 			this.id.include(context, includeChildrenRecursively);

src/ast/nodes/YieldExpression.ts

@@ -11,7 +11,7 @@ export default class YieldExpression extends NodeBase {
 
 	hasEffects(context: HasEffectsContext): boolean {
 		if (!this.deoptimized) this.applyDeoptimizations();
-		return !context.ignore.returnYield || !!this.argument?.hasEffects(context);
+		return !(context.ignore.returnYield && !this.argument?.hasEffects(context));
 	}
 
 	render(code: MagicString, options: RenderOptions): void {

src/ast/nodes/shared/ClassNode.ts

@@ -16,7 +16,6 @@ import type ClassBody from '../ClassBody';
 import Identifier from '../Identifier';
 import type Literal from '../Literal';
 import MethodDefinition from '../MethodDefinition';
-import PropertyDefinition from '../PropertyDefinition';
 import { type ExpressionEntity, type LiteralValueOrUnknown } from './Expression';
 import { type ExpressionNode, type IncludeChildren, NodeBase } from './Node';
 import { ObjectEntity, type ObjectProperty } from './ObjectEntity';
@@ -40,12 +39,6 @@ export default class ClassNode extends NodeBase implements DeoptimizableEntity {
 
 	deoptimizePath(path: ObjectPath): void {
 		this.getObjectEntity().deoptimizePath(path);
-		if (path.length === 1 && path[0] === UnknownKey) {
-			// A reassignment of UNKNOWN_PATH is considered equivalent to having lost track
-			// which means the constructor needs to be reassigned
-			this.classConstructor?.deoptimizePath(UNKNOWN_PATH);
-			this.superClass?.deoptimizePath(UNKNOWN_PATH);
-		}
 	}
 
 	deoptimizeThisOnEventAtPath(
@@ -150,11 +143,8 @@ export default class ClassNode extends NodeBase implements DeoptimizableEntity {
 			) {
 				// Calls to methods are not tracked, ensure that the return value is deoptimized
 				definition.deoptimizePath(UNKNOWN_PATH);
-			} else if (definition instanceof PropertyDefinition) {
-				definition.value?.deoptimizeCallParameters();
 			}
 		}
-		this.superClass?.deoptimizeCallParameters();
 		this.context.requestTreeshakingPass();
 	}