typescript 5.3.0-dev.20231023 → 5.3.0-dev.20231025

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20231023`;
+var version = `${versionMajorMinor}.0-dev.20231025`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -18747,8 +18747,9 @@ function createNodeFactory(flags, baseFactory2) {
     ensureUseStrict,
     liftToBlock,
     mergeLexicalEnvironment,
-    updateModifiers,
-    updateModifierLike
+    replaceModifiers,
+    replaceDecoratorsAndModifiers,
+    replacePropertyName
   };
   forEach(nodeFactoryPatchers, (fn) => fn(factory2));
   return factory2;
@@ -22256,7 +22257,7 @@ function createNodeFactory(flags, baseFactory2) {
     }
     return statements;
   }
-  function updateModifiers(node, modifiers) {
+  function replaceModifiers(node, modifiers) {
     let modifierArray;
     if (typeof modifiers === "number") {
       modifierArray = createModifiersFromModifierFlags(modifiers);
@@ -22265,9 +22266,27 @@ function createNodeFactory(flags, baseFactory2) {
     }
     return isTypeParameterDeclaration(node) ? updateTypeParameterDeclaration(node, modifierArray, node.name, node.constraint, node.default) : isParameter(node) ? updateParameterDeclaration(node, modifierArray, node.dotDotDotToken, node.name, node.questionToken, node.type, node.initializer) : isConstructorTypeNode(node) ? updateConstructorTypeNode1(node, modifierArray, node.typeParameters, node.parameters, node.type) : isPropertySignature(node) ? updatePropertySignature(node, modifierArray, node.name, node.questionToken, node.type) : isPropertyDeclaration(node) ? updatePropertyDeclaration(node, modifierArray, node.name, node.questionToken ?? node.exclamationToken, node.type, node.initializer) : isMethodSignature(node) ? updateMethodSignature(node, modifierArray, node.name, node.questionToken, node.typeParameters, node.parameters, node.type) : isMethodDeclaration(node) ? updateMethodDeclaration(node, modifierArray, node.asteriskToken, node.name, node.questionToken, node.typeParameters, node.parameters, node.type, node.body) : isConstructorDeclaration(node) ? updateConstructorDeclaration(node, modifierArray, node.parameters, node.body) : isGetAccessorDeclaration(node) ? updateGetAccessorDeclaration(node, modifierArray, node.name, node.parameters, node.type, node.body) : isSetAccessorDeclaration(node) ? updateSetAccessorDeclaration(node, modifierArray, node.name, node.parameters, node.body) : isIndexSignatureDeclaration(node) ? updateIndexSignature(node, modifierArray, node.parameters, node.type) : isFunctionExpression(node) ? updateFunctionExpression(node, modifierArray, node.asteriskToken, node.name, node.typeParameters, node.parameters, node.type, node.body) : isArrowFunction(node) ? updateArrowFunction(node, modifierArray, node.typeParameters, node.parameters, node.type, node.equalsGreaterThanToken, node.body) : isClassExpression(node) ? updateClassExpression(node, modifierArray, node.name, node.typeParameters, node.heritageClauses, node.members) : isVariableStatement(node) ? updateVariableStatement(node, modifierArray, node.declarationList) : isFunctionDeclaration(node) ? updateFunctionDeclaration(node, modifierArray, node.asteriskToken, node.name, node.typeParameters, node.parameters, node.type, node.body) : isClassDeclaration(node) ? updateClassDeclaration(node, modifierArray, node.name, node.typeParameters, node.heritageClauses, node.members) : isInterfaceDeclaration(node) ? updateInterfaceDeclaration(node, modifierArray, node.name, node.typeParameters, node.heritageClauses, node.members) : isTypeAliasDeclaration(node) ? updateTypeAliasDeclaration(node, modifierArray, node.name, node.typeParameters, node.type) : isEnumDeclaration(node) ? updateEnumDeclaration(node, modifierArray, node.name, node.members) : isModuleDeclaration(node) ? updateModuleDeclaration(node, modifierArray, node.name, node.body) : isImportEqualsDeclaration(node) ? updateImportEqualsDeclaration(node, modifierArray, node.isTypeOnly, node.name, node.moduleReference) : isImportDeclaration(node) ? updateImportDeclaration(node, modifierArray, node.importClause, node.moduleSpecifier, node.attributes) : isExportAssignment(node) ? updateExportAssignment(node, modifierArray, node.expression) : isExportDeclaration(node) ? updateExportDeclaration(node, modifierArray, node.isTypeOnly, node.exportClause, node.moduleSpecifier, node.attributes) : Debug.assertNever(node);
   }
-  function updateModifierLike(node, modifierArray) {
+  function replaceDecoratorsAndModifiers(node, modifierArray) {
     return isParameter(node) ? updateParameterDeclaration(node, modifierArray, node.dotDotDotToken, node.name, node.questionToken, node.type, node.initializer) : isPropertyDeclaration(node) ? updatePropertyDeclaration(node, modifierArray, node.name, node.questionToken ?? node.exclamationToken, node.type, node.initializer) : isMethodDeclaration(node) ? updateMethodDeclaration(node, modifierArray, node.asteriskToken, node.name, node.questionToken, node.typeParameters, node.parameters, node.type, node.body) : isGetAccessorDeclaration(node) ? updateGetAccessorDeclaration(node, modifierArray, node.name, node.parameters, node.type, node.body) : isSetAccessorDeclaration(node) ? updateSetAccessorDeclaration(node, modifierArray, node.name, node.parameters, node.body) : isClassExpression(node) ? updateClassExpression(node, modifierArray, node.name, node.typeParameters, node.heritageClauses, node.members) : isClassDeclaration(node) ? updateClassDeclaration(node, modifierArray, node.name, node.typeParameters, node.heritageClauses, node.members) : Debug.assertNever(node);
   }
+  function replacePropertyName(node, name) {
+    switch (node.kind) {
+      case 177 /* GetAccessor */:
+        return updateGetAccessorDeclaration(node, node.modifiers, name, node.parameters, node.type, node.body);
+      case 178 /* SetAccessor */:
+        return updateSetAccessorDeclaration(node, node.modifiers, name, node.parameters, node.body);
+      case 174 /* MethodDeclaration */:
+        return updateMethodDeclaration(node, node.modifiers, node.asteriskToken, name, node.questionToken, node.typeParameters, node.parameters, node.type, node.body);
+      case 173 /* MethodSignature */:
+        return updateMethodSignature(node, node.modifiers, name, node.questionToken, node.typeParameters, node.parameters, node.type);
+      case 172 /* PropertyDeclaration */:
+        return updatePropertyDeclaration(node, node.modifiers, name, node.questionToken ?? node.exclamationToken, node.type, node.initializer);
+      case 171 /* PropertySignature */:
+        return updatePropertySignature(node, node.modifiers, name, node.questionToken, node.type);
+      case 303 /* PropertyAssignment */:
+        return updatePropertyAssignment(node, name, node.initializer);
+    }
+  }
   function asNodeArray(array) {
     return array ? createNodeArray(array) : void 0;
   }
@@ -42728,10 +42747,10 @@ function tryGetModuleNameFromPaths(relativeToBaseUrl, paths, allowedEndings, hos
     return ending !== 0 /* Minimal */ || value === processEnding(relativeToBaseUrl, [ending], compilerOptions, host);
   }
 }
-function tryGetModuleNameFromExports(options, targetFilePath, packageDirectory, packageName, exports, conditions, mode = 0 /* Exact */) {
-  if (typeof exports === "string") {
+function tryGetModuleNameFromExports(options, targetFilePath, packageDirectory, packageName, exports2, conditions, mode = 0 /* Exact */) {
+  if (typeof exports2 === "string") {
     const pathOrPattern = getNormalizedAbsolutePath(
-      combinePaths(packageDirectory, exports),
+      combinePaths(packageDirectory, exports2),
       /*currentDirectory*/
       void 0
     );
@@ -42751,7 +42770,7 @@ function tryGetModuleNameFromExports(options, targetFilePath, packageDirectory,
             false
           );
           return { moduleFileToTry: getNormalizedAbsolutePath(
-            combinePaths(combinePaths(packageName, exports), fragment),
+            combinePaths(combinePaths(packageName, exports2), fragment),
             /*currentDirectory*/
             void 0
           ) };
@@ -42771,23 +42790,23 @@ function tryGetModuleNameFromExports(options, targetFilePath, packageDirectory,
         }
         break;
     }
-  } else if (Array.isArray(exports)) {
-    return forEach(exports, (e) => tryGetModuleNameFromExports(options, targetFilePath, packageDirectory, packageName, e, conditions));
-  } else if (typeof exports === "object" && exports !== null) {
-    if (allKeysStartWithDot(exports)) {
-      return forEach(getOwnKeys(exports), (k) => {
+  } else if (Array.isArray(exports2)) {
+    return forEach(exports2, (e) => tryGetModuleNameFromExports(options, targetFilePath, packageDirectory, packageName, e, conditions));
+  } else if (typeof exports2 === "object" && exports2 !== null) {
+    if (allKeysStartWithDot(exports2)) {
+      return forEach(getOwnKeys(exports2), (k) => {
         const subPackageName = getNormalizedAbsolutePath(
           combinePaths(packageName, k),
           /*currentDirectory*/
           void 0
         );
         const mode2 = endsWith(k, "/") ? 1 /* Directory */ : k.includes("*") ? 2 /* Pattern */ : 0 /* Exact */;
-        return tryGetModuleNameFromExports(options, targetFilePath, packageDirectory, subPackageName, exports[k], conditions, mode2);
+        return tryGetModuleNameFromExports(options, targetFilePath, packageDirectory, subPackageName, exports2[k], conditions, mode2);
       });
     } else {
-      for (const key of getOwnKeys(exports)) {
+      for (const key of getOwnKeys(exports2)) {
         if (key === "default" || conditions.includes(key) || isApplicableVersionedTypesKey(conditions, key)) {
-          const subTarget = exports[key];
+          const subTarget = exports2[key];
           const result = tryGetModuleNameFromExports(options, targetFilePath, packageDirectory, packageName, subTarget, conditions, mode);
           if (result) {
             return result;
@@ -45869,13 +45888,13 @@ function createTypeChecker(host) {
   function reportNonExportedMember(node, name, declarationName, moduleSymbol, moduleName) {
     var _a, _b;
     const localSymbol = (_b = (_a = tryCast(moduleSymbol.valueDeclaration, canHaveLocals)) == null ? void 0 : _a.locals) == null ? void 0 : _b.get(name.escapedText);
-    const exports = moduleSymbol.exports;
+    const exports2 = moduleSymbol.exports;
     if (localSymbol) {
-      const exportedEqualsSymbol = exports == null ? void 0 : exports.get("export=" /* ExportEquals */);
+      const exportedEqualsSymbol = exports2 == null ? void 0 : exports2.get("export=" /* ExportEquals */);
       if (exportedEqualsSymbol) {
         getSymbolIfSameReference(exportedEqualsSymbol, localSymbol) ? reportInvalidImportEqualsExportMember(node, name, declarationName, moduleName) : error(name, Diagnostics.Module_0_has_no_exported_member_1, moduleName, declarationName);
       } else {
-        const exportedSymbol = exports ? find(symbolsToArray(exports), (symbol) => !!getSymbolIfSameReference(symbol, localSymbol)) : void 0;
+        const exportedSymbol = exports2 ? find(symbolsToArray(exports2), (symbol) => !!getSymbolIfSameReference(symbol, localSymbol)) : void 0;
         const diagnostic = exportedSymbol ? error(name, Diagnostics.Module_0_declares_1_locally_but_it_is_exported_as_2, moduleName, declarationName, symbolToString(exportedSymbol)) : error(name, Diagnostics.Module_0_declares_1_locally_but_it_is_not_exported, moduleName, declarationName);
         if (localSymbol.declarations) {
           addRelatedInfo(diagnostic, ...map(localSymbol.declarations, (decl, index) => createDiagnosticForNode(decl, index === 0 ? Diagnostics._0_is_declared_here : Diagnostics.and_here, declarationName)));
@@ -46739,19 +46758,19 @@ function createTypeChecker(host) {
     return symbolsToArray(getExportsOfModule(moduleSymbol));
   }
   function getExportsAndPropertiesOfModule(moduleSymbol) {
-    const exports = getExportsOfModuleAsArray(moduleSymbol);
+    const exports2 = getExportsOfModuleAsArray(moduleSymbol);
     const exportEquals = resolveExternalModuleSymbol(moduleSymbol);
     if (exportEquals !== moduleSymbol) {
       const type = getTypeOfSymbol(exportEquals);
       if (shouldTreatPropertiesOfExternalModuleAsExports(type)) {
-        addRange(exports, getPropertiesOfType(type));
+        addRange(exports2, getPropertiesOfType(type));
       }
     }
-    return exports;
+    return exports2;
   }
   function forEachExportAndPropertyOfModule(moduleSymbol, cb) {
-    const exports = getExportsOfModule(moduleSymbol);
-    exports.forEach((symbol, key) => {
+    const exports2 = getExportsOfModule(moduleSymbol);
+    exports2.forEach((symbol, key) => {
       if (!isReservedMemberName(key)) {
         cb(symbol, key);
       }
@@ -46794,8 +46813,8 @@ function createTypeChecker(host) {
   function getExportsOfModule(moduleSymbol) {
     const links = getSymbolLinks(moduleSymbol);
     if (!links.resolvedExports) {
-      const { exports, typeOnlyExportStarMap } = getExportsOfModuleWorker(moduleSymbol);
-      links.resolvedExports = exports;
+      const { exports: exports2, typeOnlyExportStarMap } = getExportsOfModuleWorker(moduleSymbol);
+      links.resolvedExports = exports2;
       links.typeOnlyExportStarMap = typeOnlyExportStarMap;
     }
     return links.resolvedExports;
@@ -46829,12 +46848,12 @@ function createTypeChecker(host) {
     let typeOnlyExportStarMap;
     const nonTypeOnlyNames = /* @__PURE__ */ new Set();
     moduleSymbol = resolveExternalModuleSymbol(moduleSymbol);
-    const exports = visit(moduleSymbol) || emptySymbols;
+    const exports2 = visit(moduleSymbol) || emptySymbols;
     if (typeOnlyExportStarMap) {
       nonTypeOnlyNames.forEach((name) => typeOnlyExportStarMap.delete(name));
     }
     return {
-      exports,
+      exports: exports2,
       typeOnlyExportStarMap
     };
     function visit(symbol, exportStar, isTypeOnly) {
@@ -47019,12 +47038,12 @@ function createTypeChecker(host) {
     if (exportEquals && getSymbolIfSameReference(exportEquals, symbol)) {
       return container;
     }
-    const exports = getExportsOfSymbol(container);
-    const quick = exports.get(symbol.escapedName);
+    const exports2 = getExportsOfSymbol(container);
+    const quick = exports2.get(symbol.escapedName);
     if (quick && getSymbolIfSameReference(quick, symbol)) {
       return quick;
     }
-    return forEachEntry(exports, (exported) => {
+    return forEachEntry(exports2, (exported) => {
       if (getSymbolIfSameReference(exported, symbol)) {
         return exported;
       }
@@ -49223,8 +49242,8 @@ function createTypeChecker(host) {
           context.flags ^= 16777216 /* InInitialEntityName */;
         } else {
           if (parent && getExportsOfSymbol(parent)) {
-            const exports = getExportsOfSymbol(parent);
-            forEachEntry(exports, (ex, name) => {
+            const exports2 = getExportsOfSymbol(parent);
+            forEachEntry(exports2, (ex, name) => {
               if (getSymbolIfSameReference(ex, symbol2) && !isLateBoundName(name) && name !== "export=" /* ExportEquals */) {
                 symbolName2 = unescapeLeadingUnderscores(name);
                 return true;
@@ -49848,8 +49867,8 @@ function createTypeChecker(host) {
         return statements;
       }
       function mergeExportDeclarations(statements) {
-        const exports = filter(statements, (d) => isExportDeclaration(d) && !d.moduleSpecifier && !!d.exportClause && isNamedExports(d.exportClause));
-        if (length(exports) > 1) {
+        const exports2 = filter(statements, (d) => isExportDeclaration(d) && !d.moduleSpecifier && !!d.exportClause && isNamedExports(d.exportClause));
+        if (length(exports2) > 1) {
           const nonExports = filter(statements, (d) => !isExportDeclaration(d) || !!d.moduleSpecifier || !d.exportClause);
           statements = [
             ...nonExports,
@@ -49858,7 +49877,7 @@ function createTypeChecker(host) {
               void 0,
               /*isTypeOnly*/
               false,
-              factory.createNamedExports(flatMap(exports, (e) => cast(e.exportClause, isNamedExports).elements)),
+              factory.createNamedExports(flatMap(exports2, (e) => cast(e.exportClause, isNamedExports).elements)),
               /*moduleSpecifier*/
               void 0
             )
@@ -49933,11 +49952,11 @@ function createTypeChecker(host) {
       }
       function addExportModifier(node) {
         const flags = (getEffectiveModifierFlags(node) | 1 /* Export */) & ~2 /* Ambient */;
-        return factory.updateModifiers(node, flags);
+        return factory.replaceModifiers(node, flags);
       }
       function removeExportModifier(node) {
         const flags = getEffectiveModifierFlags(node) & ~1 /* Export */;
-        return factory.updateModifiers(node, flags);
+        return factory.replaceModifiers(node, flags);
       }
       function visitSymbolTable(symbolTable2, suppressNewPrivateContext, propertyAsAlias) {
         if (!suppressNewPrivateContext) {
@@ -50178,7 +50197,7 @@ function createTypeChecker(host) {
             newModifierFlags |= 1024 /* Default */;
           }
           if (newModifierFlags) {
-            node = factory.updateModifiers(node, newModifierFlags | getEffectiveModifierFlags(node));
+            node = factory.replaceModifiers(node, newModifierFlags | getEffectiveModifierFlags(node));
           }
         }
         results.push(node);
@@ -50235,8 +50254,8 @@ function createTypeChecker(host) {
         );
       }
       function getNamespaceMembersForSerialization(symbol) {
-        const exports = getExportsOfSymbol(symbol);
-        return !exports ? [] : filter(arrayFrom(exports.values()), (m) => isNamespaceMember(m) && isIdentifierText(m.escapedName, 99 /* ESNext */));
+        const exports2 = getExportsOfSymbol(symbol);
+        return !exports2 ? [] : filter(arrayFrom(exports2.values()), (m) => isNamespaceMember(m) && isIdentifierText(m.escapedName, 99 /* ESNext */));
       }
       function isTypeOnlyNamespace(symbol) {
         return every(getNamespaceMembersForSerialization(symbol), (m) => !(getSymbolFlags(resolveSymbol(m)) & 111551 /* Value */));
@@ -52038,19 +52057,19 @@ function createTypeChecker(host) {
     if (!isInJSFile(decl) || !init || !isObjectLiteralExpression(init) || init.properties.length) {
       return void 0;
     }
-    const exports = createSymbolTable();
+    const exports2 = createSymbolTable();
     while (isBinaryExpression(decl) || isPropertyAccessExpression(decl)) {
       const s2 = getSymbolOfNode(decl);
       if ((_a = s2 == null ? void 0 : s2.exports) == null ? void 0 : _a.size) {
-        mergeSymbolTable(exports, s2.exports);
+        mergeSymbolTable(exports2, s2.exports);
       }
       decl = isBinaryExpression(decl) ? decl.parent : decl.parent.parent;
     }
     const s = getSymbolOfNode(decl);
     if ((_b = s == null ? void 0 : s.exports) == null ? void 0 : _b.size) {
-      mergeSymbolTable(exports, s.exports);
+      mergeSymbolTable(exports2, s.exports);
     }
-    const type = createAnonymousType(symbol, exports, emptyArray, emptyArray, emptyArray);
+    const type = createAnonymousType(symbol, exports2, emptyArray, emptyArray, emptyArray);
     type.objectFlags |= 4096 /* JSLiteral */;
     return type;
   }
@@ -62732,6 +62751,9 @@ function createTypeChecker(host) {
   }
   function isDeeplyNestedType(type, stack, depth, maxDepth = 3) {
     if (depth >= maxDepth) {
+      if ((getObjectFlags(type) & 96 /* InstantiatedMapped */) === 96 /* InstantiatedMapped */) {
+        type = getMappedTargetWithSymbol(type);
+      }
       if (type.flags & 2097152 /* Intersection */) {
         return some(type.types, (t) => isDeeplyNestedType(t, stack, depth, maxDepth));
       }
@@ -62740,7 +62762,7 @@ function createTypeChecker(host) {
       let lastTypeId = 0;
       for (let i = 0; i < depth; i++) {
         const t = stack[i];
-        if (t.flags & 2097152 /* Intersection */ ? some(t.types, (u) => getRecursionIdentity(u) === identity2) : getRecursionIdentity(t) === identity2) {
+        if (hasMatchingRecursionIdentity(t, identity2)) {
           if (t.id >= lastTypeId) {
             count++;
             if (count >= maxDepth) {
@@ -62753,18 +62775,29 @@ function createTypeChecker(host) {
     }
     return false;
   }
+  function getMappedTargetWithSymbol(type) {
+    let target;
+    while ((getObjectFlags(type) & 96 /* InstantiatedMapped */) === 96 /* InstantiatedMapped */ && (target = getModifiersTypeFromMappedType(type)) && (target.symbol || target.flags & 2097152 /* Intersection */ && some(target.types, (t) => !!t.symbol))) {
+      type = target;
+    }
+    return type;
+  }
+  function hasMatchingRecursionIdentity(type, identity2) {
+    if ((getObjectFlags(type) & 96 /* InstantiatedMapped */) === 96 /* InstantiatedMapped */) {
+      type = getMappedTargetWithSymbol(type);
+    }
+    if (type.flags & 2097152 /* Intersection */) {
+      return some(type.types, (t) => hasMatchingRecursionIdentity(t, identity2));
+    }
+    return getRecursionIdentity(type) === identity2;
+  }
   function getRecursionIdentity(type) {
     if (type.flags & 524288 /* Object */ && !isObjectOrArrayLiteralType(type)) {
       if (getObjectFlags(type) & 4 /* Reference */ && type.node) {
         return type.node;
       }
-      if (type.symbol) {
-        if (getObjectFlags(type) & 32 /* Mapped */) {
-          type = getMappedTargetWithSymbol(type);
-        }
-        if (!(getObjectFlags(type) & 16 /* Anonymous */ && type.symbol.flags & 32 /* Class */)) {
-          return type.symbol;
-        }
+      if (type.symbol && !(getObjectFlags(type) & 16 /* Anonymous */ && type.symbol.flags & 32 /* Class */)) {
+        return type.symbol;
       }
       if (isTupleType(type)) {
         return type.target;
@@ -62784,13 +62817,6 @@ function createTypeChecker(host) {
     }
     return type;
   }
-  function getMappedTargetWithSymbol(type) {
-    let target = type;
-    while ((getObjectFlags(target) & 96 /* InstantiatedMapped */) === 96 /* InstantiatedMapped */ && isMappedTypeWithKeyofConstraintDeclaration(target)) {
-      target = getModifiersTypeFromMappedType(target);
-    }
-    return target.symbol ? target : type;
-  }
   function isPropertyIdenticalTo(sourceProp, targetProp) {
     return compareProperties(sourceProp, targetProp, compareTypesIdentical) !== 0 /* False */;
   }
@@ -69008,8 +69034,8 @@ function createTypeChecker(host) {
   }
   function getJsxType(name, location) {
     const namespace = getJsxNamespaceAt(location);
-    const exports = namespace && getExportsOfSymbol(namespace);
-    const typeSymbol = exports && getSymbol(exports, name, 788968 /* Type */);
+    const exports2 = namespace && getExportsOfSymbol(namespace);
+    const typeSymbol = exports2 && getSymbol(exports2, name, 788968 /* Type */);
     return typeSymbol ? getDeclaredTypeOfSymbol(typeSymbol) : errorType;
   }
   function getIntrinsicTagSymbol(node) {
@@ -71833,8 +71859,8 @@ function createTypeChecker(host) {
   }
   function createSignatureForJSXIntrinsic(node, result) {
     const namespace = getJsxNamespaceAt(node);
-    const exports = namespace && getExportsOfSymbol(namespace);
-    const typeSymbol = exports && getSymbol(exports, JsxNames.Element, 788968 /* Type */);
+    const exports2 = namespace && getExportsOfSymbol(namespace);
+    const typeSymbol = exports2 && getSymbol(exports2, JsxNames.Element, 788968 /* Type */);
     const returnNode = typeSymbol && nodeBuilder.symbolToEntityName(typeSymbol, 788968 /* Type */, node);
     const declaration = factory.createFunctionTypeNode(
       /*typeParameters*/
@@ -80541,9 +80567,9 @@ function createTypeChecker(host) {
           error(declaration, Diagnostics.An_export_assignment_cannot_be_used_in_a_module_with_other_exported_elements);
         }
       }
-      const exports = getExportsOfModule(moduleSymbol);
-      if (exports) {
-        exports.forEach(({ declarations, flags }, id) => {
+      const exports2 = getExportsOfModule(moduleSymbol);
+      if (exports2) {
+        exports2.forEach(({ declarations, flags }, id) => {
           if (id === "__export") {
             return;
           }
@@ -82399,8 +82425,8 @@ function createTypeChecker(host) {
         return false;
       if (importTarget === file)
         return false;
-      const exports = getExportsOfModule(file.symbol);
-      for (const s of arrayFrom(exports.values())) {
+      const exports2 = getExportsOfModule(file.symbol);
+      for (const s of arrayFrom(exports2.values())) {
         if (s.mergeId) {
           const merged = getMergedSymbol(s);
           if (merged.declarations) {
@@ -97995,7 +98021,7 @@ function transformES2015(context) {
     hierarchyFacts = (hierarchyFacts & ~excludeFacts | includeFacts) & -32768 /* SubtreeFactsMask */ | ancestorFacts;
   }
   function isReturnVoidStatementInConstructorWithCapturedSuper(node) {
-    return (hierarchyFacts & 8192 /* ConstructorWithCapturedSuper */) !== 0 && node.kind === 253 /* ReturnStatement */ && !node.expression;
+    return (hierarchyFacts & 8192 /* ConstructorWithSuperCall */) !== 0 && node.kind === 253 /* ReturnStatement */ && !node.expression;
   }
   function isOrMayContainReturnCompletion(node) {
     return node.transformFlags & 4194304 /* ContainsHoistedDeclarationOrCompletion */ && (isReturnStatement(node) || isIfStatement(node) || isWithStatement(node) || isSwitchStatement(node) || isCaseBlock(node) || isCaseClause(node) || isDefaultClause(node) || isTryStatement(node) || isCatchClause(node) || isLabeledStatement(node) || isIterationStatement(
@@ -98005,7 +98031,7 @@ function transformES2015(context) {
     ) || isBlock(node));
   }
   function shouldVisitNode(node) {
-    return (node.transformFlags & 1024 /* ContainsES2015 */) !== 0 || convertedLoopState !== void 0 || hierarchyFacts & 8192 /* ConstructorWithCapturedSuper */ && isOrMayContainReturnCompletion(node) || isIterationStatement(
+    return (node.transformFlags & 1024 /* ContainsES2015 */) !== 0 || convertedLoopState !== void 0 || hierarchyFacts & 8192 /* ConstructorWithSuperCall */ && isOrMayContainReturnCompletion(node) || isIterationStatement(
       node,
       /*lookInLabeledStatements*/
       false
@@ -98038,7 +98064,7 @@ function transformES2015(context) {
           /*expressionResultIsUnused*/
           false
         );
-        exitSubtree(ancestorFacts, 98304 /* FunctionSubtreeExcludes */, 0 /* None */);
+        exitSubtree(ancestorFacts, 229376 /* FunctionSubtreeExcludes */, 0 /* None */);
         return result;
       }
       return visitorWorker(
@@ -98052,6 +98078,7 @@ function transformES2015(context) {
   function callExpressionVisitor(node) {
     if (node.kind === 108 /* SuperKeyword */) {
       return visitSuperKeyword(
+        node,
         /*isExpressionOfCall*/
         true
       );
@@ -98161,6 +98188,7 @@ function transformES2015(context) {
         return visitSpreadElement(node);
       case 108 /* SuperKeyword */:
         return visitSuperKeyword(
+          node,
           /*isExpressionOfCall*/
           false
         );
@@ -98230,7 +98258,10 @@ function transformES2015(context) {
     return updated;
   }
   function returnCapturedThis(node) {
-    return setOriginalNode(factory2.createReturnStatement(factory2.createUniqueName("_this", 16 /* Optimistic */ | 32 /* FileLevel */)), node);
+    return setOriginalNode(factory2.createReturnStatement(createCapturedThis()), node);
+  }
+  function createCapturedThis() {
+    return factory2.createUniqueName("_this", 16 /* Optimistic */ | 32 /* FileLevel */);
   }
   function visitReturnStatement(node) {
     if (convertedLoopState) {
@@ -98254,8 +98285,9 @@ function transformES2015(context) {
     return visitEachChild(node, visitor, context);
   }
   function visitThisKeyword(node) {
+    hierarchyFacts |= 65536 /* LexicalThis */;
     if (hierarchyFacts & 2 /* ArrowFunction */ && !(hierarchyFacts & 16384 /* StaticInitializer */)) {
-      hierarchyFacts |= 65536 /* CapturedLexicalThis */;
+      hierarchyFacts |= 131072 /* CapturedLexicalThis */;
     }
     if (convertedLoopState) {
       if (hierarchyFacts & 2 /* ArrowFunction */) {
@@ -98394,7 +98426,7 @@ function transformES2015(context) {
         void 0,
         /*dotDotDotToken*/
         void 0,
-        factory2.createUniqueName("_super", 16 /* Optimistic */ | 32 /* FileLevel */)
+        createSyntheticSuper()
       )] : [],
       /*type*/
       void 0,
@@ -98484,7 +98516,7 @@ function transformES2015(context) {
       setEmitFlags(constructorFunction, 16 /* CapturesThis */);
     }
     statements.push(constructorFunction);
-    exitSubtree(ancestorFacts, 98304 /* FunctionSubtreeExcludes */, 0 /* None */);
+    exitSubtree(ancestorFacts, 229376 /* FunctionSubtreeExcludes */, 0 /* None */);
     convertedLoopState = savedConvertedLoopState;
   }
   function transformConstructorParameters(constructor, hasSynthesizedSuper) {
@@ -98508,103 +98540,35 @@ function transformES2015(context) {
     setEmitFlags(block, 3072 /* NoComments */);
     return block;
   }
-  function transformConstructorBodyWorker(prologueOut, statementsOut, statementsIn, statementOffset, superPath, superPathDepth, constructor, isDerivedClass, hasSynthesizedSuper, isFirstStatement) {
-    let mayReplaceThis = false;
-    const superStatementIndex = superPathDepth < superPath.length ? superPath[superPathDepth] : -1;
-    const leadingStatementsEnd = superStatementIndex >= 0 ? superStatementIndex : statementsIn.length;
-    if (isFirstStatement && superStatementIndex >= 0) {
-      let firstMaterialIndex = statementOffset;
-      while (isFirstStatement && firstMaterialIndex < superStatementIndex) {
-        const statement = constructor.body.statements[firstMaterialIndex];
-        if (!isUninitializedVariableStatement(statement) && !isUsingDeclarationStateVariableStatement(statement))
-          break;
-        firstMaterialIndex++;
-      }
-      isFirstStatement = superStatementIndex === firstMaterialIndex;
-    }
-    addRange(statementsOut, visitNodes2(statementsIn, visitor, isStatement, statementOffset, leadingStatementsEnd - statementOffset));
-    const superStatement = superStatementIndex >= 0 ? statementsIn[superStatementIndex] : void 0;
-    if (superStatement && isTryStatement(superStatement)) {
-      const tryBlockStatements = [];
-      mayReplaceThis = transformConstructorBodyWorker(
-        prologueOut,
-        tryBlockStatements,
-        superStatement.tryBlock.statements,
-        /*statementOffset*/
-        0,
-        superPath,
-        superPathDepth + 1,
-        constructor,
-        isDerivedClass,
-        hasSynthesizedSuper,
-        isFirstStatement
-      );
-      const tryBlockStatementsArray = factory2.createNodeArray(tryBlockStatements);
-      setTextRange(tryBlockStatementsArray, superStatement.tryBlock.statements);
-      statementsOut.push(factory2.updateTryStatement(
-        superStatement,
-        factory2.updateBlock(superStatement.tryBlock, tryBlockStatements),
-        visitNode(superStatement.catchClause, visitor, isCatchClause),
-        visitNode(superStatement.finallyBlock, visitor, isBlock)
-      ));
-    } else {
-      const superCall = superStatement && getSuperCallFromStatement(superStatement);
-      let superCallExpression;
-      if (hasSynthesizedSuper) {
-        superCallExpression = createDefaultSuperCallOrThis();
-        hierarchyFacts |= 8192 /* ConstructorWithCapturedSuper */;
-      } else if (superCall) {
-        superCallExpression = visitSuperCallInBody(superCall);
-        hierarchyFacts |= 8192 /* ConstructorWithCapturedSuper */;
-      }
-      if (isDerivedClass || superCallExpression) {
-        if (superCallExpression && superStatementIndex === statementsIn.length - 1 && !(constructor.body.transformFlags & 16384 /* ContainsLexicalThis */)) {
-          const superCall2 = cast(cast(superCallExpression, isBinaryExpression).left, isCallExpression);
-          const returnStatement = factory2.createReturnStatement(superCallExpression);
-          setCommentRange(returnStatement, getCommentRange(superCall2));
-          setEmitFlags(superCall2, 3072 /* NoComments */);
-          statementsOut.push(returnStatement);
-          return false;
-        } else {
-          if (isFirstStatement) {
-            insertCaptureThisForNode(statementsOut, constructor, superCallExpression || createActualThis());
-          } else {
-            insertCaptureThisForNode(prologueOut, constructor, createActualThis());
-            if (superCallExpression) {
-              addSuperThisCaptureThisForNode(statementsOut, superCallExpression);
-            }
-          }
-          mayReplaceThis = true;
-        }
-      } else {
-        insertCaptureThisForNodeIfNeeded(prologueOut, constructor);
-      }
-    }
-    if (superStatementIndex >= 0) {
-      addRange(statementsOut, visitNodes2(statementsIn, visitor, isStatement, superStatementIndex + 1));
-    }
-    return mayReplaceThis;
-  }
   function isUninitializedVariableStatement(node) {
     return isVariableStatement(node) && every(node.declarationList.declarations, (decl) => isIdentifier(decl.name) && !decl.initializer);
   }
-  function isUsingDeclarationStateVariableStatement(node) {
-    if (!isVariableStatement(node) || node.declarationList.declarations.length !== 1)
-      return false;
-    const varDecl = node.declarationList.declarations[0];
-    if (!isIdentifier(varDecl.name) || !varDecl.initializer)
-      return false;
-    const initializer = varDecl.initializer;
-    if (!isObjectLiteralExpression(initializer) || initializer.properties.length !== 3)
-      return false;
-    const [stackProp, errorProp, hasErrorProp] = initializer.properties;
-    if (!isPropertyAssignment(stackProp) || !isIdentifier(stackProp.name) || idText(stackProp.name) !== "stack" || !isArrayLiteralExpression(stackProp.initializer))
-      return false;
-    if (!isPropertyAssignment(errorProp) || !isIdentifier(errorProp.name) || idText(errorProp.name) !== "error" || !isVoidExpression(errorProp.initializer) || !isNumericLiteral(errorProp.initializer.expression))
-      return false;
-    if (!isPropertyAssignment(hasErrorProp) || !isIdentifier(hasErrorProp.name) || idText(hasErrorProp.name) !== "hasError" || hasErrorProp.initializer.kind !== 97 /* FalseKeyword */)
+  function containsSuperCall(node) {
+    if (isSuperCall(node)) {
+      return true;
+    }
+    if (!(node.transformFlags & 134217728 /* ContainsLexicalSuper */)) {
       return false;
-    return true;
+    }
+    switch (node.kind) {
+      case 219 /* ArrowFunction */:
+      case 218 /* FunctionExpression */:
+      case 262 /* FunctionDeclaration */:
+      case 176 /* Constructor */:
+      case 175 /* ClassStaticBlockDeclaration */:
+        return false;
+      case 177 /* GetAccessor */:
+      case 178 /* SetAccessor */:
+      case 174 /* MethodDeclaration */:
+      case 172 /* PropertyDeclaration */: {
+        const named = node;
+        if (isComputedPropertyName(named.name)) {
+          return !!forEachChild(named.name, containsSuperCall);
+        }
+        return false;
+      }
+    }
+    return !!forEachChild(node, containsSuperCall);
   }
   function transformConstructorBody(constructor, node, extendsClauseElement, hasSynthesizedSuper) {
     const isDerivedClass = !!extendsClauseElement && skipOuterExpressions(extendsClauseElement.expression).kind !== 106 /* NullKeyword */;
@@ -98619,31 +98583,22 @@ function transformES2015(context) {
       /*statementOffset*/
       0
     );
-    const superStatementIndices = findSuperStatementIndexPath(constructor.body.statements, standardPrologueEnd);
-    if (hasSynthesizedSuper || superStatementIndices.length > 0) {
-      hierarchyFacts |= 8192 /* ConstructorWithCapturedSuper */;
+    if (hasSynthesizedSuper || containsSuperCall(constructor.body)) {
+      hierarchyFacts |= 8192 /* ConstructorWithSuperCall */;
     }
-    const mayReplaceThis = transformConstructorBodyWorker(
-      prologue,
-      statements,
-      constructor.body.statements,
-      standardPrologueEnd,
-      superStatementIndices,
-      /*superPathDepth*/
-      0,
-      constructor,
-      isDerivedClass,
-      hasSynthesizedSuper,
-      /*isFirstStatement*/
-      true
-      // NOTE: this will be recalculated inside of transformConstructorBodyWorker
-    );
+    addRange(statements, visitNodes2(constructor.body.statements, visitor, isStatement, standardPrologueEnd));
+    const mayReplaceThis = isDerivedClass || hierarchyFacts & 8192 /* ConstructorWithSuperCall */;
     addDefaultValueAssignmentsIfNeeded2(prologue, constructor);
     addRestParameterIfNeeded(prologue, constructor, hasSynthesizedSuper);
     insertCaptureNewTargetIfNeeded(prologue, constructor);
+    if (mayReplaceThis) {
+      insertCaptureThisForNode(prologue, constructor, createActualThis());
+    } else {
+      insertCaptureThisForNodeIfNeeded(prologue, constructor);
+    }
     factory2.mergeLexicalEnvironment(prologue, endLexicalEnvironment());
     if (mayReplaceThis && !isSufficientlyCoveredByReturnStatements(constructor.body)) {
-      statements.push(factory2.createReturnStatement(factory2.createUniqueName("_this", 16 /* Optimistic */ | 32 /* FileLevel */)));
+      statements.push(factory2.createReturnStatement(createCapturedThis()));
     }
     const body = factory2.createBlock(
       setTextRange(
@@ -98660,6 +98615,230 @@ function transformES2015(context) {
       true
     );
     setTextRange(body, constructor.body);
+    return simplifyConstructor(body, constructor.body, hasSynthesizedSuper);
+  }
+  function isCapturedThis(node) {
+    return isGeneratedIdentifier(node) && idText(node) === "_this";
+  }
+  function isSyntheticSuper(node) {
+    return isGeneratedIdentifier(node) && idText(node) === "_super";
+  }
+  function isThisCapturingVariableStatement(node) {
+    return isVariableStatement(node) && node.declarationList.declarations.length === 1 && isThisCapturingVariableDeclaration(node.declarationList.declarations[0]);
+  }
+  function isThisCapturingVariableDeclaration(node) {
+    return isVariableDeclaration(node) && isCapturedThis(node.name) && !!node.initializer;
+  }
+  function isThisCapturingAssignment(node) {
+    return isAssignmentExpression(
+      node,
+      /*excludeCompoundAssignment*/
+      true
+    ) && isCapturedThis(node.left);
+  }
+  function isTransformedSuperCall(node) {
+    return isCallExpression(node) && isPropertyAccessExpression(node.expression) && isSyntheticSuper(node.expression.expression) && isIdentifier(node.expression.name) && (idText(node.expression.name) === "call" || idText(node.expression.name) === "apply") && node.arguments.length >= 1 && node.arguments[0].kind === 110 /* ThisKeyword */;
+  }
+  function isTransformedSuperCallWithFallback(node) {
+    return isBinaryExpression(node) && node.operatorToken.kind === 57 /* BarBarToken */ && node.right.kind === 110 /* ThisKeyword */ && isTransformedSuperCall(node.left);
+  }
+  function isImplicitSuperCall(node) {
+    return isBinaryExpression(node) && node.operatorToken.kind === 56 /* AmpersandAmpersandToken */ && isBinaryExpression(node.left) && node.left.operatorToken.kind === 38 /* ExclamationEqualsEqualsToken */ && isSyntheticSuper(node.left.left) && node.left.right.kind === 106 /* NullKeyword */ && isTransformedSuperCall(node.right) && idText(node.right.expression.name) === "apply";
+  }
+  function isImplicitSuperCallWithFallback(node) {
+    return isBinaryExpression(node) && node.operatorToken.kind === 57 /* BarBarToken */ && node.right.kind === 110 /* ThisKeyword */ && isImplicitSuperCall(node.left);
+  }
+  function isThisCapturingTransformedSuperCallWithFallback(node) {
+    return isThisCapturingAssignment(node) && isTransformedSuperCallWithFallback(node.right);
+  }
+  function isThisCapturingImplicitSuperCallWithFallback(node) {
+    return isThisCapturingAssignment(node) && isImplicitSuperCallWithFallback(node.right);
+  }
+  function isTransformedSuperCallLike(node) {
+    return isTransformedSuperCall(node) || isTransformedSuperCallWithFallback(node) || isThisCapturingTransformedSuperCallWithFallback(node) || isImplicitSuperCall(node) || isImplicitSuperCallWithFallback(node) || isThisCapturingImplicitSuperCallWithFallback(node);
+  }
+  function simplifyConstructorInlineSuperInThisCaptureVariable(body) {
+    for (let i = 0; i < body.statements.length - 1; i++) {
+      const statement = body.statements[i];
+      if (!isThisCapturingVariableStatement(statement)) {
+        continue;
+      }
+      const varDecl = statement.declarationList.declarations[0];
+      if (varDecl.initializer.kind !== 110 /* ThisKeyword */) {
+        continue;
+      }
+      const thisCaptureStatementIndex = i;
+      let superCallIndex = i + 1;
+      while (superCallIndex < body.statements.length) {
+        const statement2 = body.statements[superCallIndex];
+        if (isExpressionStatement(statement2)) {
+          if (isTransformedSuperCallLike(skipOuterExpressions(statement2.expression))) {
+            break;
+          }
+        }
+        if (isUninitializedVariableStatement(statement2)) {
+          superCallIndex++;
+          continue;
+        }
+        return body;
+      }
+      const following = body.statements[superCallIndex];
+      let expression = following.expression;
+      if (isThisCapturingAssignment(expression)) {
+        expression = expression.right;
+      }
+      const newVarDecl = factory2.updateVariableDeclaration(
+        varDecl,
+        varDecl.name,
+        /*exclamationToken*/
+        void 0,
+        /*type*/
+        void 0,
+        expression
+      );
+      const newDeclList = factory2.updateVariableDeclarationList(statement.declarationList, [newVarDecl]);
+      const newVarStatement = factory2.createVariableStatement(statement.modifiers, newDeclList);
+      setOriginalNode(newVarStatement, following);
+      setTextRange(newVarStatement, following);
+      const newStatements = factory2.createNodeArray([
+        ...body.statements.slice(0, thisCaptureStatementIndex),
+        // copy statements preceding to `var _this`
+        ...body.statements.slice(thisCaptureStatementIndex + 1, superCallIndex),
+        // copy intervening temp variables
+        newVarStatement,
+        ...body.statements.slice(superCallIndex + 1)
+        // copy statements following `super.call(this, ...)`
+      ]);
+      setTextRange(newStatements, body.statements);
+      return factory2.updateBlock(body, newStatements);
+    }
+    return body;
+  }
+  function simplifyConstructorInlineSuperReturn(body, original) {
+    for (const statement of original.statements) {
+      if (statement.transformFlags & 134217728 /* ContainsLexicalSuper */ && !getSuperCallFromStatement(statement)) {
+        return body;
+      }
+    }
+    const canElideThisCapturingVariable = !(original.transformFlags & 16384 /* ContainsLexicalThis */) && !(hierarchyFacts & 65536 /* LexicalThis */) && !(hierarchyFacts & 131072 /* CapturedLexicalThis */);
+    for (let i = body.statements.length - 1; i > 0; i--) {
+      const statement = body.statements[i];
+      if (isReturnStatement(statement) && statement.expression && isCapturedThis(statement.expression)) {
+        const preceding = body.statements[i - 1];
+        let expression;
+        if (isExpressionStatement(preceding) && isThisCapturingTransformedSuperCallWithFallback(skipOuterExpressions(preceding.expression))) {
+          expression = preceding.expression;
+        } else if (canElideThisCapturingVariable && isThisCapturingVariableStatement(preceding)) {
+          const varDecl = preceding.declarationList.declarations[0];
+          if (isTransformedSuperCallLike(skipOuterExpressions(varDecl.initializer))) {
+            expression = factory2.createAssignment(
+              createCapturedThis(),
+              varDecl.initializer
+            );
+          }
+        }
+        if (!expression) {
+          break;
+        }
+        const newReturnStatement = factory2.createReturnStatement(expression);
+        setOriginalNode(newReturnStatement, preceding);
+        setTextRange(newReturnStatement, preceding);
+        const newStatements = factory2.createNodeArray([
+          ...body.statements.slice(0, i - 1),
+          // copy all statements preceding `_super.call(this, ...)`
+          newReturnStatement,
+          ...body.statements.slice(i + 1)
+          // copy all statements following `return _this;`
+        ]);
+        setTextRange(newStatements, body.statements);
+        return factory2.updateBlock(body, newStatements);
+      }
+    }
+    return body;
+  }
+  function elideUnusedThisCaptureWorker(node) {
+    if (isThisCapturingVariableStatement(node)) {
+      const varDecl = node.declarationList.declarations[0];
+      if (varDecl.initializer.kind === 110 /* ThisKeyword */) {
+        return void 0;
+      }
+    } else if (isThisCapturingAssignment(node)) {
+      return factory2.createPartiallyEmittedExpression(node.right, node);
+    }
+    switch (node.kind) {
+      case 219 /* ArrowFunction */:
+      case 218 /* FunctionExpression */:
+      case 262 /* FunctionDeclaration */:
+      case 176 /* Constructor */:
+      case 175 /* ClassStaticBlockDeclaration */:
+        return node;
+      case 177 /* GetAccessor */:
+      case 178 /* SetAccessor */:
+      case 174 /* MethodDeclaration */:
+      case 172 /* PropertyDeclaration */: {
+        const named = node;
+        if (isComputedPropertyName(named.name)) {
+          return factory2.replacePropertyName(named, visitEachChild(named.name, elideUnusedThisCaptureWorker, nullTransformationContext));
+        }
+        return node;
+      }
+    }
+    return visitEachChild(node, elideUnusedThisCaptureWorker, nullTransformationContext);
+  }
+  function simplifyConstructorElideUnusedThisCapture(body, original) {
+    if (original.transformFlags & 16384 /* ContainsLexicalThis */ || hierarchyFacts & 65536 /* LexicalThis */ || hierarchyFacts & 131072 /* CapturedLexicalThis */) {
+      return body;
+    }
+    for (const statement of original.statements) {
+      if (statement.transformFlags & 134217728 /* ContainsLexicalSuper */ && !getSuperCallFromStatement(statement)) {
+        return body;
+      }
+    }
+    return factory2.updateBlock(body, visitNodes2(body.statements, elideUnusedThisCaptureWorker, isStatement));
+  }
+  function injectSuperPresenceCheckWorker(node) {
+    if (isTransformedSuperCall(node) && node.arguments.length === 2 && isIdentifier(node.arguments[1]) && idText(node.arguments[1]) === "arguments") {
+      return factory2.createLogicalAnd(
+        factory2.createStrictInequality(
+          createSyntheticSuper(),
+          factory2.createNull()
+        ),
+        node
+      );
+    }
+    switch (node.kind) {
+      case 219 /* ArrowFunction */:
+      case 218 /* FunctionExpression */:
+      case 262 /* FunctionDeclaration */:
+      case 176 /* Constructor */:
+      case 175 /* ClassStaticBlockDeclaration */:
+        return node;
+      case 177 /* GetAccessor */:
+      case 178 /* SetAccessor */:
+      case 174 /* MethodDeclaration */:
+      case 172 /* PropertyDeclaration */: {
+        const named = node;
+        if (isComputedPropertyName(named.name)) {
+          return factory2.replacePropertyName(named, visitEachChild(named.name, injectSuperPresenceCheckWorker, nullTransformationContext));
+        }
+        return node;
+      }
+    }
+    return visitEachChild(node, injectSuperPresenceCheckWorker, nullTransformationContext);
+  }
+  function complicateConstructorInjectSuperPresenceCheck(body) {
+    return factory2.updateBlock(body, visitNodes2(body.statements, injectSuperPresenceCheckWorker, isStatement));
+  }
+  function simplifyConstructor(body, original, hasSynthesizedSuper) {
+    const inputBody = body;
+    body = simplifyConstructorInlineSuperInThisCaptureVariable(body);
+    body = simplifyConstructorInlineSuperReturn(body, original);
+    if (body !== inputBody) {
+      body = simplifyConstructorElideUnusedThisCapture(body, original);
+    }
+    if (hasSynthesizedSuper) {
+      body = complicateConstructorInjectSuperPresenceCheck(body);
+    }
     return body;
   }
   function isSufficientlyCoveredByReturnStatements(statement) {
@@ -98685,11 +98864,11 @@ function transformES2015(context) {
     return factory2.createLogicalOr(
       factory2.createLogicalAnd(
         factory2.createStrictInequality(
-          factory2.createUniqueName("_super", 16 /* Optimistic */ | 32 /* FileLevel */),
+          createSyntheticSuper(),
           factory2.createNull()
         ),
         factory2.createFunctionApplyCall(
-          factory2.createUniqueName("_super", 16 /* Optimistic */ | 32 /* FileLevel */),
+          createSyntheticSuper(),
           createActualThis(),
           factory2.createIdentifier("arguments")
         )
@@ -98944,24 +99123,12 @@ function transformES2015(context) {
     return true;
   }
   function insertCaptureThisForNodeIfNeeded(statements, node) {
-    if (hierarchyFacts & 65536 /* CapturedLexicalThis */ && node.kind !== 219 /* ArrowFunction */) {
+    if (hierarchyFacts & 131072 /* CapturedLexicalThis */ && node.kind !== 219 /* ArrowFunction */) {
       insertCaptureThisForNode(statements, node, factory2.createThis());
       return true;
     }
     return false;
   }
-  function addSuperThisCaptureThisForNode(statements, superExpression) {
-    enableSubstitutionsForCapturedThis();
-    const assignSuperExpression = factory2.createExpressionStatement(
-      factory2.createBinaryExpression(
-        factory2.createThis(),
-        64 /* EqualsToken */,
-        superExpression
-      )
-    );
-    statements.push(assignSuperExpression);
-    setCommentRange(assignSuperExpression, getOriginalNode(superExpression).parent);
-  }
   function insertCaptureThisForNode(statements, node, initializer) {
     enableSubstitutionsForCapturedThis();
     const captureThisStatement = factory2.createVariableStatement(
@@ -98969,7 +99136,7 @@ function transformES2015(context) {
       void 0,
       factory2.createVariableDeclarationList([
         factory2.createVariableDeclaration(
-          factory2.createUniqueName("_this", 16 /* Optimistic */ | 32 /* FileLevel */),
+          createCapturedThis(),
           /*exclamationToken*/
           void 0,
           /*type*/
@@ -99190,7 +99357,7 @@ function transformES2015(context) {
   }
   function visitArrowFunction(node) {
     if (node.transformFlags & 16384 /* ContainsLexicalThis */ && !(hierarchyFacts & 16384 /* StaticInitializer */)) {
-      hierarchyFacts |= 65536 /* CapturedLexicalThis */;
+      hierarchyFacts |= 131072 /* CapturedLexicalThis */;
     }
     const savedConvertedLoopState = convertedLoopState;
     convertedLoopState = void 0;
@@ -99223,7 +99390,7 @@ function transformES2015(context) {
     const parameters = visitParameterList(node.parameters, visitor, context);
     const body = transformFunctionBody(node);
     const name = hierarchyFacts & 32768 /* NewTarget */ ? factory2.getLocalName(node) : node.name;
-    exitSubtree(ancestorFacts, 98304 /* FunctionSubtreeExcludes */, 0 /* None */);
+    exitSubtree(ancestorFacts, 229376 /* FunctionSubtreeExcludes */, 0 /* None */);
     convertedLoopState = savedConvertedLoopState;
     return factory2.updateFunctionExpression(
       node,
@@ -99246,7 +99413,7 @@ function transformES2015(context) {
     const parameters = visitParameterList(node.parameters, visitor, context);
     const body = transformFunctionBody(node);
     const name = hierarchyFacts & 32768 /* NewTarget */ ? factory2.getLocalName(node) : node.name;
-    exitSubtree(ancestorFacts, 98304 /* FunctionSubtreeExcludes */, 0 /* None */);
+    exitSubtree(ancestorFacts, 229376 /* FunctionSubtreeExcludes */, 0 /* None */);
     convertedLoopState = savedConvertedLoopState;
     return factory2.updateFunctionDeclaration(
       node,
@@ -99270,7 +99437,7 @@ function transformES2015(context) {
     if (hierarchyFacts & 32768 /* NewTarget */ && !name && (node.kind === 262 /* FunctionDeclaration */ || node.kind === 218 /* FunctionExpression */)) {
       name = factory2.getGeneratedNameForNode(node);
     }
-    exitSubtree(ancestorFacts, 98304 /* FunctionSubtreeExcludes */, 0 /* None */);
+    exitSubtree(ancestorFacts, 229376 /* FunctionSubtreeExcludes */, 0 /* None */);
     convertedLoopState = savedConvertedLoopState;
     return setOriginalNode(
       setTextRange(
@@ -100679,7 +100846,7 @@ function transformES2015(context) {
     } else {
       updated = factory2.updateSetAccessorDeclaration(node, node.modifiers, node.name, parameters, body);
     }
-    exitSubtree(ancestorFacts, 98304 /* FunctionSubtreeExcludes */, 0 /* None */);
+    exitSubtree(ancestorFacts, 229376 /* FunctionSubtreeExcludes */, 0 /* None */);
     convertedLoopState = savedConvertedLoopState;
     return updated;
   }
@@ -100829,13 +100996,6 @@ function transformES2015(context) {
       )
     );
   }
-  function visitSuperCallInBody(node) {
-    return visitCallExpressionWithPotentialCapturedThisAssignment(
-      node,
-      /*assignToCapturedThis*/
-      false
-    );
-  }
   function visitCallExpressionWithPotentialCapturedThisAssignment(node, assignToCapturedThis) {
     if (node.transformFlags & 32768 /* ContainsRestOrSpread */ || node.expression.kind === 108 /* SuperKeyword */ || isSuperProperty(skipOuterExpressions(node.expression))) {
       const { target, thisArg } = factory2.createCallBinding(node.expression, hoistVariableDeclaration);
@@ -100872,10 +101032,13 @@ function transformES2015(context) {
           resultingCall,
           createActualThis()
         );
-        resultingCall = assignToCapturedThis ? factory2.createAssignment(factory2.createUniqueName("_this", 16 /* Optimistic */ | 32 /* FileLevel */), initializer) : initializer;
+        resultingCall = assignToCapturedThis ? factory2.createAssignment(createCapturedThis(), initializer) : initializer;
       }
       return setOriginalNode(resultingCall, node);
     }
+    if (isSuperCall(node)) {
+      hierarchyFacts |= 131072 /* CapturedLexicalThis */;
+    }
     return visitEachChild(node, visitor, context);
   }
   function visitNewExpression(node) {
@@ -101002,8 +101165,15 @@ function transformES2015(context) {
     }
     return setTextRange(expression, node);
   }
-  function visitSuperKeyword(isExpressionOfCall) {
-    return hierarchyFacts & 8 /* NonStaticClassElement */ && !isExpressionOfCall ? factory2.createPropertyAccessExpression(factory2.createUniqueName("_super", 16 /* Optimistic */ | 32 /* FileLevel */), "prototype") : factory2.createUniqueName("_super", 16 /* Optimistic */ | 32 /* FileLevel */);
+  function createSyntheticSuper() {
+    return factory2.createUniqueName("_super", 16 /* Optimistic */ | 32 /* FileLevel */);
+  }
+  function visitSuperKeyword(node, isExpressionOfCall) {
+    const expression = hierarchyFacts & 8 /* NonStaticClassElement */ && !isExpressionOfCall ? factory2.createPropertyAccessExpression(setOriginalNode(createSyntheticSuper(), node), "prototype") : createSyntheticSuper();
+    setOriginalNode(expression, node);
+    setCommentRange(expression, node);
+    setSourceMapRange(expression, node);
+    return expression;
   }
   function visitMetaProperty(node) {
     if (node.keywordToken === 105 /* NewKeyword */ && node.name.escapedText === "target") {
@@ -101109,7 +101279,7 @@ function transformES2015(context) {
   }
   function substituteThisKeyword(node) {
     if (enabledSubstitutions & 1 /* CapturedThis */ && hierarchyFacts & 16 /* CapturesThis */) {
-      return setTextRange(factory2.createUniqueName("_this", 16 /* Optimistic */ | 32 /* FileLevel */), node);
+      return setTextRange(createCapturedThis(), node);
     }
     return node;
   }
@@ -105398,7 +105568,7 @@ function transformSystemModule(context) {
     const exportStarFunction = factory2.createUniqueName("exportStar");
     const m = factory2.createIdentifier("m");
     const n = factory2.createIdentifier("n");
-    const exports = factory2.createIdentifier("exports");
+    const exports2 = factory2.createIdentifier("exports");
     let condition = factory2.createStrictInequality(n, factory2.createStringLiteral("default"));
     if (localNames) {
       condition = factory2.createLogicalAnd(
@@ -105437,7 +105607,7 @@ function transformSystemModule(context) {
             void 0,
             factory2.createVariableDeclarationList([
               factory2.createVariableDeclaration(
-                exports,
+                exports2,
                 /*exclamationToken*/
                 void 0,
                 /*type*/
@@ -105457,7 +105627,7 @@ function transformSystemModule(context) {
                   condition,
                   factory2.createExpressionStatement(
                     factory2.createAssignment(
-                      factory2.createElementAccessExpression(exports, n),
+                      factory2.createElementAccessExpression(exports2, n),
                       factory2.createElementAccessExpression(m, n)
                     )
                   )
@@ -105471,7 +105641,7 @@ function transformSystemModule(context) {
               exportFunction,
               /*typeArguments*/
               void 0,
-              [exports]
+              [exports2]
             )
           )
         ],
@@ -108207,7 +108377,7 @@ function transformDeclarations(context) {
       return statement;
     }
     const modifiers = factory2.createModifiersFromModifierFlags(getEffectiveModifierFlags(statement) & (258047 /* All */ ^ 1 /* Export */));
-    return factory2.updateModifiers(statement, modifiers);
+    return factory2.replaceModifiers(statement, modifiers);
   }
   function updateModuleDeclarationAndKeyword(node, modifiers, name, body) {
     const updated = factory2.updateModuleDeclaration(node, modifiers, name, body);
@@ -108338,7 +108508,7 @@ function transformDeclarations(context) {
             return factory2.createVariableStatement(isNonContextualKeywordName ? void 0 : [factory2.createToken(95 /* ExportKeyword */)], factory2.createVariableDeclarationList([varDecl]));
           });
           if (!exportMappings.length) {
-            declarations = mapDefined(declarations, (declaration) => factory2.updateModifiers(declaration, 0 /* None */));
+            declarations = mapDefined(declarations, (declaration) => factory2.replaceModifiers(declaration, 0 /* None */));
           } else {
             declarations.push(factory2.createExportDeclaration(
               /*modifiers*/