feat(minifier): substitute function.call(this) for iife

[armano2]

there is a need for an asusmption here that user has not modified Function.prototype.call to do something else

Function.prototype.call = (arg) => { console.log(arg); }
(function () {}).call("???") 

[codspeed-hq]

CodSpeed Performance Report

Merging #16619 will not alter performance

_{Comparing armano2:feat/substitute_function_call_bind_this_for_iife (9d69bf9) with main (1da3dc1)¹}

Summary

✅ 42 untouched
⏩ 3 skipped²

Footnotes

1. No successful run was found on main (2577814) during the generation of this report, so 1da3dc1 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

2. 3 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[sapphi-red]

Suggested change

	test_same("(function test() {console.log(test.name)}).call(this)");
	test_same("(function test() {console.log(test.name)}).call(this)");
	test_same("(function () {console.log(arguments)}).call(this)");
	test_same("(function () {console.log(new.target)}).call(this)");

We need to handle these two cases.

There's also this behavior difference. But I didn't find a way to trigger it with IIFEs.

The thisArg value is passed without modification as the this value. This is a change from Edition 3, where an undefined or null thisArg is replaced with the global object and ToObject is applied to all other values and that result is passed as the this value. Even though the thisArg is passed without modification, non-strict functions still perform these transformations upon entry to the function.
https://tc39.es/ecma262/2025/multipage/fundamental-objects.html#sec-function.prototype.call

[armano2]

this is actually going to be hard, i have hard time finding a way to check all nodes outside of adding impl for Visit,

i'm actually surprised that scope don't contain more information's

either by setting a bitmask flag or using references like state,

• ThisExpression -> this
• Identifier -> arguments ()
• Super -> super
• MetaProperty -> new.target

q, and toughts?

iterating over entire tree is not optimal, eg, loadsh wraps entire codebase in iff like call, and if user imports any iffe package, this can degrade performance just to remove few bytes

[sapphi-red]

See the comment above