typescript 5.5.0-dev.20240521 → 5.5.0-dev.20240523

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-dev.20240521`;
+var version = `${versionMajorMinor}.0-dev.20240523`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7508,6 +7508,8 @@ var Diagnostics = {
   Add_satisfies_and_a_type_assertion_to_this_expression_satisfies_T_as_T_to_make_the_type_explicit: diag(9035, 1 /* Error */, "Add_satisfies_and_a_type_assertion_to_this_expression_satisfies_T_as_T_to_make_the_type_explicit_9035", "Add satisfies and a type assertion to this expression (satisfies T as T) to make the type explicit."),
   Move_the_expression_in_default_export_to_a_variable_and_add_a_type_annotation_to_it: diag(9036, 1 /* Error */, "Move_the_expression_in_default_export_to_a_variable_and_add_a_type_annotation_to_it_9036", "Move the expression in default export to a variable and add a type annotation to it."),
   Default_exports_can_t_be_inferred_with_isolatedDeclarations: diag(9037, 1 /* Error */, "Default_exports_can_t_be_inferred_with_isolatedDeclarations_9037", "Default exports can't be inferred with --isolatedDeclarations."),
+  Computed_property_names_on_class_or_object_literals_cannot_be_inferred_with_isolatedDeclarations: diag(9038, 1 /* Error */, "Computed_property_names_on_class_or_object_literals_cannot_be_inferred_with_isolatedDeclarations_9038", "Computed property names on class or object literals cannot be inferred with --isolatedDeclarations."),
+  Type_containing_private_name_0_can_t_be_used_with_isolatedDeclarations: diag(9039, 1 /* Error */, "Type_containing_private_name_0_can_t_be_used_with_isolatedDeclarations_9039", "Type containing private name '{0}' can't be used with --isolatedDeclarations."),
   JSX_attributes_must_only_be_assigned_a_non_empty_expression: diag(17e3, 1 /* Error */, "JSX_attributes_must_only_be_assigned_a_non_empty_expression_17000", "JSX attributes must only be assigned a non-empty 'expression'."),
   JSX_elements_cannot_have_multiple_attributes_with_the_same_name: diag(17001, 1 /* Error */, "JSX_elements_cannot_have_multiple_attributes_with_the_same_name_17001", "JSX elements cannot have multiple attributes with the same name."),
   Expected_corresponding_JSX_closing_tag_for_0: diag(17002, 1 /* Error */, "Expected_corresponding_JSX_closing_tag_for_0_17002", "Expected corresponding JSX closing tag for '{0}'."),
@@ -11521,7 +11523,7 @@ function getTextOfJSDocComment(comment) {
 function formatJSDocLink(link) {
   const kind = link.kind === 324 /* JSDocLink */ ? "link" : link.kind === 325 /* JSDocLinkCode */ ? "linkcode" : "linkplain";
   const name = link.name ? entityNameToString(link.name) : "";
-  const space = link.name && link.text.startsWith("://") ? "" : " ";
+  const space = link.name && (link.text === "" || link.text.startsWith("://")) ? "" : " ";
   return `{@${kind} ${name}${space}${link.text}}`;
 }
 function getEffectiveTypeParameterDeclarations(node) {
@@ -16877,6 +16879,9 @@ function getDeclarationModifierFlagsFromSymbol(s, isWrite = false) {
   }
   return 0;
 }
+function skipAlias(symbol, checker) {
+  return symbol.flags & 2097152 /* Alias */ ? checker.getAliasedSymbol(symbol) : symbol;
+}
 function getCombinedLocalAndExportSymbolFlags(symbol) {
   return symbol.exportSymbol ? symbol.exportSymbol.flags | symbol.flags : symbol.flags;
 }
@@ -44085,7 +44090,7 @@ function tryGetModuleSpecifiersFromCacheWorker(moduleSymbol, importingSourceFile
   }
   const cache = (_a = host.getModuleSpecifierCache) == null ? void 0 : _a.call(host);
   const cached = cache == null ? void 0 : cache.get(importingSourceFile.path, moduleSourceFile.path, userPreferences, options);
-  return [cached == null ? void 0 : cached.moduleSpecifiers, moduleSourceFile, cached == null ? void 0 : cached.modulePaths, cache];
+  return [cached == null ? void 0 : cached.kind, cached == null ? void 0 : cached.moduleSpecifiers, moduleSourceFile, cached == null ? void 0 : cached.modulePaths, cache];
 }
 function getModuleSpecifiers(moduleSymbol, checker, compilerOptions, importingSourceFile, host, userPreferences, options = {}) {
   return getModuleSpecifiersWithCacheInfo(
@@ -44103,16 +44108,16 @@ function getModuleSpecifiers(moduleSymbol, checker, compilerOptions, importingSo
 function getModuleSpecifiersWithCacheInfo(moduleSymbol, checker, compilerOptions, importingSourceFile, host, userPreferences, options = {}, forAutoImport) {
   let computedWithoutCache = false;
   const ambient = tryGetModuleNameFromAmbientModule(moduleSymbol, checker);
-  if (ambient) return { moduleSpecifiers: [ambient], computedWithoutCache };
-  let [specifiers, moduleSourceFile, modulePaths, cache] = tryGetModuleSpecifiersFromCacheWorker(
+  if (ambient) return { kind: "ambient", moduleSpecifiers: [ambient], computedWithoutCache };
+  let [kind, specifiers, moduleSourceFile, modulePaths, cache] = tryGetModuleSpecifiersFromCacheWorker(
     moduleSymbol,
     importingSourceFile,
     host,
     userPreferences,
     options
   );
-  if (specifiers) return { moduleSpecifiers: specifiers, computedWithoutCache };
-  if (!moduleSourceFile) return { moduleSpecifiers: emptyArray, computedWithoutCache };
+  if (specifiers) return { kind, moduleSpecifiers: specifiers, computedWithoutCache };
+  if (!moduleSourceFile) return { kind: void 0, moduleSpecifiers: emptyArray, computedWithoutCache };
   computedWithoutCache = true;
   modulePaths || (modulePaths = getAllModulePathsWorker(getInfo(importingSourceFile.fileName, host), moduleSourceFile.originalFileName, host, compilerOptions, options));
   const result = computeModuleSpecifiers(
@@ -44124,8 +44129,8 @@ function getModuleSpecifiersWithCacheInfo(moduleSymbol, checker, compilerOptions
     options,
     forAutoImport
   );
-  cache == null ? void 0 : cache.set(importingSourceFile.path, moduleSourceFile.path, userPreferences, options, modulePaths, result);
-  return { moduleSpecifiers: result, computedWithoutCache };
+  cache == null ? void 0 : cache.set(importingSourceFile.path, moduleSourceFile.path, userPreferences, options, result.kind, modulePaths, result.moduleSpecifiers);
+  return result;
 }
 function computeModuleSpecifiers(modulePaths, compilerOptions, importingSourceFile, host, userPreferences, options = {}, forAutoImport) {
   const info = getInfo(importingSourceFile.fileName, host);
@@ -44144,8 +44149,7 @@ function computeModuleSpecifiers(modulePaths, compilerOptions, importingSourceFi
     }
   ));
   if (existingSpecifier) {
-    const moduleSpecifiers = [existingSpecifier];
-    return moduleSpecifiers;
+    return { kind: void 0, moduleSpecifiers: [existingSpecifier], computedWithoutCache: true };
   }
   const importedFileIsInNodeModules = some(modulePaths, (p) => p.isInNodeModules);
   let nodeModulesSpecifiers;
@@ -44166,7 +44170,7 @@ function computeModuleSpecifiers(modulePaths, compilerOptions, importingSourceFi
     ) : void 0;
     nodeModulesSpecifiers = append(nodeModulesSpecifiers, specifier);
     if (specifier && modulePath.isRedirect) {
-      return nodeModulesSpecifiers;
+      return { kind: "node_modules", moduleSpecifiers: nodeModulesSpecifiers, computedWithoutCache: true };
     }
     if (!specifier) {
       const local = getLocalModuleSpecifier(
@@ -44195,7 +44199,7 @@ function computeModuleSpecifiers(modulePaths, compilerOptions, importingSourceFi
       }
     }
   }
-  return (pathsSpecifiers == null ? void 0 : pathsSpecifiers.length) ? pathsSpecifiers : (redirectPathsSpecifiers == null ? void 0 : redirectPathsSpecifiers.length) ? redirectPathsSpecifiers : (nodeModulesSpecifiers == null ? void 0 : nodeModulesSpecifiers.length) ? nodeModulesSpecifiers : Debug.checkDefined(relativeSpecifiers);
+  return (pathsSpecifiers == null ? void 0 : pathsSpecifiers.length) ? { kind: "paths", moduleSpecifiers: pathsSpecifiers, computedWithoutCache: true } : (redirectPathsSpecifiers == null ? void 0 : redirectPathsSpecifiers.length) ? { kind: "redirect", moduleSpecifiers: redirectPathsSpecifiers, computedWithoutCache: true } : (nodeModulesSpecifiers == null ? void 0 : nodeModulesSpecifiers.length) ? { kind: "node_modules", moduleSpecifiers: nodeModulesSpecifiers, computedWithoutCache: true } : { kind: "relative", moduleSpecifiers: Debug.checkDefined(relativeSpecifiers), computedWithoutCache: true };
 }
 function getInfo(importingSourceFileName, host) {
   importingSourceFileName = getNormalizedAbsolutePath(importingSourceFileName, host.getCurrentDirectory());
@@ -45051,7 +45055,6 @@ function createTypeChecker(host) {
   var syntacticNodeBuilder = createSyntacticTypeNodeBuilder(compilerOptions, {
     isEntityNameVisible,
     isExpandoFunctionDeclaration,
-    isNonNarrowedBindableName,
     getAllAccessorDeclarations: getAllAccessorDeclarationsForDeclaration,
     requiresAddingImplicitUndefined,
     isUndefinedIdentifierExpression(node) {
@@ -46090,8 +46093,8 @@ function createTypeChecker(host) {
       void 0
     );
   }
-  function getEmitResolver(sourceFile, cancellationToken2) {
-    getDiagnostics(sourceFile, cancellationToken2);
+  function getEmitResolver(sourceFile, cancellationToken2, skipDiagnostics) {
+    if (!skipDiagnostics) getDiagnostics(sourceFile, cancellationToken2);
     return emitResolver;
   }
   function lookupOrIssueError(location, message, ...args) {
@@ -49019,8 +49022,15 @@ function createTypeChecker(host) {
     ).accessibility === 0 /* Accessible */) {
       return { accessibility: 0 /* Accessible */ };
     }
-    return symbol && hasVisibleDeclarations(symbol, shouldComputeAliasToMakeVisible) || {
-      accessibility: 3 /* NotResolved */,
+    if (!symbol) {
+      return {
+        accessibility: 3 /* NotResolved */,
+        errorSymbolName: getTextOfNode(firstIdentifier),
+        errorNode: firstIdentifier
+      };
+    }
+    return hasVisibleDeclarations(symbol, shouldComputeAliasToMakeVisible) || {
+      accessibility: 1 /* NotAccessible */,
       errorSymbolName: getTextOfNode(firstIdentifier),
       errorNode: firstIdentifier
     };
@@ -49219,6 +49229,7 @@ function createTypeChecker(host) {
           return result;
         }
       }
+      context.tracker.reportInferenceFallback(existing);
       return void 0;
     }
     function symbolToNode(symbol, context, meaning) {
@@ -51254,6 +51265,9 @@ function createTypeChecker(host) {
           symAtLocation === void 0 && sym !== void 0 || // If the symbol is found both in declaration scope and in current scope then it shoudl point to the same reference
           symAtLocation && sym && !getSymbolIfSameReference(getExportSymbolOfValueSymbolIfExported(symAtLocation), sym)
         ) {
+          if (symAtLocation !== unknownSymbol) {
+            context.tracker.reportInferenceFallback(node);
+          }
           introducesError = true;
           return { introducesError, node, sym };
         }
@@ -51272,6 +51286,7 @@ function createTypeChecker(host) {
           /*shouldComputeAliasesToMakeVisible*/
           false
         ).accessibility !== 0 /* Accessible */) {
+          context.tracker.reportInferenceFallback(node);
           introducesError = true;
         } else {
           context.tracker.trackSymbol(sym, context.enclosingDeclaration, meaning);
@@ -84966,22 +84981,6 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function isNonNarrowedBindableName(node) {
-    if (!hasBindableName(node.parent)) {
-      return false;
-    }
-    const expression = node.expression;
-    if (!isEntityNameExpression(expression)) {
-      return true;
-    }
-    const type = getTypeOfExpression(expression);
-    const symbol = getSymbolAtLocation(expression);
-    if (!symbol) {
-      return false;
-    }
-    const declaredType = getTypeOfSymbol(symbol);
-    return declaredType === type;
-  }
   function literalTypeToNode(type, enclosing, tracker) {
     const enumResult = type.flags & 1056 /* EnumLike */ ? nodeBuilder.symbolToExpression(
       type.symbol,
@@ -85100,7 +85099,6 @@ function createTypeChecker(host) {
         return node && getExternalModuleFileFromDeclaration(node);
       },
       isLiteralConstDeclaration,
-      isNonNarrowedBindableName,
       isLateBound: (nodeIn) => {
         const node = getParseTreeNode(nodeIn, isDeclaration);
         const symbol = node && getSymbolOfDeclaration(node);
@@ -110020,7 +110018,7 @@ function createGetIsolatedDeclarationErrors(resolver) {
     [260 /* VariableDeclaration */]: Diagnostics.Variable_must_have_an_explicit_type_annotation_with_isolatedDeclarations,
     [172 /* PropertyDeclaration */]: Diagnostics.Property_must_have_an_explicit_type_annotation_with_isolatedDeclarations,
     [171 /* PropertySignature */]: Diagnostics.Property_must_have_an_explicit_type_annotation_with_isolatedDeclarations,
-    [167 /* ComputedPropertyName */]: Diagnostics.Computed_properties_must_be_number_or_string_literals_variables_or_dotted_expressions_with_isolatedDeclarations,
+    [167 /* ComputedPropertyName */]: Diagnostics.Computed_property_names_on_class_or_object_literals_cannot_be_inferred_with_isolatedDeclarations,
     [305 /* SpreadAssignment */]: Diagnostics.Objects_that_contain_spread_assignments_can_t_be_inferred_with_isolatedDeclarations,
     [304 /* ShorthandPropertyAssignment */]: Diagnostics.Objects_that_contain_shorthand_properties_can_t_be_inferred_with_isolatedDeclarations,
     [209 /* ArrayLiteralExpression */]: Diagnostics.Only_const_arrays_can_be_inferred_with_isolatedDeclarations,
@@ -110033,6 +110031,9 @@ function createGetIsolatedDeclarationErrors(resolver) {
     if (heritageClause) {
       return createDiagnosticForNode(node, Diagnostics.Extends_clause_can_t_contain_an_expression_with_isolatedDeclarations);
     }
+    if ((isPartOfTypeNode(node) || isTypeQueryNode(node.parent)) && (isEntityName(node) || isEntityNameExpression(node))) {
+      return createEntityInTypeNodeError(node);
+    }
     Debug.type(node);
     switch (node.kind) {
       case 177 /* GetAccessor */:
@@ -110068,8 +110069,13 @@ function createGetIsolatedDeclarationErrors(resolver) {
     }
   }
   function findNearestDeclaration(node) {
-    const result = findAncestor(node, (n) => isExportAssignment(n) || (isStatement(n) ? "quit" : isVariableDeclaration(n) || isPropertyDeclaration(n) || isParameter(n)));
-    return result;
+    const result = findAncestor(node, (n) => isExportAssignment(n) || isStatement(n) || isVariableDeclaration(n) || isPropertyDeclaration(n) || isParameter(n));
+    if (!result) return void 0;
+    if (isExportAssignment(result)) return result;
+    if (isReturnStatement(result)) {
+      return findAncestor(result, (n) => isFunctionLikeDeclaration(n) && !isConstructorDeclaration(n));
+    }
+    return isStatement(result) ? void 0 : result;
   }
   function createAccessorTypeError(node) {
     const { getAccessor, setAccessor } = getAllAccessorDeclarations(node.symbol.declarations, node);
@@ -110083,11 +110089,10 @@ function createGetIsolatedDeclarationErrors(resolver) {
     }
     return diag2;
   }
-  function createObjectLiteralError(node) {
-    const diag2 = createDiagnosticForNode(node, errorByDeclarationKind[node.kind]);
+  function addParentDeclarationRelatedInfo(node, diag2) {
     const parentDeclaration = findNearestDeclaration(node);
     if (parentDeclaration) {
-      const targetStr = isExportAssignment(parentDeclaration) ? "" : getTextOfNode(
+      const targetStr = isExportAssignment(parentDeclaration) || !parentDeclaration.name ? "" : getTextOfNode(
         parentDeclaration.name,
         /*includeTrivia*/
         false
@@ -110096,30 +110101,19 @@ function createGetIsolatedDeclarationErrors(resolver) {
     }
     return diag2;
   }
+  function createObjectLiteralError(node) {
+    const diag2 = createDiagnosticForNode(node, errorByDeclarationKind[node.kind]);
+    addParentDeclarationRelatedInfo(node, diag2);
+    return diag2;
+  }
   function createArrayLiteralError(node) {
     const diag2 = createDiagnosticForNode(node, errorByDeclarationKind[node.kind]);
-    const parentDeclaration = findNearestDeclaration(node);
-    if (parentDeclaration) {
-      const targetStr = isExportAssignment(parentDeclaration) ? "" : getTextOfNode(
-        parentDeclaration.name,
-        /*includeTrivia*/
-        false
-      );
-      addRelatedInfo(diag2, createDiagnosticForNode(parentDeclaration, relatedSuggestionByDeclarationKind[parentDeclaration.kind], targetStr));
-    }
+    addParentDeclarationRelatedInfo(node, diag2);
     return diag2;
   }
   function createReturnTypeError(node) {
     const diag2 = createDiagnosticForNode(node, errorByDeclarationKind[node.kind]);
-    const parentDeclaration = findNearestDeclaration(node);
-    if (parentDeclaration) {
-      const targetStr = isExportAssignment(parentDeclaration) ? "" : getTextOfNode(
-        parentDeclaration.name,
-        /*includeTrivia*/
-        false
-      );
-      addRelatedInfo(diag2, createDiagnosticForNode(parentDeclaration, relatedSuggestionByDeclarationKind[parentDeclaration.kind], targetStr));
-    }
+    addParentDeclarationRelatedInfo(node, diag2);
     addRelatedInfo(diag2, createDiagnosticForNode(node, relatedSuggestionByDeclarationKind[node.kind]));
     return diag2;
   }
@@ -110157,11 +110151,20 @@ function createGetIsolatedDeclarationErrors(resolver) {
   function createClassExpressionError(node) {
     return createExpressionError(node, Diagnostics.Inference_from_class_expressions_is_not_supported_with_isolatedDeclarations);
   }
+  function createEntityInTypeNodeError(node) {
+    const diag2 = createDiagnosticForNode(node, Diagnostics.Type_containing_private_name_0_can_t_be_used_with_isolatedDeclarations, getTextOfNode(
+      node,
+      /*includeTrivia*/
+      false
+    ));
+    addParentDeclarationRelatedInfo(node, diag2);
+    return diag2;
+  }
   function createExpressionError(node, diagnosticMessage) {
     const parentDeclaration = findNearestDeclaration(node);
     let diag2;
     if (parentDeclaration) {
-      const targetStr = isExportAssignment(parentDeclaration) ? "" : getTextOfNode(
+      const targetStr = isExportAssignment(parentDeclaration) || !parentDeclaration.name ? "" : getTextOfNode(
         parentDeclaration.name,
         /*includeTrivia*/
         false
@@ -110886,8 +110889,11 @@ function transformDeclarations(context) {
     if (shouldStripInternal(input)) return;
     if (isDeclaration(input)) {
       if (isDeclarationAndNotVisible(input)) return;
-      if (hasDynamicName(input) && !resolver.isLateBound(getParseTreeNode(input))) {
-        if (isolatedDeclarations && isClassDeclaration(input.parent) && isEntityNameExpression(input.name.expression) && resolver.isEntityNameVisible(input.name.expression, input.parent).accessibility === 0 /* Accessible */ && !resolver.isNonNarrowedBindableName(input.name)) {
+      if (hasDynamicName(input)) {
+        if (isolatedDeclarations && (isClassDeclaration(input.parent) || isObjectLiteralExpression(input.parent))) {
+          context.addDiagnostic(createDiagnosticForNode(input, Diagnostics.Computed_property_names_on_class_or_object_literals_cannot_be_inferred_with_isolatedDeclarations));
+        }
+        if (isolatedDeclarations && (isInterfaceDeclaration(input.parent) || isTypeLiteralNode(input.parent)) && !isEntityNameExpression(input.name.expression)) {
           context.addDiagnostic(createDiagnosticForNode(input, Diagnostics.Computed_properties_must_be_number_or_string_literals_variables_or_dotted_expressions_with_isolatedDeclarations));
         }
         if (!isEntityNameExpression(input.name.expression)) {
@@ -112460,6 +112466,9 @@ function getFirstProjectOutput(configFile, ignoreCase) {
   if (buildInfoPath) return buildInfoPath;
   return Debug.fail(`project ${configFile.options.configFilePath} expected to have at least one output`);
 }
+function emitResolverSkipsTypeChecking(emitOnly, forceDtsEmit) {
+  return !!forceDtsEmit && !!emitOnly;
+}
 function emitFiles(resolver, host, targetSourceFile, { scriptTransformers, declarationTransformers }, emitOnly, onlyBuildInfo, forceDtsEmit) {
   var compilerOptions = host.getCompilerOptions();
   var sourceMapDataList = compilerOptions.sourceMap || compilerOptions.inlineSourceMap || getAreDeclarationMapsEnabled(compilerOptions) ? [] : void 0;
@@ -112577,7 +112586,7 @@ function emitFiles(resolver, host, targetSourceFile, { scriptTransformers, decla
     const sourceFiles = isSourceFile(sourceFileOrBundle) ? [sourceFileOrBundle] : sourceFileOrBundle.sourceFiles;
     const filesForEmit = forceDtsEmit ? sourceFiles : filter(sourceFiles, isSourceFileNotJson);
     const inputListOrBundle = compilerOptions.outFile ? [factory.createBundle(filesForEmit)] : filesForEmit;
-    if (emitOnly && !getEmitDeclarations(compilerOptions) || compilerOptions.noCheck) {
+    if (emitOnly && !getEmitDeclarations(compilerOptions) || compilerOptions.noCheck || emitResolverSkipsTypeChecking(emitOnly, forceDtsEmit)) {
       filesForEmit.forEach(collectLinkedAliases);
     }
     const declarationTransform = transformNodes(
@@ -112817,7 +112826,6 @@ var notImplementedResolver = {
   isArgumentsLocalBinding: notImplemented,
   getExternalModuleFileFromDeclaration: notImplemented,
   isLiteralConstDeclaration: notImplemented,
-  isNonNarrowedBindableName: notImplemented,
   getJsxFactoryEntity: notImplemented,
   getJsxFragmentFactoryEntity: notImplemented,
   isBindingCapturedByNode: notImplemented,
@@ -119513,17 +119521,25 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       const result = handleNoEmitOptions(program2, sourceFile, writeFileCallback, cancellationToken);
       if (result) return result;
     }
-    const emitResolver = getTypeChecker().getEmitResolver(options.outFile ? void 0 : sourceFile, cancellationToken);
+    const typeChecker2 = getTypeChecker();
+    const emitResolver = typeChecker2.getEmitResolver(
+      options.outFile ? void 0 : sourceFile,
+      cancellationToken,
+      emitResolverSkipsTypeChecking(emitOnly, forceDtsEmit)
+    );
     mark("beforeEmit");
-    const emitResult = emitFiles(
-      emitResolver,
-      getEmitHost(writeFileCallback),
-      sourceFile,
-      getTransformers(options, customTransformers, emitOnly),
-      emitOnly,
-      /*onlyBuildInfo*/
-      false,
-      forceDtsEmit
+    const emitResult = typeChecker2.runWithCancellationToken(
+      cancellationToken,
+      () => emitFiles(
+        emitResolver,
+        getEmitHost(writeFileCallback),
+        sourceFile,
+        getTransformers(options, customTransformers, emitOnly),
+        emitOnly,
+        /*onlyBuildInfo*/
+        false,
+        forceDtsEmit
+      )
     );
     mark("afterEmit");
     measure("Emit", "beforeEmit", "afterEmit");
@@ -122474,7 +122490,7 @@ function handleDtsMayChangeOfAffectedFile(state, affectedFile, cancellationToken
     host
   );
 }
-function handleDtsMayChangeOf(state, path, cancellationToken, host) {
+function handleDtsMayChangeOf(state, path, invalidateJsFiles, cancellationToken, host) {
   removeSemanticDiagnosticsOf(state, path);
   if (!state.changedFilesSet.has(path)) {
     const program = Debug.checkDefined(state.program);
@@ -122489,7 +122505,9 @@ function handleDtsMayChangeOf(state, path, cancellationToken, host) {
         /*useFileVersionAsSignature*/
         true
       );
-      if (getEmitDeclarations(state.compilerOptions)) {
+      if (invalidateJsFiles) {
+        addToAffectedFilesPendingEmit(state, path, getBuilderFileEmit(state.compilerOptions));
+      } else if (getEmitDeclarations(state.compilerOptions)) {
         addToAffectedFilesPendingEmit(state, path, state.compilerOptions.declarationMap ? 24 /* AllDts */ : 8 /* Dts */);
       }
     }
@@ -122508,7 +122526,7 @@ function isChangedSignature(state, path) {
   const newSignature = Debug.checkDefined(state.fileInfos.get(path)).signature;
   return newSignature !== oldSignature;
 }
-function handleDtsMayChangeOfGlobalScope(state, filePath, cancellationToken, host) {
+function handleDtsMayChangeOfGlobalScope(state, filePath, invalidateJsFiles, cancellationToken, host) {
   var _a;
   if (!((_a = state.fileInfos.get(filePath)) == null ? void 0 : _a.affectsGlobalScope)) return false;
   BuilderState.getAllFilesExcludingDefaultLibraryFile(
@@ -122520,6 +122538,7 @@ function handleDtsMayChangeOfGlobalScope(state, filePath, cancellationToken, hos
     (file) => handleDtsMayChangeOf(
       state,
       file.resolvedPath,
+      invalidateJsFiles,
       cancellationToken,
       host
     )
@@ -122528,7 +122547,7 @@ function handleDtsMayChangeOfGlobalScope(state, filePath, cancellationToken, hos
   return true;
 }
 function handleDtsMayChangeOfReferencingExportOfAffectedFile(state, affectedFile, cancellationToken, host) {
-  var _a;
+  var _a, _b;
   if (!state.referencedMap || !state.changedFilesSet.has(affectedFile.resolvedPath)) return;
   if (!isChangedSignature(state, affectedFile.resolvedPath)) return;
   if (getIsolatedModules(state.compilerOptions)) {
@@ -122539,8 +122558,22 @@ function handleDtsMayChangeOfReferencingExportOfAffectedFile(state, affectedFile
       const currentPath = queue.pop();
       if (!seenFileNamesMap.has(currentPath)) {
         seenFileNamesMap.set(currentPath, true);
-        if (handleDtsMayChangeOfGlobalScope(state, currentPath, cancellationToken, host)) return;
-        handleDtsMayChangeOf(state, currentPath, cancellationToken, host);
+        if (handleDtsMayChangeOfGlobalScope(
+          state,
+          currentPath,
+          /*invalidateJsFiles*/
+          false,
+          cancellationToken,
+          host
+        )) return;
+        handleDtsMayChangeOf(
+          state,
+          currentPath,
+          /*invalidateJsFiles*/
+          false,
+          cancellationToken,
+          host
+        );
         if (isChangedSignature(state, currentPath)) {
           const currentSourceFile = Debug.checkDefined(state.program).getSourceFileByPath(currentPath);
           queue.push(...BuilderState.getReferencedByPaths(state, currentSourceFile.resolvedPath));
@@ -122549,27 +122582,38 @@ function handleDtsMayChangeOfReferencingExportOfAffectedFile(state, affectedFile
     }
   }
   const seenFileAndExportsOfFile = /* @__PURE__ */ new Set();
-  (_a = state.referencedMap.getKeys(affectedFile.resolvedPath)) == null ? void 0 : _a.forEach((exportedFromPath) => {
-    if (handleDtsMayChangeOfGlobalScope(state, exportedFromPath, cancellationToken, host)) return true;
+  const invalidateJsFiles = !!((_a = affectedFile.symbol) == null ? void 0 : _a.exports) && !!forEachEntry(
+    affectedFile.symbol.exports,
+    (exported) => {
+      if ((exported.flags & 128 /* ConstEnum */) !== 0) return true;
+      const aliased = skipAlias(exported, state.program.getTypeChecker());
+      if (aliased === exported) return false;
+      return (aliased.flags & 128 /* ConstEnum */) !== 0 && some(aliased.declarations, (d) => getSourceFileOfNode(d) === affectedFile);
+    }
+  );
+  (_b = state.referencedMap.getKeys(affectedFile.resolvedPath)) == null ? void 0 : _b.forEach((exportedFromPath) => {
+    if (handleDtsMayChangeOfGlobalScope(state, exportedFromPath, invalidateJsFiles, cancellationToken, host)) return true;
     const references = state.referencedMap.getKeys(exportedFromPath);
     return references && forEachKey(references, (filePath) => handleDtsMayChangeOfFileAndExportsOfFile(
       state,
       filePath,
+      invalidateJsFiles,
       seenFileAndExportsOfFile,
       cancellationToken,
       host
     ));
   });
 }
-function handleDtsMayChangeOfFileAndExportsOfFile(state, filePath, seenFileAndExportsOfFile, cancellationToken, host) {
+function handleDtsMayChangeOfFileAndExportsOfFile(state, filePath, invalidateJsFiles, seenFileAndExportsOfFile, cancellationToken, host) {
   var _a;
   if (!tryAddToSet(seenFileAndExportsOfFile, filePath)) return void 0;
-  if (handleDtsMayChangeOfGlobalScope(state, filePath, cancellationToken, host)) return true;
-  handleDtsMayChangeOf(state, filePath, cancellationToken, host);
+  if (handleDtsMayChangeOfGlobalScope(state, filePath, invalidateJsFiles, cancellationToken, host)) return true;
+  handleDtsMayChangeOf(state, filePath, invalidateJsFiles, cancellationToken, host);
   (_a = state.referencedMap.getKeys(filePath)) == null ? void 0 : _a.forEach(
     (referencingFilePath) => handleDtsMayChangeOfFileAndExportsOfFile(
       state,
       referencingFilePath,
+      invalidateJsFiles,
       seenFileAndExportsOfFile,
       cancellationToken,
       host
@@ -129062,7 +129106,7 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
           expression,
           /*includeBigInt*/
           false
-        ) && !isEntityNameExpression(expression)) {
+        )) {
           context.tracker.reportInferenceFallback(prop.name);
           result = false;
         }
@@ -129076,21 +129120,6 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
     for (const prop of objectLiteral.properties) {
       Debug.assert(!isShorthandPropertyAssignment(prop) && !isSpreadAssignment(prop));
       const name = prop.name;
-      if (prop.name.kind === 167 /* ComputedPropertyName */) {
-        if (!resolver.isNonNarrowedBindableName(prop.name)) {
-          context.tracker.reportInferenceFallback(prop.name);
-        } else if (isEntityNameExpression(prop.name.expression)) {
-          const visibilityResult = resolver.isEntityNameVisible(
-            prop.name.expression,
-            context.enclosingDeclaration,
-            /*shouldComputeAliasToMakeVisible*/
-            false
-          );
-          if (visibilityResult.accessibility !== 0 /* Accessible */) {
-            context.tracker.reportInferenceFallback(prop.name);
-          }
-        }
-      }
       switch (prop.kind) {
         case 174 /* MethodDeclaration */:
           canInferObjectLiteral = !!typeFromObjectLiteralMethod(prop, name, context) && canInferObjectLiteral;

package/lib/typescript.d.ts

@@ -121,6 +121,7 @@ declare namespace ts {
                 ProvideCallHierarchyOutgoingCalls = "provideCallHierarchyOutgoingCalls",
                 ProvideInlayHints = "provideInlayHints",
                 WatchChange = "watchChange",
+                MapCode = "mapCode",
             }
             /**
              * A TypeScript Server message
@@ -1769,6 +1770,33 @@ declare namespace ts {
             export interface InlayHintsResponse extends Response {
                 body?: InlayHintItem[];
             }
+            export interface MapCodeRequestArgs extends FileRequestArgs {
+                /**
+                 * The files and changes to try and apply/map.
+                 */
+                mapping: MapCodeRequestDocumentMapping;
+            }
+            export interface MapCodeRequestDocumentMapping {
+                /**
+                 * The specific code to map/insert/replace in the file.
+                 */
+                contents: string[];
+                /**
+                 * Areas of "focus" to inform the code mapper with. For example, cursor
+                 * location, current selection, viewport, etc. Nested arrays denote
+                 * priority: toplevel arrays are more important than inner arrays, and
+                 * inner array priorities are based on items within that array. Items
+                 * earlier in the arrays have higher priority.
+                 */
+                focusLocations?: TextSpan[][];
+            }
+            export interface MapCodeRequest extends FileRequest {
+                command: CommandTypes.MapCode;
+                arguments: MapCodeRequestArgs;
+            }
+            export interface MapCodeResponse extends Response {
+                body: readonly FileCodeEdits[];
+            }
             /**
              * Synchronous request for semantic diagnostics of one file.
              */
@@ -3468,6 +3496,7 @@ declare namespace ts {
             private getLinkedEditingRange;
             private getDocumentHighlights;
             private provideInlayHints;
+            private mapCode;
             private setCompilerOptionsForInferredProjects;
             private getProjectInfo;
             private getProjectInfoWorker;