refactor(es/typescript): Reimplement TypeScript pass (#7202)

**Description:**

## Bugfixes
- Exported `let`/`var` declarations in TypeScript namespaces should be mutable.
- Fix missing declaration of complex exported patterns in TypeScript namespaces.
- Preserve concrete TS namespaces.

## New Features
- Introducing [Verbatim Module Syntax](https://www.typescriptlang.org/tsconfig#verbatimModuleSyntax).
- Enum value will now be inlined whenever possible within a single module, optimizing runtime performance.
- Constant enums will be automatically eliminated when feasible, This can reduce bundle size.
- Added support for cross-referencing enum values.

## Deprecated
`TsEnumConfig` is deprecated
  - The `treat_const_enum_as_enum` transform option is deprecated.
  - The `ts_enum_is_readonly` assumption option is deprecated.

**BREAKING CHANGE:**

TypeScript Config is changed.


**Related issue:**

 - Closes #5197
 - Closes #5259 
 - Closes #7177
 - Closes #7453
 - Closes #7676 
 - Closes #7681
 - Closes #7791 
 - Closes #7961

bindings/binding_core_wasm/__tests__/simple.js

@@ -109,8 +109,8 @@ describe("parse", () => {
                     "optional": false,
                     "span": Object {
                       "ctxt": 2,
-                      "end": 394,
-                      "start": 391,
+                      "end": 289,
+                      "start": 286,
                     },
                     "type": "Identifier",
                     "value": "Foo",
@@ -119,8 +119,8 @@ describe("parse", () => {
                   "isAbstract": false,
                   "span": Object {
                     "ctxt": 0,
-                    "end": 397,
-                    "start": 385,
+                    "end": 292,
+                    "start": 280,
                   },
                   "superClass": null,
                   "superTypeParams": null,
@@ -131,8 +131,8 @@ describe("parse", () => {
               "interpreter": null,
               "span": Object {
                 "ctxt": 0,
-                "end": 397,
-                "start": 385,
+                "end": 292,
+                "start": 280,
               },
               "type": "Module",
             }
@@ -156,8 +156,8 @@ describe("parse", () => {
                     "optional": false,
                     "span": Object {
                       "ctxt": 2,
-                      "end": 407,
-                      "start": 404,
+                      "end": 302,
+                      "start": 299,
                     },
                     "type": "Identifier",
                     "value": "Foo",
@@ -166,8 +166,8 @@ describe("parse", () => {
                   "isAbstract": false,
                   "span": Object {
                     "ctxt": 0,
-                    "end": 410,
-                    "start": 398,
+                    "end": 305,
+                    "start": 293,
                   },
                   "superClass": null,
                   "superTypeParams": null,
@@ -178,8 +178,8 @@ describe("parse", () => {
               "interpreter": null,
               "span": Object {
                 "ctxt": 0,
-                "end": 410,
-                "start": 398,
+                "end": 305,
+                "start": 293,
               },
               "type": "Module",
             }

crates/swc/src/config/mod.rs

@@ -63,7 +63,7 @@ use swc_ecma_transforms::{
     },
     react::{self, default_pragma, default_pragma_frag},
     resolver,
-    typescript::{self, TsEnumConfig, TsImportExportAssignConfig},
+    typescript::{self, TsImportExportAssignConfig},
     Assumptions,
 };
 use swc_ecma_transforms_compat::es2015::regenerator;
@@ -618,6 +618,8 @@ impl Options {
             _ => TsImportExportAssignConfig::Classic,
         };
 
+        let verbatim_module_syntax = transform.verbatim_module_syntax.into_bool();
+
         let charset = cfg.jsc.output.charset.or_else(|| {
             if js_minify.as_ref()?.format.ascii_only {
                 Some(OutputCharset::Ascii)
@@ -803,9 +805,14 @@ impl Options {
                 // keep_import_assertions is false.
                 Optional::new(import_assertions(), !keep_import_attributes),
                 Optional::new(
-                    typescript::strip_with_jsx::<Option<&dyn Comments>>(
+                    typescript::tsx::<Option<&dyn Comments>>(
                         cm.clone(),
                         typescript::Config {
+                            import_export_assign_config,
+                            verbatim_module_syntax,
+                            ..Default::default()
+                        },
+                        typescript::TsxConfig {
                             pragma: Some(
                                 transform
                                     .react
@@ -820,14 +827,6 @@ impl Options {
                                     .clone()
                                     .unwrap_or_else(default_pragma_frag)
                             ),
-                            ts_enum_config: TsEnumConfig {
-                                treat_const_enum_as_enum: transform
-                                    .treat_const_enum_as_enum
-                                    .into_bool(),
-                                ts_enum_is_readonly: assumptions.ts_enum_is_readonly,
-                            },
-                            import_export_assign_config,
-                            ..Default::default()
                         },
                         comments.map(|v| v as _),
                         top_level_mark
@@ -1722,11 +1721,17 @@ pub struct TransformConfig {
     pub regenerator: regenerator::Config,
 
     #[serde(default)]
+    #[deprecated]
     pub treat_const_enum_as_enum: BoolConfig<false>,
 
+    /// https://www.typescriptlang.org/tsconfig#useDefineForClassFields
     #[serde(default)]
     pub use_define_for_class_fields: BoolConfig<true>,
 
+    /// https://www.typescriptlang.org/tsconfig#verbatimModuleSyntax
+    #[serde(default)]
+    pub verbatim_module_syntax: BoolConfig<false>,
+
     #[serde(default)]
     pub decorator_version: Option<DecoratorVersion>,
 }

crates/swc/tests/errors/module/esnext/import-assign/input.ts

@@ -1,3 +1,8 @@
 import homura = require("homura");
 
 export import madoka = require("madoka");
+
+
+
+// avoid unused import be stripped
+export { homura };

crates/swc/tests/errors/module/esnext/import-assign/output.swc-stderr

@@ -13,4 +13,6 @@
  2 | 
  3 | export import madoka = require("madoka");
    : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ 4 | 
+ 5 | 
    `----

crates/swc/tests/fixture/issues-1xxx/1515/case1/output/index.ts

@@ -16,7 +16,7 @@ class ServiceError extends Error {
         _define_property._(this, "name", "ServiceError.BadResponse");
     }
 }
-(function(ServiceError1) {
+(function(ServiceError) {
     let Code;
     (function(Code) {
         Code[Code["serviceNotFound"] = 404] = "serviceNotFound";
@@ -26,7 +26,7 @@ class ServiceError extends Error {
         Code[Code["timedOut"] = 504] = "timedOut";
         Code[Code["badRequest"] = 400] = "badRequest";
         Code[Code["badResponse"] = 422] = "badResponse";
-    })(Code = ServiceError1.Code || (ServiceError1.Code = {}));
+    })(Code = ServiceError.Code || (ServiceError.Code = {}));
     class ServiceNotFound extends ServiceError {
         constructor(...args){
             super(...args);
@@ -35,11 +35,11 @@ class ServiceError extends Error {
             _define_property._(this, "name", "ServiceError.ServiceNotFound");
         }
     }
-    ServiceError1.ServiceNotFound = ServiceNotFound;
+    ServiceError.ServiceNotFound = ServiceNotFound;
     function toMessageBody(error) {
         return {
             code: ServiceError.Code.implementation
         };
     }
-    ServiceError1.toMessageBody = toMessageBody;
+    ServiceError.toMessageBody = toMessageBody;
 })(ServiceError || (ServiceError = {}));

crates/swc/tests/fixture/issues-2xxx/2423/output/index.map

@@ -1,5 +1,5 @@
 {
-  "mappings": ";AAAA,IAAUA;;QACOC,MAAAA,IAAI;IACV,SAASC;QACZC,QAAQC,GAAG,CAACH;IAChB;MAFgBC,IAAAA;GAFVF,MAAAA",
+  "mappings": ";;UAAUA;IACC,MAAMC,MAAAA,IAAI;IACV,SAASC;QACZC,QAAQC,GAAG,CAACH;IAChB;MAFgBC,IAAAA;AAGpB,GALUF,MAAAA",
   "names": [
     "A",
     "v",

crates/swc/tests/fixture/issues-2xxx/2423/output/index.ts

@@ -1,7 +1,7 @@
 "use strict";
 var A;
 (function(A) {
-    var v = A.v = 25;
+    const v = A.v = 25;
     function a() {
         console.log(v);
     }

crates/swc/tests/fixture/issues-3xxx/3073/1/output/index.ts

@@ -1,7 +1,7 @@
 var n;
 (function(n) {
     var ref;
-    ref = {
+    var a = (ref = {
         a: 1
-    }, n.a = ref.a, ref;
+    }, n.a = ref.a, ref).a;
 })(n || (n = {}));

crates/swc/tests/fixture/issues-3xxx/3073/2/output/index.ts

@@ -1,8 +1,8 @@
 var Foo;
 (function(Foo) {
     var ref;
-    ref = {
+    var _ref = (ref = {
         a: 1,
         b: 2
-    }, Foo.A = ref.a, Foo.B = ref.b, ref;
+    }, Foo.A = ref.a, Foo.B = ref.b, ref), A = _ref.a, B = _ref.b;
 })(Foo || (Foo = {}));

crates/swc/tests/fixture/issues-3xxx/3686/1/output/index.ts

@@ -21,7 +21,7 @@ _ts_decorate._([
 ServiceError = _ts_decorate._([
     CD
 ], ServiceError);
-(function(ServiceError1) {
+(function(ServiceError) {
     let Code;
     (function(Code) {
         Code[Code["serviceNotFound"] = 404] = "serviceNotFound";
@@ -31,17 +31,17 @@ ServiceError = _ts_decorate._([
         Code[Code["timedOut"] = 504] = "timedOut";
         Code[Code["badRequest"] = 400] = "badRequest";
         Code[Code["badResponse"] = 422] = "badResponse";
-    })(Code = ServiceError1.Code || (ServiceError1.Code = {}));
+    })(Code = ServiceError.Code || (ServiceError.Code = {}));
     class ServiceNotFound extends ServiceError {
         // Service was probably not registered, or using the wrong channel
         code = 404;
         name = "ServiceError.ServiceNotFound";
     }
-    ServiceError1.ServiceNotFound = ServiceNotFound;
+    ServiceError.ServiceNotFound = ServiceNotFound;
     function toMessageBody(error) {
         return {
             code: ServiceError.Code.implementation
         };
     }
-    ServiceError1.toMessageBody = toMessageBody;
+    ServiceError.toMessageBody = toMessageBody;
 })(ServiceError || (ServiceError = {}));

crates/swc/tests/fixture/issues-4xxx/4108/1/output/index.ts

@@ -120,7 +120,7 @@ function _sendTransactionsWithManualRetry() {
                 case 4:
                     return [
                         4,
-                        sendTransactions(connection, wallet, instructions, filteredSigners, SequenceType.StopOnFailure, "single")
+                        sendTransactions(connection, wallet, instructions, filteredSigners, 2, "single")
                     ];
                 case 5:
                     txs = _state.sent().txs;
@@ -196,7 +196,7 @@ export var sendTransactions = function() {
                                         connection: connection,
                                         signedTransaction: signedTxns[i1]
                                     });
-                                    if (!(sequenceType !== SequenceType.Parallel)) return [
+                                    if (!(sequenceType !== 1)) return [
                                         3,
                                         7
                                     ];
@@ -227,7 +227,7 @@ export var sendTransactions = function() {
                                     console.log("Failed at txn index:", i1);
                                     console.log("Caught failure:", e);
                                     failCallback(signedTxns[i1], i1);
-                                    if (!(sequenceType === SequenceType.StopOnFailure)) return [
+                                    if (!(sequenceType === 2)) return [
                                         3,
                                         5
                                     ];
@@ -264,7 +264,7 @@ export var sendTransactions = function() {
                             }
                         });
                     };
-                    sequenceType = _arguments.length > 4 && _arguments[4] !== void 0 ? _arguments[4] : SequenceType.Parallel, commitment = _arguments.length > 5 && _arguments[5] !== void 0 ? _arguments[5] : "singleGossip", successCallback = _arguments.length > 6 && _arguments[6] !== void 0 ? _arguments[6] : function(txid, ind) {}, failCallback = _arguments.length > 7 && _arguments[7] !== void 0 ? _arguments[7] : function(txid, ind) {
+                    sequenceType = _arguments.length > 4 && _arguments[4] !== void 0 ? _arguments[4] : 1, commitment = _arguments.length > 5 && _arguments[5] !== void 0 ? _arguments[5] : "singleGossip", successCallback = _arguments.length > 6 && _arguments[6] !== void 0 ? _arguments[6] : function(txid, ind) {}, failCallback = _arguments.length > 7 && _arguments[7] !== void 0 ? _arguments[7] : function(txid, ind) {
                         return false;
                     }, block = _arguments.length > 8 ? _arguments[8] : void 0, beforeTransactions = _arguments.length > 9 && _arguments[9] !== void 0 ? _arguments[9] : [], afterTransactions = _arguments.length > 10 && _arguments[10] !== void 0 ? _arguments[10] : [];
                     if (!wallet.publicKey) throw new WalletNotConnectedError();
@@ -327,7 +327,7 @@ export var sendTransactions = function() {
                         4
                     ];
                 case 7:
-                    if (!(sequenceType !== SequenceType.Parallel)) return [
+                    if (!(sequenceType !== 1)) return [
                         3,
                         9
                     ];

crates/swc/tests/fixture/issues-4xxx/4897/output/index.ts

@@ -22,6 +22,6 @@ define([
     }
     var Foo;
     (function(Foo) {
-        var Bar = Foo.Bar = 1234;
+        const Bar = Foo.Bar = 1234;
     })(Foo || (Foo = {}));
 });

crates/swc/tests/fixture/issues-4xxx/4988/output/index.ts

@@ -10,4 +10,4 @@ Object.defineProperty(exports, "flakySuite", {
 });
 const _interop_require_wildcard = require("@swc/helpers/_/_interop_require_wildcard");
 const _testUtils = /*#__PURE__*/ _interop_require_wildcard._(require("vs/base/test/common/testUtils"));
-var flakySuite = _testUtils.flakySuite;
+const flakySuite = _testUtils.flakySuite;

crates/swc/tests/fixture/issues-6xxx/6791/1/output/input.ts

@@ -1,3 +1,3 @@
-var l;
-import { test as o } from "test";
-(l || (l = {})).Hello = "World!", o(l.Hello);
+var o;
+import { test as r } from "test";
+(o || (o = {})).Hello = "World!", r("World!");

crates/swc/tests/fixture/issues-7xxx/7681/input/index.ts

@@ -0,0 +1,8 @@
+enum Foo {
+    a,
+    b = 1,
+    c = Foo["a"],
+    d = Foo.a,
+    e,
+    f,
+}

crates/swc/tests/fixture/issues-7xxx/7681/output/index.ts

@@ -0,0 +1,9 @@
+var Foo;
+(function(Foo) {
+    Foo[Foo["a"] = 0] = "a";
+    Foo[Foo["b"] = 1] = "b";
+    Foo[Foo["c"] = 0] = "c";
+    Foo[Foo["d"] = 0] = "d";
+    Foo[Foo["e"] = 1] = "e";
+    Foo[Foo["f"] = 2] = "f";
+})(Foo || (Foo = {}));

crates/swc/tests/fixture/issues-7xxx/7791/input/.swcrc

@@ -0,0 +1,8 @@
+{
+    "jsc": {
+        "parser": {
+            "syntax": "typescript"
+        },
+        "target": "es5"
+    }
+}

crates/swc/tests/fixture/issues-7xxx/7791/input/index.ts

@@ -0,0 +1,2 @@
+a?.b!.c ?? 0;
+a?.b.c ?? 0;

crates/swc/tests/fixture/issues-7xxx/7791/output/index.ts

@@ -0,0 +1,5 @@
+var _a, _a1;
+var _a_b_c;
+(_a_b_c = (_a = a) === null || _a === void 0 ? void 0 : _a.b.c) !== null && _a_b_c !== void 0 ? _a_b_c : 0;
+var _a_b_c1;
+(_a_b_c1 = (_a1 = a) === null || _a1 === void 0 ? void 0 : _a1.b.c) !== null && _a_b_c1 !== void 0 ? _a_b_c1 : 0;