feat(es/minifier): Handle expressions when indexing String, Array and Object types

crates/swc/tests/tsc-references/destructuringArrayBindingPatternAndAssignment2.2.minified.js

@@ -1,7 +1,7 @@
 //// [destructuringArrayBindingPatternAndAssignment2.ts]
 import { _ as _sliced_to_array } from "@swc/helpers/_/_sliced_to_array";
 import { _ as _to_consumable_array } from "@swc/helpers/_/_to_consumable_array";
-var _ref_1 = (_sliced_to_array([][0], 1)[0], _sliced_to_array([][1], 1));
+var _ref_1 = (_sliced_to_array(void 0, 1)[0], _sliced_to_array(void 0, 1));
 _sliced_to_array(_ref_1[0], 1)[0];
 var _undefined = _sliced_to_array(void 0, 2), _undefined_1 = (_sliced_to_array(_undefined[0], 1)[0], _sliced_to_array(_undefined[1], 1));
 _sliced_to_array(_undefined_1[0], 1)[0];

crates/swc/tests/tsc-references/destructuringEvaluationOrder(target=es5).2.minified.js

@@ -6,7 +6,7 @@ import { _ as _sliced_to_array } from "@swc/helpers/_/_sliced_to_array";
 import { _ as _to_property_key } from "@swc/helpers/_/_to_property_key";
 var trace = [], order = function(n) {
     return trace.push(n);
-}, tmp = [][0];
+}, tmp = void 0;
 (void 0 === tmp ? order(0) : tmp)[order(1)];
 var tmp1 = {};
 (void 0 === tmp1 ? order(0) : tmp1)[order(1)];

crates/swc/tests/tsc-references/destructuringParameterDeclaration5.2.minified.js

@@ -42,4 +42,4 @@ new Class(), d0({
     y: new SubClass()
 }).y, ({
     y: new Class()
-}).y, ({}).y;
+}).y;

crates/swc/tests/tsc-references/parserForStatement9.2.minified.js

@@ -1,3 +1,3 @@
 //// [parserForStatement9.ts]
-for(var tmp = [][0], x = void 0 === tmp ? ('a' in {}) : tmp; !x; x = !x)console.log(x);
-for(var _ref_x = {}.x, x1 = void 0 === _ref_x ? ('a' in {}) : _ref_x; !x1; x1 = !x1)console.log(x1);
+for(var tmp = void 0, x = void 0 === tmp ? ('a' in {}) : tmp; !x; x = !x)console.log(x);
+for(var _ref_x = void 0, x1 = void 0 === _ref_x ? ('a' in {}) : _ref_x; !x1; x1 = !x1)console.log(x1);

crates/swc/tests/tsc-references/templateStringInIndexExpressionES6.2.minified.js

@@ -1,2 +1 @@
 //// [templateStringInIndexExpressionES6.ts]
-"abc0abc"["0"];

crates/swc/tests/tsc-references/typeFromPropertyAssignment35.2.minified.js

@@ -5,4 +5,4 @@ Emu.D = function _class() {
     _class_call_check(this, _class), this._model = 1;
 };
 //// [second.js]
-({}).D._wrapperInstance;
+(void 0)._wrapperInstance;

crates/swc_ecma_minifier/Cargo.toml

@@ -9,9 +9,9 @@ name          = "swc_ecma_minifier"
 repository    = "https://github.com/swc-project/swc.git"
 version       = "0.197.0"
 
-  [package.metadata.docs.rs]
-  all-features = true
-  rustdoc-args = ["--cfg", "docsrs"]
+[package.metadata.docs.rs]
+all-features = true
+rustdoc-args = ["--cfg", "docsrs"]
 
 [lib]
 bench = false
@@ -49,6 +49,7 @@ ryu-js            = { workspace = true }
 serde             = { workspace = true, features = ["derive"] }
 serde_json        = { workspace = true }
 tracing           = { workspace = true }
+phf               = { workspace = true }
 
 swc_atoms = { version = "0.6.5", path = "../swc_atoms" }
 swc_common = { version = "0.34.0", path = "../swc_common" }
@@ -80,4 +81,4 @@ testing          = { version = "0.36.0", path = "../testing" }
 
 [[bench]]
 harness = false
-name    = "full"
+name    = "full"

crates/swc_ecma_minifier/src/compress/pure/evaluate.rs

@@ -2,6 +2,8 @@ use radix_fmt::Radix;
 use swc_common::{util::take::Take, Spanned, SyntaxContext};
 use swc_ecma_ast::*;
 use swc_ecma_utils::{number::ToJsString, ExprExt, IsEmpty, Value};
+#[cfg(feature = "debug")]
+use {crate::debug::dump, tracing::debug};
 
 use super::Pure;
 use crate::compress::util::{eval_as_number, is_pure_undefined_or_null};
@@ -639,6 +641,30 @@ impl Pure<'_> {
         }
     }
 
+    pub(super) fn eval_member_expr(&mut self, e: &mut Expr) {
+        let member_expr = match e {
+            Expr::Member(x) => x,
+            _ => return,
+        };
+
+        #[cfg(feature = "debug")]
+        debug!(
+            "before: optimize_member_expr: {}",
+            dump(&*member_expr, false)
+        );
+
+        if let Some(replacement) =
+            self.optimize_member_expr(&mut member_expr.obj, &member_expr.prop)
+        {
+            *e = replacement;
+            self.changed = true;
+            report_change!("member_expr: Optimized member expression");
+
+            #[cfg(feature = "debug")]
+            debug!("after: optimize_member_expr: {}", dump(&*e, false));
+        }
+    }
+
     fn eval_trivial_two(&mut self, a: &Expr, b: &mut Expr) {
         if let Expr::Assign(AssignExpr {
             left: a_left,