typescript 5.8.0-dev.20250123 → 5.8.0-dev.20250125

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-dev.20250123`;
+var version = `${versionMajorMinor}.0-dev.20250125`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6021,6 +6021,7 @@ var Diagnostics = {
   _0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enabled_Consider_using_import_type_where_0_is_imported: diag(1291, 1 /* Error */, "_0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enable_1291", "'{0}' resolves to a type and must be marked type-only in this file before re-exporting when '{1}' is enabled. Consider using 'import type' where '{0}' is imported."),
   _0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enabled_Consider_using_export_type_0_as_default: diag(1292, 1 /* Error */, "_0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enable_1292", "'{0}' resolves to a type and must be marked type-only in this file before re-exporting when '{1}' is enabled. Consider using 'export type { {0} as default }'."),
   ESM_syntax_is_not_allowed_in_a_CommonJS_module_when_module_is_set_to_preserve: diag(1293, 1 /* Error */, "ESM_syntax_is_not_allowed_in_a_CommonJS_module_when_module_is_set_to_preserve_1293", "ESM syntax is not allowed in a CommonJS module when 'module' is set to 'preserve'."),
+  This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled: diag(1294, 1 /* Error */, "This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled_1294", "This syntax is not allowed when 'erasableSyntaxOnly' is enabled."),
   with_statements_are_not_allowed_in_an_async_function_block: diag(1300, 1 /* Error */, "with_statements_are_not_allowed_in_an_async_function_block_1300", "'with' statements are not allowed in an async function block."),
   await_expressions_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules: diag(1308, 1 /* Error */, "await_expressions_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules_1308", "'await' expressions are only allowed within async functions and at the top levels of modules."),
   The_current_file_is_a_CommonJS_module_and_cannot_use_await_at_the_top_level: diag(1309, 1 /* Error */, "The_current_file_is_a_CommonJS_module_and_cannot_use_await_at_the_top_level_1309", "The current file is a CommonJS module and cannot use 'await' at the top level."),
@@ -7508,11 +7509,13 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files: diag(6719, 3 /* Message */, "Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files_6719", "Require sufficient annotation on exports so other tools can trivially generate declaration files."),
   Built_in_iterators_are_instantiated_with_a_TReturn_type_of_undefined_instead_of_any: diag(6720, 3 /* Message */, "Built_in_iterators_are_instantiated_with_a_TReturn_type_of_undefined_instead_of_any_6720", "Built-in iterators are instantiated with a 'TReturn' type of 'undefined' instead of 'any'."),
+  Do_not_allow_runtime_constructs_that_are_not_part_of_ECMAScript: diag(6721, 3 /* Message */, "Do_not_allow_runtime_constructs_that_are_not_part_of_ECMAScript_6721", "Do not allow runtime constructs that are not part of ECMAScript."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
   Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported: diag(6805, 3 /* Message */, "Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported_6805", "Disable full type checking (only critical parse and emit errors will be reported)."),
   Check_side_effect_imports: diag(6806, 3 /* Message */, "Check_side_effect_imports_6806", "Check side effect imports."),
   This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2: diag(6807, 1 /* Error */, "This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2_6807", "This operation can be simplified. This shift is identical to `{0} {1} {2}`."),
+  Enable_lib_replacement: diag(6808, 3 /* Message */, "Enable_lib_replacement_6808", "Enable lib replacement."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -36847,6 +36850,23 @@ var commandOptionsWithoutBuild = [
     affectsBuildInfo: true,
     affectsSemanticDiagnostics: true
   },
+  {
+    name: "erasableSyntaxOnly",
+    type: "boolean",
+    category: Diagnostics.Interop_Constraints,
+    description: Diagnostics.Do_not_allow_runtime_constructs_that_are_not_part_of_ECMAScript,
+    defaultValueDescription: false,
+    affectsBuildInfo: true,
+    affectsSemanticDiagnostics: true
+  },
+  {
+    name: "libReplacement",
+    type: "boolean",
+    affectsProgramStructure: true,
+    category: Diagnostics.Language_and_Environment,
+    description: Diagnostics.Enable_lib_replacement,
+    defaultValueDescription: true
+  },
   // Strict Type Checks
   {
     name: "strict",
@@ -41303,6 +41323,7 @@ function hasOneAsterisk(patternKey) {
 function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirectedReference, moduleName, scope, isImports) {
   return loadModuleFromTargetExportOrImport;
   function loadModuleFromTargetExportOrImport(target, subpath, pattern, key) {
+    var _a, _b;
     if (typeof target === "string") {
       if (!pattern && subpath.length > 0 && !endsWith(target, "/")) {
         if (state.traceEnabled) {
@@ -41331,6 +41352,8 @@ function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirec
             redirectedReference,
             state.conditions
           );
+          (_a = state.failedLookupLocations) == null ? void 0 : _a.push(...result.failedLookupLocations ?? emptyArray);
+          (_b = state.affectingLocations) == null ? void 0 : _b.push(...result.affectingLocations ?? emptyArray);
           return toSearchResult(
             result.resolvedModule ? {
               path: result.resolvedModule.resolvedFileName,
@@ -41440,20 +41463,20 @@ function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirec
       void 0
     );
     function toAbsolutePath(path) {
-      var _a, _b;
+      var _a2, _b2;
       if (path === void 0) return path;
-      return getNormalizedAbsolutePath(path, (_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a));
+      return getNormalizedAbsolutePath(path, (_b2 = (_a2 = state.host).getCurrentDirectory) == null ? void 0 : _b2.call(_a2));
     }
     function combineDirectoryPath(root, dir) {
       return ensureTrailingDirectorySeparator(combinePaths(root, dir));
     }
     function tryLoadInputFileForPath(finalPath, entry, packagePath, isImports2) {
-      var _a, _b, _c, _d;
+      var _a2, _b2, _c, _d;
       if (!state.isConfigLookup && (state.compilerOptions.declarationDir || state.compilerOptions.outDir) && !finalPath.includes("/node_modules/") && (state.compilerOptions.configFile ? containsPath(scope.packageDirectory, toAbsolutePath(state.compilerOptions.configFile.fileName), !useCaseSensitiveFileNames(state)) : true)) {
         const getCanonicalFileName = hostGetCanonicalFileName({ useCaseSensitiveFileNames: () => useCaseSensitiveFileNames(state) });
         const commonSourceDirGuesses = [];
         if (state.compilerOptions.rootDir || state.compilerOptions.composite && state.compilerOptions.configFilePath) {
-          const commonDir = toAbsolutePath(getCommonSourceDirectory(state.compilerOptions, () => [], ((_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a)) || "", getCanonicalFileName));
+          const commonDir = toAbsolutePath(getCommonSourceDirectory(state.compilerOptions, () => [], ((_b2 = (_a2 = state.host).getCurrentDirectory) == null ? void 0 : _b2.call(_a2)) || "", getCanonicalFileName));
           commonSourceDirGuesses.push(commonDir);
         } else if (state.requestContainingDirectory) {
           const requestingFile = toAbsolutePath(combinePaths(state.requestContainingDirectory, "index.ts"));
@@ -41509,8 +41532,8 @@ function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirec
       }
       return void 0;
       function getOutputDirectoriesForBaseDirectory(commonSourceDirGuess) {
-        var _a2, _b2;
-        const currentDir = state.compilerOptions.configFile ? ((_b2 = (_a2 = state.host).getCurrentDirectory) == null ? void 0 : _b2.call(_a2)) || "" : commonSourceDirGuess;
+        var _a3, _b3;
+        const currentDir = state.compilerOptions.configFile ? ((_b3 = (_a3 = state.host).getCurrentDirectory) == null ? void 0 : _b3.call(_a3)) || "" : commonSourceDirGuess;
         const candidateDirectories = [];
         if (state.compilerOptions.declarationDir) {
           candidateDirectories.push(toAbsolutePath(combineDirectoryPath(currentDir, state.compilerOptions.declarationDir)));
@@ -46588,8 +46611,13 @@ function createTypeChecker(host) {
     getMemberOverrideModifierStatus,
     isTypeParameterPossiblyReferenced,
     typeHasCallOrConstructSignatures,
-    getSymbolFlags
+    getSymbolFlags,
+    getTypeArgumentsForResolvedSignature
   };
+  function getTypeArgumentsForResolvedSignature(signature) {
+    if (signature.mapper === void 0) return void 0;
+    return instantiateTypes((signature.target || signature).typeParameters, signature.mapper);
+  }
   function getCandidateSignaturesForStringLiteralCompletions(call, editingArgument) {
     const candidatesSet = /* @__PURE__ */ new Set();
     const candidates = [];
@@ -51229,7 +51257,7 @@ function createTypeChecker(host) {
         function shouldWriteTypeOfFunctionSymbol() {
           var _a3;
           const isStaticMethodSymbol = !!(symbol.flags & 8192 /* Method */) && // typeof static method
-          some(symbol.declarations, (declaration) => isStatic(declaration));
+          some(symbol.declarations, (declaration) => isStatic(declaration) && !isLateBindableIndexSignature(getNameOfDeclaration(declaration)));
           const isNonLocalFunctionSymbol = !!(symbol.flags & 16 /* Function */) && (symbol.parent || // is exported function symbol
           forEach(symbol.declarations, (declaration) => declaration.parent.kind === 307 /* SourceFile */ || declaration.parent.kind === 268 /* ModuleBlock */));
           if (isStaticMethodSymbol || isNonLocalFunctionSymbol) {
@@ -51532,6 +51560,38 @@ function createTypeChecker(host) {
         ids.unshift(state);
         return ids;
       }
+      function indexInfoToObjectComputedNamesOrSignatureDeclaration(indexInfo, context2, typeNode) {
+        if (indexInfo.components) {
+          const allComponentComputedNamesSerializable = every(indexInfo.components, (e) => {
+            var _a2;
+            return !!(e.name && isComputedPropertyName(e.name) && isEntityNameExpression(e.name.expression) && context2.enclosingDeclaration && ((_a2 = isEntityNameVisible(
+              e.name.expression,
+              context2.enclosingDeclaration,
+              /*shouldComputeAliasToMakeVisible*/
+              false
+            )) == null ? void 0 : _a2.accessibility) === 0 /* Accessible */);
+          });
+          if (allComponentComputedNamesSerializable) {
+            const newComponents = filter(indexInfo.components, (e) => {
+              return !hasLateBindableName(e);
+            });
+            return map(newComponents, (e) => {
+              trackComputedName(e.name.expression, context2.enclosingDeclaration, context2);
+              return setTextRange2(
+                context2,
+                factory.createPropertySignature(
+                  indexInfo.isReadonly ? [factory.createModifier(148 /* ReadonlyKeyword */)] : void 0,
+                  e.name,
+                  (isPropertySignature(e) || isPropertyDeclaration(e) || isMethodSignature(e) || isMethodDeclaration(e) || isGetAccessor(e) || isSetAccessor(e)) && e.questionToken ? factory.createToken(58 /* QuestionToken */) : void 0,
+                  typeNode || typeToTypeNodeHelper(getTypeOfSymbol(e.symbol), context2)
+                ),
+                e
+              );
+            });
+          }
+        }
+        return [indexInfoToIndexSignatureDeclarationHelper(indexInfo, context2, typeNode)];
+      }
       function createTypeNodesFromResolvedType(resolvedType) {
         if (checkTruncationLength(context)) {
           if (context.flags & 1 /* NoTruncation */) {
@@ -51556,7 +51616,7 @@ function createTypeChecker(host) {
           typeElements.push(signatureToSignatureDeclarationHelper(signature, 180 /* ConstructSignature */, context));
         }
         for (const info of resolvedType.indexInfos) {
-          typeElements.push(indexInfoToIndexSignatureDeclarationHelper(info, context, resolvedType.objectFlags & 1024 /* ReverseMapped */ ? createElidedInformationPlaceholder(context) : void 0));
+          typeElements.push(...indexInfoToObjectComputedNamesOrSignatureDeclaration(info, context, resolvedType.objectFlags & 1024 /* ReverseMapped */ ? createElidedInformationPlaceholder(context) : void 0));
         }
         const properties = resolvedType.properties;
         if (!properties) {
@@ -52245,7 +52305,7 @@ function createTypeChecker(host) {
       if (!context.tracker.canTrackSymbol) return;
       const firstIdentifier = getFirstIdentifier(accessExpression);
       const name = resolveName(
-        firstIdentifier,
+        enclosingDeclaration,
         firstIdentifier.escapedText,
         111551 /* Value */ | 1048576 /* ExportValue */,
         /*nameNotFoundMessage*/
@@ -52255,6 +52315,19 @@ function createTypeChecker(host) {
       );
       if (name) {
         context.tracker.trackSymbol(name, enclosingDeclaration, 111551 /* Value */);
+      } else {
+        const fallback = resolveName(
+          firstIdentifier,
+          firstIdentifier.escapedText,
+          111551 /* Value */ | 1048576 /* ExportValue */,
+          /*nameNotFoundMessage*/
+          void 0,
+          /*isUse*/
+          true
+        );
+        if (fallback) {
+          context.tracker.trackSymbol(fallback, enclosingDeclaration, 111551 /* Value */);
+        }
       }
     }
     function lookupSymbolChain(symbol, context, meaning, yieldModuleSymbol) {
@@ -59069,8 +59142,8 @@ function createTypeChecker(host) {
   function getIndexSymbolFromSymbolTable(symbolTable) {
     return symbolTable.get("__index" /* Index */);
   }
-  function createIndexInfo(keyType, type, isReadonly, declaration) {
-    return { keyType, type, isReadonly, declaration };
+  function createIndexInfo(keyType, type, isReadonly, declaration, components) {
+    return { keyType, type, isReadonly, declaration, components };
   }
   function getIndexInfosOfSymbol(symbol) {
     const indexSymbol = getIndexSymbol(symbol);
@@ -62146,7 +62219,7 @@ function createTypeChecker(host) {
     return result;
   }
   function getIndexInfoWithReadonly(info, readonly) {
-    return info.isReadonly !== readonly ? createIndexInfo(info.keyType, info.type, readonly, info.declaration) : info;
+    return info.isReadonly !== readonly ? createIndexInfo(info.keyType, info.type, readonly, info.declaration, info.components) : info;
   }
   function createLiteralType(flags, value, symbol, regularType) {
     const type = createTypeWithSymbol(flags, symbol);
@@ -62936,7 +63009,7 @@ function createTypeChecker(host) {
     return type.restrictiveInstantiation;
   }
   function instantiateIndexInfo(info, mapper) {
-    return createIndexInfo(info.keyType, instantiateType(info.type, mapper), info.isReadonly, info.declaration);
+    return createIndexInfo(info.keyType, instantiateType(info.type, mapper), info.isReadonly, info.declaration, info.components);
   }
   function isContextSensitive(node) {
     Debug.assert(node.kind !== 174 /* MethodDeclaration */ || isObjectLiteralMethod(node));
@@ -67069,7 +67142,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    const result = createAnonymousType(type.symbol, members, emptyArray, emptyArray, sameMap(getIndexInfosOfType(type), (info) => createIndexInfo(info.keyType, getWidenedType(info.type), info.isReadonly)));
+    const result = createAnonymousType(type.symbol, members, emptyArray, emptyArray, sameMap(getIndexInfosOfType(type), (info) => createIndexInfo(info.keyType, getWidenedType(info.type), info.isReadonly, info.declaration, info.components)));
     result.objectFlags |= getObjectFlags(type) & (4096 /* JSLiteral */ | 262144 /* NonInferrableType */);
     return result;
   }
@@ -73119,16 +73192,33 @@ function createTypeChecker(host) {
     const firstDecl = (_a = symbol.declarations) == null ? void 0 : _a[0];
     return isKnownSymbol(symbol) || firstDecl && isNamedDeclaration(firstDecl) && isComputedPropertyName(firstDecl.name) && isTypeAssignableToKind(checkComputedPropertyName(firstDecl.name), 4096 /* ESSymbol */);
   }
+  function isSymbolWithComputedName(symbol) {
+    var _a;
+    const firstDecl = (_a = symbol.declarations) == null ? void 0 : _a[0];
+    return firstDecl && isNamedDeclaration(firstDecl) && isComputedPropertyName(firstDecl.name);
+  }
   function getObjectLiteralIndexInfo(isReadonly, offset, properties, keyType) {
+    var _a;
     const propTypes = [];
+    let components;
     for (let i = offset; i < properties.length; i++) {
       const prop = properties[i];
       if (keyType === stringType && !isSymbolWithSymbolName(prop) || keyType === numberType && isSymbolWithNumericName(prop) || keyType === esSymbolType && isSymbolWithSymbolName(prop)) {
         propTypes.push(getTypeOfSymbol(properties[i]));
+        if (isSymbolWithComputedName(properties[i])) {
+          components = append(components, (_a = properties[i].declarations) == null ? void 0 : _a[0]);
+        }
       }
     }
     const unionType = propTypes.length ? getUnionType(propTypes, 2 /* Subtype */) : undefinedType;
-    return createIndexInfo(keyType, unionType, isReadonly);
+    return createIndexInfo(
+      keyType,
+      unionType,
+      isReadonly,
+      /*declaration*/
+      void 0,
+      components
+    );
   }
   function getImmediateAliasedSymbol(symbol) {
     Debug.assert((symbol.flags & 2097152 /* Alias */) !== 0, "Should only get Alias here.");
@@ -73663,6 +73753,9 @@ function createTypeChecker(host) {
     return getNameFromJsxElementAttributesContainer(JsxNames.ElementAttributesPropertyNameContainer, jsxNamespace);
   }
   function getJsxElementChildrenPropertyName(jsxNamespace) {
+    if (compilerOptions.jsx === 4 /* ReactJSX */ || compilerOptions.jsx === 5 /* ReactJSXDev */) {
+      return "children";
+    }
     return getNameFromJsxElementAttributesContainer(JsxNames.ElementChildrenAttributeNameContainer, jsxNamespace);
   }
   function getUninstantiatedJsxSignaturesOfType(elementType, caller) {
@@ -80174,6 +80267,9 @@ function createTypeChecker(host) {
     checkVariableLikeDeclaration(node);
     const func = getContainingFunction(node);
     if (hasSyntacticModifier(node, 31 /* ParameterPropertyModifier */)) {
+      if (compilerOptions.erasableSyntaxOnly) {
+        error(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+      }
       if (!(func.kind === 176 /* Constructor */ && nodeIsPresent(func.body))) {
         error(node, Diagnostics.A_parameter_property_is_only_allowed_in_a_constructor_implementation);
       }
@@ -83828,7 +83924,7 @@ function createTypeChecker(host) {
     const typeDeclaration = symbol.valueDeclaration;
     if (typeDeclaration && isClassLike(typeDeclaration)) {
       for (const member of typeDeclaration.members) {
-        if (!isStatic(member) && !hasBindableName(member)) {
+        if ((!isStaticIndex && !isStatic(member) || isStaticIndex && isStatic(member)) && !hasBindableName(member)) {
           const symbol2 = getSymbolOfDeclaration(member);
           checkIndexConstraintForProperty(type, symbol2, getTypeOfExpression(member.name.expression), getNonMissingTypeOfSymbol(symbol2));
         }
@@ -84878,6 +84974,9 @@ function createTypeChecker(host) {
     checkCollisionsForDeclarationName(node, node.name);
     checkExportsOnMergedDeclarations(node);
     node.members.forEach(checkEnumMember);
+    if (compilerOptions.erasableSyntaxOnly && !(node.flags & 33554432 /* Ambient */)) {
+      error(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+    }
     computeEnumMemberValues(node);
     const enumSymbol = getSymbolOfDeclaration(node);
     const firstDeclaration = getDeclarationOfKind(enumSymbol, node.kind);
@@ -84979,6 +85078,9 @@ function createTypeChecker(host) {
       checkExportsOnMergedDeclarations(node);
       const symbol = getSymbolOfDeclaration(node);
       if (symbol.flags & 512 /* ValueModule */ && !inAmbientContext && isInstantiatedModule(node, shouldPreserveConstEnums(compilerOptions))) {
+        if (compilerOptions.erasableSyntaxOnly) {
+          error(node.name, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+        }
         if (getIsolatedModules(compilerOptions) && !getSourceFileOfNode(node).externalModuleIndicator) {
           error(node.name, Diagnostics.Namespaces_are_not_allowed_in_global_script_files_when_0_is_enabled_If_this_file_is_not_intended_to_be_a_global_script_set_moduleDetection_to_force_or_add_an_empty_export_statement, isolatedModulesLikeFlagName);
         }
@@ -85366,7 +85468,11 @@ function createTypeChecker(host) {
       return;
     }
     checkGrammarModifiers(node);
-    if (isInternalModuleImportEqualsDeclaration(node) || checkExternalImportOrExportDeclaration(node)) {
+    const isImportEquals = isInternalModuleImportEqualsDeclaration(node);
+    if (compilerOptions.erasableSyntaxOnly && isImportEquals && !(node.flags & 33554432 /* Ambient */)) {
+      error(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+    }
+    if (isImportEquals || checkExternalImportOrExportDeclaration(node)) {
       checkImportBinding(node);
       markLinkedReferences(node, 6 /* ExportImportEquals */);
       if (node.moduleReference.kind !== 283 /* ExternalModuleReference */) {
@@ -87631,6 +87737,35 @@ function createTypeChecker(host) {
           for (const info of infoList) {
             if (info.declaration) continue;
             if (info === anyBaseTypeIndexInfo) continue;
+            if (info.components) {
+              const allComponentComputedNamesSerializable = every(info.components, (e) => {
+                var _a;
+                return !!(e.name && isComputedPropertyName(e.name) && isEntityNameExpression(e.name.expression) && enclosing && ((_a = isEntityNameVisible(
+                  e.name.expression,
+                  enclosing,
+                  /*shouldComputeAliasToMakeVisible*/
+                  false
+                )) == null ? void 0 : _a.accessibility) === 0 /* Accessible */);
+              });
+              if (allComponentComputedNamesSerializable) {
+                const newComponents = filter(info.components, (e) => {
+                  return !hasLateBindableName(e);
+                });
+                result.push(...map(newComponents, (e) => {
+                  trackComputedName(e.name.expression);
+                  const mods = infoList === staticInfos ? [factory.createModifier(126 /* StaticKeyword */)] : void 0;
+                  return factory.createPropertyDeclaration(
+                    append(mods, info.isReadonly ? factory.createModifier(148 /* ReadonlyKeyword */) : void 0),
+                    e.name,
+                    (isPropertySignature(e) || isPropertyDeclaration(e) || isMethodSignature(e) || isMethodDeclaration(e) || isGetAccessor(e) || isSetAccessor(e)) && e.questionToken ? factory.createToken(58 /* QuestionToken */) : void 0,
+                    nodeBuilder.typeToTypeNode(getTypeOfSymbol(e.symbol), enclosing, flags, internalFlags, tracker),
+                    /*initializer*/
+                    void 0
+                  );
+                }));
+                continue;
+              }
+            }
             const node = nodeBuilder.indexInfoToIndexSignatureDeclaration(info, enclosing, flags, internalFlags, tracker);
             if (node && infoList === staticInfos) {
               (node.modifiers || (node.modifiers = factory.createNodeArray())).unshift(factory.createModifier(126 /* StaticKeyword */));
@@ -87641,6 +87776,22 @@ function createTypeChecker(host) {
           }
         }
         return result;
+        function trackComputedName(accessExpression) {
+          if (!tracker.trackSymbol) return;
+          const firstIdentifier = getFirstIdentifier(accessExpression);
+          const name = resolveName(
+            firstIdentifier,
+            firstIdentifier.escapedText,
+            111551 /* Value */ | 1048576 /* ExportValue */,
+            /*nameNotFoundMessage*/
+            void 0,
+            /*isUse*/
+            true
+          );
+          if (name) {
+            tracker.trackSymbol(name, enclosing, 111551 /* Value */);
+          }
+        }
       }
     };
     function isImportRequiredByAugmentation(node) {
@@ -88885,7 +89036,7 @@ function createTypeChecker(host) {
     }
   }
   function checkGrammarForInvalidDynamicName(node, message) {
-    if (isNonBindableDynamicName(node)) {
+    if (isNonBindableDynamicName(node) && !isEntityNameExpression(isElementAccessExpression(node) ? skipParentheses(node.argumentExpression) : node.expression)) {
       return grammarErrorOnNode(node, message);
     }
   }
@@ -121267,11 +121418,13 @@ function createCreateProgramOptions(rootNames, options, host, oldProgram, config
     typeScriptVersion: typeScriptVersion2
   };
 }
-function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) {
+function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) {
   var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k, _l, _m, _n, _o, _p;
-  const createProgramOptions = isArray(rootNamesOrOptions) ? createCreateProgramOptions(rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) : rootNamesOrOptions;
-  const { rootNames, options, configFileParsingDiagnostics, projectReferences, typeScriptVersion: typeScriptVersion2 } = createProgramOptions;
-  let { oldProgram } = createProgramOptions;
+  let _createProgramOptions = isArray(_rootNamesOrOptions) ? createCreateProgramOptions(_rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) : _rootNamesOrOptions;
+  const { rootNames, options, configFileParsingDiagnostics, projectReferences, typeScriptVersion: typeScriptVersion2, host: createProgramOptionsHost } = _createProgramOptions;
+  let { oldProgram } = _createProgramOptions;
+  _createProgramOptions = void 0;
+  _rootNamesOrOptions = void 0;
   for (const option of commandLineOptionOfCustomType) {
     if (hasProperty(options, option.name)) {
       if (typeof options[option.name] === "string") {
@@ -121311,7 +121464,7 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     true
   );
   mark("beforeProgram");
-  const host = createProgramOptions.host || createCompilerHost(options);
+  const host = createProgramOptionsHost || createCompilerHost(options);
   const configParsingHost = parseConfigHostFromCompilerHostLike(host);
   let skipDefaultLib = options.noLib;
   const getDefaultLibraryFileName = memoize(() => host.getDefaultLibFileName(options));
@@ -123252,6 +123405,16 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     var _a2, _b2, _c2, _d2, _e2;
     const existing = resolvedLibProcessing == null ? void 0 : resolvedLibProcessing.get(libFileName);
     if (existing) return existing;
+    if (options.libReplacement === false) {
+      const result2 = {
+        resolution: {
+          resolvedModule: void 0
+        },
+        actual: combinePaths(defaultLibraryPath, libFileName)
+      };
+      (resolvedLibProcessing ?? (resolvedLibProcessing = /* @__PURE__ */ new Map())).set(libFileName, result2);
+      return result2;
+    }
     if (structureIsReused !== 0 /* Not */ && oldProgram && !hasInvalidatedLibResolutions(libFileName)) {
       const oldResolution = (_a2 = oldProgram.resolvedLibReferences) == null ? void 0 : _a2.get(libFileName);
       if (oldResolution) {

package/lib/typescript.d.ts

@@ -6348,6 +6348,7 @@ declare namespace ts {
          * and the operation is cancelled, then it should be discarded, otherwise it is safe to keep.
          */
         runWithCancellationToken<T>(token: CancellationToken, cb: (checker: TypeChecker) => T): T;
+        getTypeArgumentsForResolvedSignature(signature: Signature): readonly Type[] | undefined;
     }
     enum NodeBuilderFlags {
         None = 0,
@@ -6851,11 +6852,15 @@ declare namespace ts {
         String = 0,
         Number = 1,
     }
+    type ElementWithComputedPropertyName = (ClassElement | ObjectLiteralElement) & {
+        name: ComputedPropertyName;
+    };
     interface IndexInfo {
         keyType: Type;
         type: Type;
         isReadonly: boolean;
         declaration?: IndexSignatureDeclaration;
+        components?: ElementWithComputedPropertyName[];
     }
     enum InferencePriority {
         None = 0,
@@ -7026,6 +7031,7 @@ declare namespace ts {
         /** @deprecated */
         keyofStringsOnly?: boolean;
         lib?: string[];
+        libReplacement?: boolean;
         locale?: string;
         mapRoot?: string;
         maxNodeModuleJsDepth?: number;
@@ -7102,6 +7108,7 @@ declare namespace ts {
         /** Paths used to compute primary types search locations */
         typeRoots?: string[];
         verbatimModuleSyntax?: boolean;
+        erasableSyntaxOnly?: boolean;
         esModuleInterop?: boolean;
         useDefineForClassFields?: boolean;
         [option: string]: CompilerOptionsValue | TsConfigSourceFile | undefined;

package/lib/typescript.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-dev.20250123`;
+var version = `${versionMajorMinor}.0-dev.20250125`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -9407,6 +9407,7 @@ var Diagnostics = {
   _0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enabled_Consider_using_import_type_where_0_is_imported: diag(1291, 1 /* Error */, "_0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enable_1291", "'{0}' resolves to a type and must be marked type-only in this file before re-exporting when '{1}' is enabled. Consider using 'import type' where '{0}' is imported."),
   _0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enabled_Consider_using_export_type_0_as_default: diag(1292, 1 /* Error */, "_0_resolves_to_a_type_and_must_be_marked_type_only_in_this_file_before_re_exporting_when_1_is_enable_1292", "'{0}' resolves to a type and must be marked type-only in this file before re-exporting when '{1}' is enabled. Consider using 'export type { {0} as default }'."),
   ESM_syntax_is_not_allowed_in_a_CommonJS_module_when_module_is_set_to_preserve: diag(1293, 1 /* Error */, "ESM_syntax_is_not_allowed_in_a_CommonJS_module_when_module_is_set_to_preserve_1293", "ESM syntax is not allowed in a CommonJS module when 'module' is set to 'preserve'."),
+  This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled: diag(1294, 1 /* Error */, "This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled_1294", "This syntax is not allowed when 'erasableSyntaxOnly' is enabled."),
   with_statements_are_not_allowed_in_an_async_function_block: diag(1300, 1 /* Error */, "with_statements_are_not_allowed_in_an_async_function_block_1300", "'with' statements are not allowed in an async function block."),
   await_expressions_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules: diag(1308, 1 /* Error */, "await_expressions_are_only_allowed_within_async_functions_and_at_the_top_levels_of_modules_1308", "'await' expressions are only allowed within async functions and at the top levels of modules."),
   The_current_file_is_a_CommonJS_module_and_cannot_use_await_at_the_top_level: diag(1309, 1 /* Error */, "The_current_file_is_a_CommonJS_module_and_cannot_use_await_at_the_top_level_1309", "The current file is a CommonJS module and cannot use 'await' at the top level."),
@@ -10894,11 +10895,13 @@ var Diagnostics = {
   Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types: diag(6718, 3 /* Message */, "Specify_emit_Slashchecking_behavior_for_imports_that_are_only_used_for_types_6718", "Specify emit/checking behavior for imports that are only used for types."),
   Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files: diag(6719, 3 /* Message */, "Require_sufficient_annotation_on_exports_so_other_tools_can_trivially_generate_declaration_files_6719", "Require sufficient annotation on exports so other tools can trivially generate declaration files."),
   Built_in_iterators_are_instantiated_with_a_TReturn_type_of_undefined_instead_of_any: diag(6720, 3 /* Message */, "Built_in_iterators_are_instantiated_with_a_TReturn_type_of_undefined_instead_of_any_6720", "Built-in iterators are instantiated with a 'TReturn' type of 'undefined' instead of 'any'."),
+  Do_not_allow_runtime_constructs_that_are_not_part_of_ECMAScript: diag(6721, 3 /* Message */, "Do_not_allow_runtime_constructs_that_are_not_part_of_ECMAScript_6721", "Do not allow runtime constructs that are not part of ECMAScript."),
   Default_catch_clause_variables_as_unknown_instead_of_any: diag(6803, 3 /* Message */, "Default_catch_clause_variables_as_unknown_instead_of_any_6803", "Default catch clause variables as 'unknown' instead of 'any'."),
   Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_in_the_output_file_s_format_based_on_the_module_setting: diag(6804, 3 /* Message */, "Do_not_transform_or_elide_any_imports_or_exports_not_marked_as_type_only_ensuring_they_are_written_i_6804", "Do not transform or elide any imports or exports not marked as type-only, ensuring they are written in the output file's format based on the 'module' setting."),
   Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported: diag(6805, 3 /* Message */, "Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported_6805", "Disable full type checking (only critical parse and emit errors will be reported)."),
   Check_side_effect_imports: diag(6806, 3 /* Message */, "Check_side_effect_imports_6806", "Check side effect imports."),
   This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2: diag(6807, 1 /* Error */, "This_operation_can_be_simplified_This_shift_is_identical_to_0_1_2_6807", "This operation can be simplified. This shift is identical to `{0} {1} {2}`."),
+  Enable_lib_replacement: diag(6808, 3 /* Message */, "Enable_lib_replacement_6808", "Enable lib replacement."),
   one_of_Colon: diag(6900, 3 /* Message */, "one_of_Colon_6900", "one of:"),
   one_or_more_Colon: diag(6901, 3 /* Message */, "one_or_more_Colon_6901", "one or more:"),
   type_Colon: diag(6902, 3 /* Message */, "type_Colon_6902", "type:"),
@@ -41107,6 +41110,23 @@ var commandOptionsWithoutBuild = [
     affectsBuildInfo: true,
     affectsSemanticDiagnostics: true
   },
+  {
+    name: "erasableSyntaxOnly",
+    type: "boolean",
+    category: Diagnostics.Interop_Constraints,
+    description: Diagnostics.Do_not_allow_runtime_constructs_that_are_not_part_of_ECMAScript,
+    defaultValueDescription: false,
+    affectsBuildInfo: true,
+    affectsSemanticDiagnostics: true
+  },
+  {
+    name: "libReplacement",
+    type: "boolean",
+    affectsProgramStructure: true,
+    category: Diagnostics.Language_and_Environment,
+    description: Diagnostics.Enable_lib_replacement,
+    defaultValueDescription: true
+  },
   // Strict Type Checks
   {
     name: "strict",
@@ -45795,6 +45815,7 @@ function hasOneAsterisk(patternKey) {
 function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirectedReference, moduleName, scope, isImports) {
   return loadModuleFromTargetExportOrImport;
   function loadModuleFromTargetExportOrImport(target, subpath, pattern, key) {
+    var _a, _b;
     if (typeof target === "string") {
       if (!pattern && subpath.length > 0 && !endsWith(target, "/")) {
         if (state.traceEnabled) {
@@ -45823,6 +45844,8 @@ function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirec
             redirectedReference,
             state.conditions
           );
+          (_a = state.failedLookupLocations) == null ? void 0 : _a.push(...result.failedLookupLocations ?? emptyArray);
+          (_b = state.affectingLocations) == null ? void 0 : _b.push(...result.affectingLocations ?? emptyArray);
           return toSearchResult(
             result.resolvedModule ? {
               path: result.resolvedModule.resolvedFileName,
@@ -45932,20 +45955,20 @@ function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirec
       void 0
     );
     function toAbsolutePath(path) {
-      var _a, _b;
+      var _a2, _b2;
       if (path === void 0) return path;
-      return getNormalizedAbsolutePath(path, (_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a));
+      return getNormalizedAbsolutePath(path, (_b2 = (_a2 = state.host).getCurrentDirectory) == null ? void 0 : _b2.call(_a2));
     }
     function combineDirectoryPath(root, dir) {
       return ensureTrailingDirectorySeparator(combinePaths(root, dir));
     }
     function tryLoadInputFileForPath(finalPath, entry, packagePath, isImports2) {
-      var _a, _b, _c, _d;
+      var _a2, _b2, _c, _d;
       if (!state.isConfigLookup && (state.compilerOptions.declarationDir || state.compilerOptions.outDir) && !finalPath.includes("/node_modules/") && (state.compilerOptions.configFile ? containsPath(scope.packageDirectory, toAbsolutePath(state.compilerOptions.configFile.fileName), !useCaseSensitiveFileNames(state)) : true)) {
         const getCanonicalFileName = hostGetCanonicalFileName({ useCaseSensitiveFileNames: () => useCaseSensitiveFileNames(state) });
         const commonSourceDirGuesses = [];
         if (state.compilerOptions.rootDir || state.compilerOptions.composite && state.compilerOptions.configFilePath) {
-          const commonDir = toAbsolutePath(getCommonSourceDirectory(state.compilerOptions, () => [], ((_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a)) || "", getCanonicalFileName));
+          const commonDir = toAbsolutePath(getCommonSourceDirectory(state.compilerOptions, () => [], ((_b2 = (_a2 = state.host).getCurrentDirectory) == null ? void 0 : _b2.call(_a2)) || "", getCanonicalFileName));
           commonSourceDirGuesses.push(commonDir);
         } else if (state.requestContainingDirectory) {
           const requestingFile = toAbsolutePath(combinePaths(state.requestContainingDirectory, "index.ts"));
@@ -46001,8 +46024,8 @@ function getLoadModuleFromTargetExportOrImport(extensions, state, cache, redirec
       }
       return void 0;
       function getOutputDirectoriesForBaseDirectory(commonSourceDirGuess) {
-        var _a2, _b2;
-        const currentDir = state.compilerOptions.configFile ? ((_b2 = (_a2 = state.host).getCurrentDirectory) == null ? void 0 : _b2.call(_a2)) || "" : commonSourceDirGuess;
+        var _a3, _b3;
+        const currentDir = state.compilerOptions.configFile ? ((_b3 = (_a3 = state.host).getCurrentDirectory) == null ? void 0 : _b3.call(_a3)) || "" : commonSourceDirGuess;
         const candidateDirectories = [];
         if (state.compilerOptions.declarationDir) {
           candidateDirectories.push(toAbsolutePath(combineDirectoryPath(currentDir, state.compilerOptions.declarationDir)));
@@ -51198,8 +51221,13 @@ function createTypeChecker(host) {
     getMemberOverrideModifierStatus,
     isTypeParameterPossiblyReferenced,
     typeHasCallOrConstructSignatures,
-    getSymbolFlags
+    getSymbolFlags,
+    getTypeArgumentsForResolvedSignature
   };
+  function getTypeArgumentsForResolvedSignature(signature) {
+    if (signature.mapper === void 0) return void 0;
+    return instantiateTypes((signature.target || signature).typeParameters, signature.mapper);
+  }
   function getCandidateSignaturesForStringLiteralCompletions(call, editingArgument) {
     const candidatesSet = /* @__PURE__ */ new Set();
     const candidates = [];
@@ -55839,7 +55867,7 @@ function createTypeChecker(host) {
         function shouldWriteTypeOfFunctionSymbol() {
           var _a3;
           const isStaticMethodSymbol = !!(symbol.flags & 8192 /* Method */) && // typeof static method
-          some(symbol.declarations, (declaration) => isStatic(declaration));
+          some(symbol.declarations, (declaration) => isStatic(declaration) && !isLateBindableIndexSignature(getNameOfDeclaration(declaration)));
           const isNonLocalFunctionSymbol = !!(symbol.flags & 16 /* Function */) && (symbol.parent || // is exported function symbol
           forEach(symbol.declarations, (declaration) => declaration.parent.kind === 307 /* SourceFile */ || declaration.parent.kind === 268 /* ModuleBlock */));
           if (isStaticMethodSymbol || isNonLocalFunctionSymbol) {
@@ -56142,6 +56170,38 @@ function createTypeChecker(host) {
         ids.unshift(state);
         return ids;
       }
+      function indexInfoToObjectComputedNamesOrSignatureDeclaration(indexInfo, context2, typeNode) {
+        if (indexInfo.components) {
+          const allComponentComputedNamesSerializable = every(indexInfo.components, (e) => {
+            var _a2;
+            return !!(e.name && isComputedPropertyName(e.name) && isEntityNameExpression(e.name.expression) && context2.enclosingDeclaration && ((_a2 = isEntityNameVisible(
+              e.name.expression,
+              context2.enclosingDeclaration,
+              /*shouldComputeAliasToMakeVisible*/
+              false
+            )) == null ? void 0 : _a2.accessibility) === 0 /* Accessible */);
+          });
+          if (allComponentComputedNamesSerializable) {
+            const newComponents = filter(indexInfo.components, (e) => {
+              return !hasLateBindableName(e);
+            });
+            return map(newComponents, (e) => {
+              trackComputedName(e.name.expression, context2.enclosingDeclaration, context2);
+              return setTextRange2(
+                context2,
+                factory.createPropertySignature(
+                  indexInfo.isReadonly ? [factory.createModifier(148 /* ReadonlyKeyword */)] : void 0,
+                  e.name,
+                  (isPropertySignature(e) || isPropertyDeclaration(e) || isMethodSignature(e) || isMethodDeclaration(e) || isGetAccessor(e) || isSetAccessor(e)) && e.questionToken ? factory.createToken(58 /* QuestionToken */) : void 0,
+                  typeNode || typeToTypeNodeHelper(getTypeOfSymbol(e.symbol), context2)
+                ),
+                e
+              );
+            });
+          }
+        }
+        return [indexInfoToIndexSignatureDeclarationHelper(indexInfo, context2, typeNode)];
+      }
       function createTypeNodesFromResolvedType(resolvedType) {
         if (checkTruncationLength(context)) {
           if (context.flags & 1 /* NoTruncation */) {
@@ -56166,7 +56226,7 @@ function createTypeChecker(host) {
           typeElements.push(signatureToSignatureDeclarationHelper(signature, 180 /* ConstructSignature */, context));
         }
         for (const info of resolvedType.indexInfos) {
-          typeElements.push(indexInfoToIndexSignatureDeclarationHelper(info, context, resolvedType.objectFlags & 1024 /* ReverseMapped */ ? createElidedInformationPlaceholder(context) : void 0));
+          typeElements.push(...indexInfoToObjectComputedNamesOrSignatureDeclaration(info, context, resolvedType.objectFlags & 1024 /* ReverseMapped */ ? createElidedInformationPlaceholder(context) : void 0));
         }
         const properties = resolvedType.properties;
         if (!properties) {
@@ -56855,7 +56915,7 @@ function createTypeChecker(host) {
       if (!context.tracker.canTrackSymbol) return;
       const firstIdentifier = getFirstIdentifier(accessExpression);
       const name = resolveName(
-        firstIdentifier,
+        enclosingDeclaration,
         firstIdentifier.escapedText,
         111551 /* Value */ | 1048576 /* ExportValue */,
         /*nameNotFoundMessage*/
@@ -56865,6 +56925,19 @@ function createTypeChecker(host) {
       );
       if (name) {
         context.tracker.trackSymbol(name, enclosingDeclaration, 111551 /* Value */);
+      } else {
+        const fallback = resolveName(
+          firstIdentifier,
+          firstIdentifier.escapedText,
+          111551 /* Value */ | 1048576 /* ExportValue */,
+          /*nameNotFoundMessage*/
+          void 0,
+          /*isUse*/
+          true
+        );
+        if (fallback) {
+          context.tracker.trackSymbol(fallback, enclosingDeclaration, 111551 /* Value */);
+        }
       }
     }
     function lookupSymbolChain(symbol, context, meaning, yieldModuleSymbol) {
@@ -63679,8 +63752,8 @@ function createTypeChecker(host) {
   function getIndexSymbolFromSymbolTable(symbolTable) {
     return symbolTable.get("__index" /* Index */);
   }
-  function createIndexInfo(keyType, type, isReadonly, declaration) {
-    return { keyType, type, isReadonly, declaration };
+  function createIndexInfo(keyType, type, isReadonly, declaration, components) {
+    return { keyType, type, isReadonly, declaration, components };
   }
   function getIndexInfosOfSymbol(symbol) {
     const indexSymbol = getIndexSymbol(symbol);
@@ -66756,7 +66829,7 @@ function createTypeChecker(host) {
     return result;
   }
   function getIndexInfoWithReadonly(info, readonly) {
-    return info.isReadonly !== readonly ? createIndexInfo(info.keyType, info.type, readonly, info.declaration) : info;
+    return info.isReadonly !== readonly ? createIndexInfo(info.keyType, info.type, readonly, info.declaration, info.components) : info;
   }
   function createLiteralType(flags, value, symbol, regularType) {
     const type = createTypeWithSymbol(flags, symbol);
@@ -67546,7 +67619,7 @@ function createTypeChecker(host) {
     return type.restrictiveInstantiation;
   }
   function instantiateIndexInfo(info, mapper) {
-    return createIndexInfo(info.keyType, instantiateType(info.type, mapper), info.isReadonly, info.declaration);
+    return createIndexInfo(info.keyType, instantiateType(info.type, mapper), info.isReadonly, info.declaration, info.components);
   }
   function isContextSensitive(node) {
     Debug.assert(node.kind !== 174 /* MethodDeclaration */ || isObjectLiteralMethod(node));
@@ -71679,7 +71752,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    const result = createAnonymousType(type.symbol, members, emptyArray, emptyArray, sameMap(getIndexInfosOfType(type), (info) => createIndexInfo(info.keyType, getWidenedType(info.type), info.isReadonly)));
+    const result = createAnonymousType(type.symbol, members, emptyArray, emptyArray, sameMap(getIndexInfosOfType(type), (info) => createIndexInfo(info.keyType, getWidenedType(info.type), info.isReadonly, info.declaration, info.components)));
     result.objectFlags |= getObjectFlags(type) & (4096 /* JSLiteral */ | 262144 /* NonInferrableType */);
     return result;
   }
@@ -77729,16 +77802,33 @@ function createTypeChecker(host) {
     const firstDecl = (_a = symbol.declarations) == null ? void 0 : _a[0];
     return isKnownSymbol(symbol) || firstDecl && isNamedDeclaration(firstDecl) && isComputedPropertyName(firstDecl.name) && isTypeAssignableToKind(checkComputedPropertyName(firstDecl.name), 4096 /* ESSymbol */);
   }
+  function isSymbolWithComputedName(symbol) {
+    var _a;
+    const firstDecl = (_a = symbol.declarations) == null ? void 0 : _a[0];
+    return firstDecl && isNamedDeclaration(firstDecl) && isComputedPropertyName(firstDecl.name);
+  }
   function getObjectLiteralIndexInfo(isReadonly, offset, properties, keyType) {
+    var _a;
     const propTypes = [];
+    let components;
     for (let i = offset; i < properties.length; i++) {
       const prop = properties[i];
       if (keyType === stringType && !isSymbolWithSymbolName(prop) || keyType === numberType && isSymbolWithNumericName(prop) || keyType === esSymbolType && isSymbolWithSymbolName(prop)) {
         propTypes.push(getTypeOfSymbol(properties[i]));
+        if (isSymbolWithComputedName(properties[i])) {
+          components = append(components, (_a = properties[i].declarations) == null ? void 0 : _a[0]);
+        }
       }
     }
     const unionType = propTypes.length ? getUnionType(propTypes, 2 /* Subtype */) : undefinedType;
-    return createIndexInfo(keyType, unionType, isReadonly);
+    return createIndexInfo(
+      keyType,
+      unionType,
+      isReadonly,
+      /*declaration*/
+      void 0,
+      components
+    );
   }
   function getImmediateAliasedSymbol(symbol) {
     Debug.assert((symbol.flags & 2097152 /* Alias */) !== 0, "Should only get Alias here.");
@@ -78273,6 +78363,9 @@ function createTypeChecker(host) {
     return getNameFromJsxElementAttributesContainer(JsxNames.ElementAttributesPropertyNameContainer, jsxNamespace);
   }
   function getJsxElementChildrenPropertyName(jsxNamespace) {
+    if (compilerOptions.jsx === 4 /* ReactJSX */ || compilerOptions.jsx === 5 /* ReactJSXDev */) {
+      return "children";
+    }
     return getNameFromJsxElementAttributesContainer(JsxNames.ElementChildrenAttributeNameContainer, jsxNamespace);
   }
   function getUninstantiatedJsxSignaturesOfType(elementType, caller) {
@@ -84784,6 +84877,9 @@ function createTypeChecker(host) {
     checkVariableLikeDeclaration(node);
     const func = getContainingFunction(node);
     if (hasSyntacticModifier(node, 31 /* ParameterPropertyModifier */)) {
+      if (compilerOptions.erasableSyntaxOnly) {
+        error2(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+      }
       if (!(func.kind === 176 /* Constructor */ && nodeIsPresent(func.body))) {
         error2(node, Diagnostics.A_parameter_property_is_only_allowed_in_a_constructor_implementation);
       }
@@ -88438,7 +88534,7 @@ function createTypeChecker(host) {
     const typeDeclaration = symbol.valueDeclaration;
     if (typeDeclaration && isClassLike(typeDeclaration)) {
       for (const member of typeDeclaration.members) {
-        if (!isStatic(member) && !hasBindableName(member)) {
+        if ((!isStaticIndex && !isStatic(member) || isStaticIndex && isStatic(member)) && !hasBindableName(member)) {
           const symbol2 = getSymbolOfDeclaration(member);
           checkIndexConstraintForProperty(type, symbol2, getTypeOfExpression(member.name.expression), getNonMissingTypeOfSymbol(symbol2));
         }
@@ -89488,6 +89584,9 @@ function createTypeChecker(host) {
     checkCollisionsForDeclarationName(node, node.name);
     checkExportsOnMergedDeclarations(node);
     node.members.forEach(checkEnumMember);
+    if (compilerOptions.erasableSyntaxOnly && !(node.flags & 33554432 /* Ambient */)) {
+      error2(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+    }
     computeEnumMemberValues(node);
     const enumSymbol = getSymbolOfDeclaration(node);
     const firstDeclaration = getDeclarationOfKind(enumSymbol, node.kind);
@@ -89589,6 +89688,9 @@ function createTypeChecker(host) {
       checkExportsOnMergedDeclarations(node);
       const symbol = getSymbolOfDeclaration(node);
       if (symbol.flags & 512 /* ValueModule */ && !inAmbientContext && isInstantiatedModule(node, shouldPreserveConstEnums(compilerOptions))) {
+        if (compilerOptions.erasableSyntaxOnly) {
+          error2(node.name, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+        }
         if (getIsolatedModules(compilerOptions) && !getSourceFileOfNode(node).externalModuleIndicator) {
           error2(node.name, Diagnostics.Namespaces_are_not_allowed_in_global_script_files_when_0_is_enabled_If_this_file_is_not_intended_to_be_a_global_script_set_moduleDetection_to_force_or_add_an_empty_export_statement, isolatedModulesLikeFlagName);
         }
@@ -89976,7 +90078,11 @@ function createTypeChecker(host) {
       return;
     }
     checkGrammarModifiers(node);
-    if (isInternalModuleImportEqualsDeclaration(node) || checkExternalImportOrExportDeclaration(node)) {
+    const isImportEquals = isInternalModuleImportEqualsDeclaration(node);
+    if (compilerOptions.erasableSyntaxOnly && isImportEquals && !(node.flags & 33554432 /* Ambient */)) {
+      error2(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+    }
+    if (isImportEquals || checkExternalImportOrExportDeclaration(node)) {
       checkImportBinding(node);
       markLinkedReferences(node, 6 /* ExportImportEquals */);
       if (node.moduleReference.kind !== 283 /* ExternalModuleReference */) {
@@ -92241,6 +92347,35 @@ function createTypeChecker(host) {
           for (const info of infoList) {
             if (info.declaration) continue;
             if (info === anyBaseTypeIndexInfo) continue;
+            if (info.components) {
+              const allComponentComputedNamesSerializable = every(info.components, (e) => {
+                var _a;
+                return !!(e.name && isComputedPropertyName(e.name) && isEntityNameExpression(e.name.expression) && enclosing && ((_a = isEntityNameVisible(
+                  e.name.expression,
+                  enclosing,
+                  /*shouldComputeAliasToMakeVisible*/
+                  false
+                )) == null ? void 0 : _a.accessibility) === 0 /* Accessible */);
+              });
+              if (allComponentComputedNamesSerializable) {
+                const newComponents = filter(info.components, (e) => {
+                  return !hasLateBindableName(e);
+                });
+                result.push(...map(newComponents, (e) => {
+                  trackComputedName(e.name.expression);
+                  const mods = infoList === staticInfos ? [factory.createModifier(126 /* StaticKeyword */)] : void 0;
+                  return factory.createPropertyDeclaration(
+                    append(mods, info.isReadonly ? factory.createModifier(148 /* ReadonlyKeyword */) : void 0),
+                    e.name,
+                    (isPropertySignature(e) || isPropertyDeclaration(e) || isMethodSignature(e) || isMethodDeclaration(e) || isGetAccessor(e) || isSetAccessor(e)) && e.questionToken ? factory.createToken(58 /* QuestionToken */) : void 0,
+                    nodeBuilder.typeToTypeNode(getTypeOfSymbol(e.symbol), enclosing, flags, internalFlags, tracker),
+                    /*initializer*/
+                    void 0
+                  );
+                }));
+                continue;
+              }
+            }
             const node = nodeBuilder.indexInfoToIndexSignatureDeclaration(info, enclosing, flags, internalFlags, tracker);
             if (node && infoList === staticInfos) {
               (node.modifiers || (node.modifiers = factory.createNodeArray())).unshift(factory.createModifier(126 /* StaticKeyword */));
@@ -92251,6 +92386,22 @@ function createTypeChecker(host) {
           }
         }
         return result;
+        function trackComputedName(accessExpression) {
+          if (!tracker.trackSymbol) return;
+          const firstIdentifier = getFirstIdentifier(accessExpression);
+          const name = resolveName(
+            firstIdentifier,
+            firstIdentifier.escapedText,
+            111551 /* Value */ | 1048576 /* ExportValue */,
+            /*nameNotFoundMessage*/
+            void 0,
+            /*isUse*/
+            true
+          );
+          if (name) {
+            tracker.trackSymbol(name, enclosing, 111551 /* Value */);
+          }
+        }
       }
     };
     function isImportRequiredByAugmentation(node) {
@@ -93495,7 +93646,7 @@ function createTypeChecker(host) {
     }
   }
   function checkGrammarForInvalidDynamicName(node, message) {
-    if (isNonBindableDynamicName(node)) {
+    if (isNonBindableDynamicName(node) && !isEntityNameExpression(isElementAccessExpression(node) ? skipParentheses(node.argumentExpression) : node.expression)) {
       return grammarErrorOnNode(node, message);
     }
   }
@@ -126116,11 +126267,13 @@ function createCreateProgramOptions(rootNames, options, host, oldProgram, config
     typeScriptVersion: typeScriptVersion3
   };
 }
-function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) {
+function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) {
   var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k, _l, _m, _n, _o, _p;
-  const createProgramOptions = isArray(rootNamesOrOptions) ? createCreateProgramOptions(rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) : rootNamesOrOptions;
-  const { rootNames, options, configFileParsingDiagnostics, projectReferences, typeScriptVersion: typeScriptVersion3 } = createProgramOptions;
-  let { oldProgram } = createProgramOptions;
+  let _createProgramOptions = isArray(_rootNamesOrOptions) ? createCreateProgramOptions(_rootNamesOrOptions, _options, _host, _oldProgram, _configFileParsingDiagnostics) : _rootNamesOrOptions;
+  const { rootNames, options, configFileParsingDiagnostics, projectReferences, typeScriptVersion: typeScriptVersion3, host: createProgramOptionsHost } = _createProgramOptions;
+  let { oldProgram } = _createProgramOptions;
+  _createProgramOptions = void 0;
+  _rootNamesOrOptions = void 0;
   for (const option of commandLineOptionOfCustomType) {
     if (hasProperty(options, option.name)) {
       if (typeof options[option.name] === "string") {
@@ -126160,7 +126313,7 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     true
   );
   mark("beforeProgram");
-  const host = createProgramOptions.host || createCompilerHost(options);
+  const host = createProgramOptionsHost || createCompilerHost(options);
   const configParsingHost = parseConfigHostFromCompilerHostLike(host);
   let skipDefaultLib = options.noLib;
   const getDefaultLibraryFileName = memoize(() => host.getDefaultLibFileName(options));
@@ -128101,6 +128254,16 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     var _a2, _b2, _c2, _d2, _e2;
     const existing = resolvedLibProcessing == null ? void 0 : resolvedLibProcessing.get(libFileName);
     if (existing) return existing;
+    if (options.libReplacement === false) {
+      const result2 = {
+        resolution: {
+          resolvedModule: void 0
+        },
+        actual: combinePaths(defaultLibraryPath, libFileName)
+      };
+      (resolvedLibProcessing ?? (resolvedLibProcessing = /* @__PURE__ */ new Map())).set(libFileName, result2);
+      return result2;
+    }
     if (structureIsReused !== 0 /* Not */ && oldProgram && !hasInvalidatedLibResolutions(libFileName)) {
       const oldResolution = (_a2 = oldProgram.resolvedLibReferences) == null ? void 0 : _a2.get(libFileName);
       if (oldResolution) {
@@ -173588,7 +173751,10 @@ function getDefinitionAtPosition(program, sourceFile, position, searchOtherFiles
   const { parent: parent2 } = node;
   const typeChecker = program.getTypeChecker();
   if (node.kind === 164 /* OverrideKeyword */ || isIdentifier(node) && isJSDocOverrideTag(parent2) && parent2.tagName === node) {
-    return getDefinitionFromOverriddenMember(typeChecker, node) || emptyArray;
+    const def = getDefinitionFromOverriddenMember(typeChecker, node);
+    if (def !== void 0 || node.kind !== 164 /* OverrideKeyword */) {
+      return def || emptyArray;
+    }
   }
   if (isJumpStatementTarget(node)) {
     const label = getTargetLabel(node.parent, node.text);
@@ -173602,9 +173768,6 @@ function getDefinitionAtPosition(program, sourceFile, position, searchOtherFiles
     )] : void 0;
   }
   switch (node.kind) {
-    case 107 /* ReturnKeyword */:
-      const functionDeclaration = findAncestor(node.parent, (n) => isClassStaticBlockDeclaration(n) ? "quit" : isFunctionLikeDeclaration(n));
-      return functionDeclaration ? [createDefinitionFromSignatureDeclaration(typeChecker, functionDeclaration)] : void 0;
     case 90 /* DefaultKeyword */:
       if (!isDefaultClause(node.parent)) {
         break;
@@ -173617,15 +173780,14 @@ function getDefinitionAtPosition(program, sourceFile, position, searchOtherFiles
       }
       break;
   }
-  if (node.kind === 135 /* AwaitKeyword */) {
-    const functionDeclaration = findAncestor(node, (n) => isFunctionLikeDeclaration(n));
-    const isAsyncFunction2 = functionDeclaration && some(functionDeclaration.modifiers, (node2) => node2.kind === 134 /* AsyncKeyword */);
-    return isAsyncFunction2 ? [createDefinitionFromSignatureDeclaration(typeChecker, functionDeclaration)] : void 0;
-  }
-  if (node.kind === 127 /* YieldKeyword */) {
-    const functionDeclaration = findAncestor(node, (n) => isFunctionLikeDeclaration(n));
-    const isGeneratorFunction = functionDeclaration && functionDeclaration.asteriskToken;
-    return isGeneratorFunction ? [createDefinitionFromSignatureDeclaration(typeChecker, functionDeclaration)] : void 0;
+  let findFunctionDecl;
+  switch (node.kind) {
+    case 107 /* ReturnKeyword */:
+    case 135 /* AwaitKeyword */:
+    case 127 /* YieldKeyword */:
+      findFunctionDecl = isFunctionLikeDeclaration;
+      const functionDeclaration = findAncestor(node, findFunctionDecl);
+      return functionDeclaration ? [createDefinitionFromSignatureDeclaration(typeChecker, functionDeclaration)] : void 0;
   }
   if (isStaticModifier(node) && isClassStaticBlockDeclaration(node.parent)) {
     const classDecl = node.parent.parent;
@@ -173675,6 +173837,9 @@ function getDefinitionAtPosition(program, sourceFile, position, searchOtherFiles
       }];
     }
   }
+  if (isModifier(node) && (isClassElement(parent2) || isNamedDeclaration(parent2))) {
+    symbol = parent2.symbol;
+  }
   if (!symbol) {
     return concatenate(fileReferenceDefinition, getDefinitionInfoForIndexSignatures(node, typeChecker));
   }
@@ -173871,12 +174036,16 @@ function getTypeDefinitionAtPosition(typeChecker, sourceFile, position) {
       false
     );
   }
-  const { symbol, failedAliasResolution } = getSymbol(
+  let { symbol, failedAliasResolution } = getSymbol(
     node,
     typeChecker,
     /*stopAtAlias*/
     false
   );
+  if (isModifier(node) && (isClassElement(node.parent) || isNamedDeclaration(node.parent))) {
+    symbol = node.parent.symbol;
+    failedAliasResolution = false;
+  }
   if (!symbol) return void 0;
   const typeAtLocation = typeChecker.getTypeOfSymbolAtLocation(symbol, node);
   const returnType = tryGetReturnTypeOfFunction(symbol, typeAtLocation, typeChecker);

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.8.0-dev.20250123",
+    "version": "5.8.0-dev.20250125",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -116,5 +116,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "5e52b28ee6d54f6637990be6d0dda1e974f78345"
+    "gitHead": "caf1aee269d1660b4d2a8b555c2d602c97cb28d7"
 }