typescript 5.7.0-dev.20240924 → 5.7.0-dev.20240926

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240924`;
+var version = `${versionMajorMinor}.0-dev.20240926`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6182,6 +6182,8 @@ var Diagnostics = {
   ),
   Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute: diag(1541, 1 /* Error */, "Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribut_1541", "Type-only import of an ECMAScript module from a CommonJS module must have a 'resolution-mode' attribute."),
   Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute: diag(1542, 1 /* Error */, "Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute_1542", "Type import of an ECMAScript module from a CommonJS module must have a 'resolution-mode' attribute."),
+  Importing_a_JSON_file_into_an_ECMAScript_module_requires_a_type_Colon_json_import_attribute_when_module_is_set_to_0: diag(1543, 1 /* Error */, "Importing_a_JSON_file_into_an_ECMAScript_module_requires_a_type_Colon_json_import_attribute_when_mod_1543", `Importing a JSON file into an ECMAScript module requires a 'type: "json"' import attribute when 'module' is set to '{0}'.`),
+  Named_imports_from_a_JSON_file_into_an_ECMAScript_module_are_not_allowed_when_module_is_set_to_0: diag(1544, 1 /* Error */, "Named_imports_from_a_JSON_file_into_an_ECMAScript_module_are_not_allowed_when_module_is_set_to_0_1544", "Named imports from a JSON file into an ECMAScript module are not allowed when 'module' is set to '{0}'."),
   The_types_of_0_are_incompatible_between_these_types: diag(2200, 1 /* Error */, "The_types_of_0_are_incompatible_between_these_types_2200", "The types of '{0}' are incompatible between these types."),
   The_types_returned_by_0_are_incompatible_between_these_types: diag(2201, 1 /* Error */, "The_types_returned_by_0_are_incompatible_between_these_types_2201", "The types returned by '{0}' are incompatible between these types."),
   Call_signature_return_types_0_and_1_are_incompatible: diag(
@@ -6753,6 +6755,8 @@ var Diagnostics = {
   This_expression_is_always_nullish: diag(2871, 1 /* Error */, "This_expression_is_always_nullish_2871", "This expression is always nullish."),
   This_kind_of_expression_is_always_truthy: diag(2872, 1 /* Error */, "This_kind_of_expression_is_always_truthy_2872", "This kind of expression is always truthy."),
   This_kind_of_expression_is_always_falsy: diag(2873, 1 /* Error */, "This_kind_of_expression_is_always_falsy_2873", "This kind of expression is always falsy."),
+  This_JSX_tag_requires_0_to_be_in_scope_but_it_could_not_be_found: diag(2874, 1 /* Error */, "This_JSX_tag_requires_0_to_be_in_scope_but_it_could_not_be_found_2874", "This JSX tag requires '{0}' to be in scope, but it could not be found."),
+  This_JSX_tag_requires_the_module_path_0_to_exist_but_none_could_be_found_Make_sure_you_have_types_for_the_appropriate_package_installed: diag(2875, 1 /* Error */, "This_JSX_tag_requires_the_module_path_0_to_exist_but_none_could_be_found_Make_sure_you_have_types_fo_2875", "This JSX tag requires the module path '{0}' to exist, but none could be found. Make sure you have types for the appropriate package installed."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -35596,9 +35600,10 @@ function getDeclarationFileExtension(fileName) {
     return standardExtension;
   }
   if (fileExtensionIs(fileName, ".ts" /* Ts */)) {
-    const index = getBaseFileName(fileName).lastIndexOf(".d.");
+    const baseName = getBaseFileName(fileName);
+    const index = baseName.lastIndexOf(".d.");
     if (index >= 0) {
-      return fileName.substring(index);
+      return baseName.substring(index);
     }
   }
   return void 0;
@@ -47820,10 +47825,19 @@ function createTypeChecker(host) {
   function isESMFormatImportImportingCommonjsFormatFile(usageMode, targetMode) {
     return usageMode === 99 /* ESNext */ && targetMode === 1 /* CommonJS */;
   }
-  function isOnlyImportableAsDefault(usage) {
+  function isOnlyImportableAsDefault(usage, resolvedModule) {
     if (100 /* Node16 */ <= moduleKind && moduleKind <= 199 /* NodeNext */) {
       const usageMode = getEmitSyntaxForModuleSpecifierExpression(usage);
-      return usageMode === 99 /* ESNext */ && endsWith(usage.text, ".json" /* Json */);
+      if (usageMode === 99 /* ESNext */) {
+        resolvedModule ?? (resolvedModule = resolveExternalModuleName(
+          usage,
+          usage,
+          /*ignoreErrors*/
+          true
+        ));
+        const targetFile = resolvedModule && getSourceFileOfModule(resolvedModule);
+        return targetFile && (isJsonSourceFile(targetFile) || getDeclarationFileExtension(targetFile.fileName) === ".d.json.ts");
+      }
     }
     return false;
   }
@@ -47894,7 +47908,7 @@ function createTypeChecker(host) {
     if (!specifier) {
       return exportDefaultSymbol;
     }
-    const hasDefaultOnly = isOnlyImportableAsDefault(specifier);
+    const hasDefaultOnly = isOnlyImportableAsDefault(specifier, moduleSymbol);
     const hasSyntheticDefault = canHaveSyntheticDefault(file, moduleSymbol, dontResolveAlias, specifier);
     if (!exportDefaultSymbol && !hasSyntheticDefault && !hasDefaultOnly) {
       if (hasExportAssignmentSymbol(moduleSymbol) && !allowSyntheticDefaultImports) {
@@ -48096,12 +48110,14 @@ function createTypeChecker(host) {
         let symbolFromModule = getExportOfModule(targetSymbol, nameText, specifier, dontResolveAlias);
         if (symbolFromModule === void 0 && nameText === "default" /* Default */) {
           const file = (_a = moduleSymbol.declarations) == null ? void 0 : _a.find(isSourceFile);
-          if (isOnlyImportableAsDefault(moduleSpecifier) || canHaveSyntheticDefault(file, moduleSymbol, dontResolveAlias, moduleSpecifier)) {
+          if (isOnlyImportableAsDefault(moduleSpecifier, moduleSymbol) || canHaveSyntheticDefault(file, moduleSymbol, dontResolveAlias, moduleSpecifier)) {
             symbolFromModule = resolveExternalModuleSymbol(moduleSymbol, dontResolveAlias) || resolveSymbol(moduleSymbol, dontResolveAlias);
           }
         }
         const symbol = symbolFromModule && symbolFromVariable && symbolFromModule !== symbolFromVariable ? combineValueAndTypeSymbols(symbolFromVariable, symbolFromModule) : symbolFromModule || symbolFromVariable;
-        if (!symbol) {
+        if (isImportOrExportSpecifier(specifier) && isOnlyImportableAsDefault(moduleSpecifier, moduleSymbol) && nameText !== "default" /* Default */) {
+          error(name, Diagnostics.Named_imports_from_a_JSON_file_into_an_ECMAScript_module_are_not_allowed_when_module_is_set_to_0, ModuleKind[moduleKind]);
+        } else if (!symbol) {
           errorNoModuleMemberSymbol(moduleSymbol, targetSymbol, node, name);
         }
         return symbol;
@@ -48680,7 +48696,7 @@ function createTypeChecker(host) {
     return isStringLiteralLike(moduleReferenceExpression) ? resolveExternalModule(location, moduleReferenceExpression.text, moduleNotFoundError, !ignoreErrors ? moduleReferenceExpression : void 0, isForAugmentation) : void 0;
   }
   function resolveExternalModule(location, moduleReference, moduleNotFoundError, errorNode, isForAugmentation = false) {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k, _l;
+    var _a, _b, _c, _d, _e, _f, _g, _h, _i, _j, _k;
     if (errorNode && startsWith(moduleReference, "@types/")) {
       const diag2 = Diagnostics.Cannot_import_type_declaration_files_Consider_importing_0_instead_of_1;
       const withoutAtTypePrefix = removePrefix(moduleReference, "@types/");
@@ -48695,14 +48711,14 @@ function createTypeChecker(host) {
       return ambientModule;
     }
     const currentSourceFile = getSourceFileOfNode(location);
-    const contextSpecifier = isStringLiteralLike(location) ? location : ((_a = isModuleDeclaration(location) ? location : location.parent && isModuleDeclaration(location.parent) && location.parent.name === location ? location.parent : void 0) == null ? void 0 : _a.name) || ((_b = isLiteralImportTypeNode(location) ? location : void 0) == null ? void 0 : _b.argument.literal) || (isInJSFile(location) && isJSDocImportTag(location) ? location.moduleSpecifier : void 0) || (isVariableDeclaration(location) && location.initializer && isRequireCall(
+    const contextSpecifier = isStringLiteralLike(location) ? location : ((_a = isModuleDeclaration(location) ? location : location.parent && isModuleDeclaration(location.parent) && location.parent.name === location ? location.parent : void 0) == null ? void 0 : _a.name) || ((_b = isLiteralImportTypeNode(location) ? location : void 0) == null ? void 0 : _b.argument.literal) || (isVariableDeclaration(location) && location.initializer && isRequireCall(
       location.initializer,
       /*requireStringLiteralLikeArgument*/
       true
-    ) ? location.initializer.arguments[0] : void 0) || ((_c = findAncestor(location, isImportCall)) == null ? void 0 : _c.arguments[0]) || ((_d = findAncestor(location, isImportDeclaration)) == null ? void 0 : _d.moduleSpecifier) || ((_e = findAncestor(location, isExternalModuleImportEqualsDeclaration)) == null ? void 0 : _e.moduleReference.expression) || ((_f = findAncestor(location, isExportDeclaration)) == null ? void 0 : _f.moduleSpecifier);
+    ) ? location.initializer.arguments[0] : void 0) || ((_c = findAncestor(location, isImportCall)) == null ? void 0 : _c.arguments[0]) || ((_d = findAncestor(location, or(isImportDeclaration, isJSDocImportTag, isExportDeclaration))) == null ? void 0 : _d.moduleSpecifier) || ((_e = findAncestor(location, isExternalModuleImportEqualsDeclaration)) == null ? void 0 : _e.moduleReference.expression);
     const mode = contextSpecifier && isStringLiteralLike(contextSpecifier) ? host.getModeForUsageLocation(currentSourceFile, contextSpecifier) : host.getDefaultResolutionModeForFile(currentSourceFile);
     const moduleResolutionKind = getEmitModuleResolutionKind(compilerOptions);
-    const resolvedModule = (_g = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _g.resolvedModule;
+    const resolvedModule = (_f = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _f.resolvedModule;
     const resolutionDiagnostic = errorNode && resolvedModule && getResolutionDiagnostic(compilerOptions, resolvedModule, currentSourceFile);
     const sourceFile = resolvedModule && (!resolutionDiagnostic || resolutionDiagnostic === Diagnostics.Module_0_was_resolved_to_1_but_jsx_is_not_set) && host.getSourceFile(resolvedModule.resolvedFileName);
     if (sourceFile) {
@@ -48710,7 +48726,7 @@ function createTypeChecker(host) {
         error(errorNode, resolutionDiagnostic, moduleReference, resolvedModule.resolvedFileName);
       }
       if (resolvedModule.resolvedUsingTsExtension && isDeclarationFileName(moduleReference)) {
-        const importOrExport = ((_h = findAncestor(location, isImportDeclaration)) == null ? void 0 : _h.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
+        const importOrExport = ((_g = findAncestor(location, isImportDeclaration)) == null ? void 0 : _g.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
         if (errorNode && importOrExport && !importOrExport.isTypeOnly || findAncestor(location, isImportCall)) {
           error(
             errorNode,
@@ -48719,7 +48735,7 @@ function createTypeChecker(host) {
           );
         }
       } else if (resolvedModule.resolvedUsingTsExtension && !shouldAllowImportingTsExtension(compilerOptions, currentSourceFile.fileName)) {
-        const importOrExport = ((_i = findAncestor(location, isImportDeclaration)) == null ? void 0 : _i.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
+        const importOrExport = ((_h = findAncestor(location, isImportDeclaration)) == null ? void 0 : _h.importClause) || findAncestor(location, or(isImportEqualsDeclaration, isExportDeclaration));
         if (errorNode && !((importOrExport == null ? void 0 : importOrExport.isTypeOnly) || findAncestor(location, isImportTypeNode))) {
           const tsExtension = Debug.checkDefined(tryExtractTSExtension(moduleReference));
           error(errorNode, Diagnostics.An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled, tsExtension);
@@ -48749,7 +48765,7 @@ function createTypeChecker(host) {
               if (ext === ".ts" /* Ts */ || ext === ".js" /* Js */ || ext === ".tsx" /* Tsx */ || ext === ".jsx" /* Jsx */) {
                 diagnosticDetails = createModeMismatchDetails(currentSourceFile);
               }
-              const message = (overrideHost == null ? void 0 : overrideHost.kind) === 272 /* ImportDeclaration */ && ((_j = overrideHost.importClause) == null ? void 0 : _j.isTypeOnly) ? Diagnostics.Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : (overrideHost == null ? void 0 : overrideHost.kind) === 205 /* ImportType */ ? Diagnostics.Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : Diagnostics.The_current_file_is_a_CommonJS_module_whose_imports_will_produce_require_calls_however_the_referenced_file_is_an_ECMAScript_module_and_cannot_be_imported_with_require_Consider_writing_a_dynamic_import_0_call_instead;
+              const message = (overrideHost == null ? void 0 : overrideHost.kind) === 272 /* ImportDeclaration */ && ((_i = overrideHost.importClause) == null ? void 0 : _i.isTypeOnly) ? Diagnostics.Type_only_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : (overrideHost == null ? void 0 : overrideHost.kind) === 205 /* ImportType */ ? Diagnostics.Type_import_of_an_ECMAScript_module_from_a_CommonJS_module_must_have_a_resolution_mode_attribute : Diagnostics.The_current_file_is_a_CommonJS_module_whose_imports_will_produce_require_calls_however_the_referenced_file_is_an_ECMAScript_module_and_cannot_be_imported_with_require_Consider_writing_a_dynamic_import_0_call_instead;
               diagnostics.add(createDiagnosticForNodeFromMessageChain(
                 getSourceFileOfNode(errorNode),
                 errorNode,
@@ -48812,14 +48828,14 @@ function createTypeChecker(host) {
           error(errorNode, Diagnostics.Cannot_find_module_0_Consider_using_resolveJsonModule_to_import_module_with_json_extension, moduleReference);
         } else if (mode === 99 /* ESNext */ && resolutionIsNode16OrNext && isExtensionlessRelativePathImport) {
           const absoluteRef = getNormalizedAbsolutePath(moduleReference, getDirectoryPath(currentSourceFile.path));
-          const suggestedExt = (_k = suggestedExtensions.find(([actualExt, _importExt]) => host.fileExists(absoluteRef + actualExt))) == null ? void 0 : _k[1];
+          const suggestedExt = (_j = suggestedExtensions.find(([actualExt, _importExt]) => host.fileExists(absoluteRef + actualExt))) == null ? void 0 : _j[1];
           if (suggestedExt) {
             error(errorNode, Diagnostics.Relative_import_paths_need_explicit_file_extensions_in_ECMAScript_imports_when_moduleResolution_is_node16_or_nodenext_Did_you_mean_0, moduleReference + suggestedExt);
           } else {
             error(errorNode, Diagnostics.Relative_import_paths_need_explicit_file_extensions_in_ECMAScript_imports_when_moduleResolution_is_node16_or_nodenext_Consider_adding_an_extension_to_the_import_path);
           }
         } else {
-          if ((_l = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _l.alternateResult) {
+          if ((_k = host.getResolvedModule(currentSourceFile, moduleReference, mode)) == null ? void 0 : _k.alternateResult) {
             const errorInfo = createModuleNotFoundChain(currentSourceFile, host, moduleReference, mode, moduleReference);
             errorOrSuggestion(
               /*isError*/
@@ -52018,7 +52034,13 @@ function createTypeChecker(host) {
       if (typeFromTypeNode === type) {
         return true;
       }
-      if (annotatedDeclaration && (isParameter(annotatedDeclaration) || isPropertySignature(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
+      if (!annotatedDeclaration) {
+        return false;
+      }
+      if ((isPropertySignature(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
+        return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
+      }
+      if (isParameter(annotatedDeclaration) && hasEffectiveQuestionToken(annotatedDeclaration)) {
         return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
       }
       return false;
@@ -52979,7 +53001,9 @@ function createTypeChecker(host) {
         const skipMembershipCheck = !isPrivate;
         if (skipMembershipCheck || !!length(symbol.declarations) && some(symbol.declarations, (d) => !!findAncestor(d, (n) => n === enclosingDeclaration))) {
           const scopeCleanup = cloneNodeBuilderContext(context);
+          context.tracker.pushErrorFallbackNode(find(symbol.declarations, (d) => getSourceFileOfNode(d) === context.enclosingFile));
           serializeSymbolWorker(symbol, isPrivate, propertyAsAlias);
+          context.tracker.popErrorFallbackNode();
           scopeCleanup();
         }
       }
@@ -56982,8 +57006,13 @@ function createTypeChecker(host) {
     if (left.typeParameters && right.typeParameters) {
       paramMapper = createTypeMapper(right.typeParameters, left.typeParameters);
     }
+    let flags = (left.flags | right.flags) & (167 /* PropagatingFlags */ & ~1 /* HasRestParameter */);
     const declaration = left.declaration;
     const params = combineUnionParameters(left, right, paramMapper);
+    const lastParam = lastOrUndefined(params);
+    if (lastParam && getCheckFlags(lastParam) & 32768 /* RestParameter */) {
+      flags |= 1 /* HasRestParameter */;
+    }
     const thisParam = combineUnionThisParam(left.thisParameter, right.thisParameter, paramMapper);
     const minArgCount = Math.max(left.minArgumentCount, right.minArgumentCount);
     const result = createSignature(
@@ -56996,7 +57025,7 @@ function createTypeChecker(host) {
       /*resolvedTypePredicate*/
       void 0,
       minArgCount,
-      (left.flags | right.flags) & 167 /* PropagatingFlags */
+      flags
     );
     result.compositeKind = 1048576 /* Union */;
     result.compositeSignatures = concatenate(left.compositeKind !== 2097152 /* Intersection */ && left.compositeSignatures || [left], [right]);
@@ -70482,7 +70511,7 @@ function createTypeChecker(host) {
   }
   function markJsxAliasReferenced(node) {
     if (!getJsxNamespaceContainerForImplicitImport(node)) {
-      const jsxFactoryRefErr = diagnostics && compilerOptions.jsx === 2 /* React */ ? Diagnostics.Cannot_find_name_0 : void 0;
+      const jsxFactoryRefErr = diagnostics && compilerOptions.jsx === 2 /* React */ ? Diagnostics.This_JSX_tag_requires_0_to_be_in_scope_but_it_could_not_be_found : void 0;
       const jsxFactoryNamespace = getJsxNamespace(node);
       const jsxFactoryLocation = isJsxOpeningLikeElement(node) ? node.tagName : node;
       let jsxFactorySym;
@@ -72429,13 +72458,14 @@ function createTypeChecker(host) {
       const paramName = leftName === rightName ? leftName : !leftName ? rightName : !rightName ? leftName : void 0;
       const paramSymbol = createSymbol(
         1 /* FunctionScopedVariable */ | (isOptional && !isRestParam ? 16777216 /* Optional */ : 0),
-        paramName || `arg${i}`
+        paramName || `arg${i}`,
+        isRestParam ? 32768 /* RestParameter */ : isOptional ? 16384 /* OptionalParameter */ : 0
       );
       paramSymbol.links.type = isRestParam ? createArrayType(unionParamType) : unionParamType;
       params[i] = paramSymbol;
     }
     if (needsExtraRestElement) {
-      const restParamSymbol = createSymbol(1 /* FunctionScopedVariable */, "args");
+      const restParamSymbol = createSymbol(1 /* FunctionScopedVariable */, "args", 32768 /* RestParameter */);
       restParamSymbol.links.type = createArrayType(getTypeAtPosition(shorter, longestCount));
       if (shorter === right) {
         restParamSymbol.links.type = instantiateType(restParamSymbol.links.type, mapper);
@@ -72450,8 +72480,13 @@ function createTypeChecker(host) {
     if (left.typeParameters && right.typeParameters) {
       paramMapper = createTypeMapper(right.typeParameters, left.typeParameters);
     }
+    let flags = (left.flags | right.flags) & (167 /* PropagatingFlags */ & ~1 /* HasRestParameter */);
     const declaration = left.declaration;
     const params = combineIntersectionParameters(left, right, paramMapper);
+    const lastParam = lastOrUndefined(params);
+    if (lastParam && getCheckFlags(lastParam) & 32768 /* RestParameter */) {
+      flags |= 1 /* HasRestParameter */;
+    }
     const thisParam = combineIntersectionThisParam(left.thisParameter, right.thisParameter, paramMapper);
     const minArgCount = Math.max(left.minArgumentCount, right.minArgumentCount);
     const result = createSignature(
@@ -72464,7 +72499,7 @@ function createTypeChecker(host) {
       /*resolvedTypePredicate*/
       void 0,
       minArgCount,
-      (left.flags | right.flags) & 167 /* PropagatingFlags */
+      flags
     );
     result.compositeKind = 2097152 /* Intersection */;
     result.compositeSignatures = concatenate(left.compositeKind === 2097152 /* Intersection */ && left.compositeSignatures || [left], [right]);
@@ -73192,7 +73227,7 @@ function createTypeChecker(host) {
       return void 0;
     }
     const isClassic = getEmitModuleResolutionKind(compilerOptions) === 1 /* Classic */;
-    const errorMessage = isClassic ? Diagnostics.Cannot_find_module_0_Did_you_mean_to_set_the_moduleResolution_option_to_nodenext_or_to_add_aliases_to_the_paths_option : Diagnostics.Cannot_find_module_0_or_its_corresponding_type_declarations;
+    const errorMessage = isClassic ? Diagnostics.Cannot_find_module_0_Did_you_mean_to_set_the_moduleResolution_option_to_nodenext_or_to_add_aliases_to_the_paths_option : Diagnostics.This_JSX_tag_requires_the_module_path_0_to_exist_but_none_could_be_found_Make_sure_you_have_types_for_the_appropriate_package_installed;
     const specifier = getJSXRuntimeImportSpecifier(file, runtimeImportSpecifier);
     const mod = resolveExternalModule(specifier || location, runtimeImportSpecifier, errorMessage, location);
     const result = mod && mod !== unknownSymbol ? getMergedSymbol(resolveSymbol(mod)) : void 0;
@@ -84619,6 +84654,7 @@ function createTypeChecker(host) {
       grammarErrorOnFirstToken(node, Diagnostics.An_import_declaration_cannot_have_modifiers);
     }
     if (checkExternalImportOrExportDeclaration(node)) {
+      let resolvedModule;
       const importClause = node.importClause;
       if (importClause && !checkGrammarImportClause(importClause)) {
         if (importClause.name) {
@@ -84631,18 +84667,27 @@ function createTypeChecker(host) {
               checkExternalEmitHelpers(node, 65536 /* ImportStar */);
             }
           } else {
-            const moduleExisted = resolveExternalModuleName(node, node.moduleSpecifier);
-            if (moduleExisted) {
+            resolvedModule = resolveExternalModuleName(node, node.moduleSpecifier);
+            if (resolvedModule) {
               forEach(importClause.namedBindings.elements, checkImportBinding);
             }
           }
         }
+        if (isOnlyImportableAsDefault(node.moduleSpecifier, resolvedModule) && !hasTypeJsonImportAttribute(node)) {
+          error(node.moduleSpecifier, Diagnostics.Importing_a_JSON_file_into_an_ECMAScript_module_requires_a_type_Colon_json_import_attribute_when_module_is_set_to_0, ModuleKind[moduleKind]);
+        }
       } else if (noUncheckedSideEffectImports && !importClause) {
         void resolveExternalModuleName(node, node.moduleSpecifier);
       }
     }
     checkImportAttributes(node);
   }
+  function hasTypeJsonImportAttribute(node) {
+    return !!node.attributes && node.attributes.elements.some((attr) => {
+      var _a;
+      return getTextOfIdentifierOrLiteral(attr.name) === "type" && ((_a = tryCast(attr.value, isStringLiteralLike)) == null ? void 0 : _a.text) === "json";
+    });
+  }
   function checkImportEqualsDeclaration(node) {
     if (checkGrammarModuleElementContext(node, isInJSFile(node) ? Diagnostics.An_import_declaration_can_only_be_used_at_the_top_level_of_a_module : Diagnostics.An_import_declaration_can_only_be_used_at_the_top_level_of_a_namespace_or_module)) {
       return;
@@ -85759,7 +85804,7 @@ function createTypeChecker(host) {
       } else if (isJSDocMemberName(name)) {
         return resolveJSDocMemberName(name);
       }
-    } else if (isTypeReferenceIdentifier(name)) {
+    } else if (isEntityName(name) && isTypeReferenceIdentifier(name)) {
       const meaning = name.parent.kind === 183 /* TypeReference */ ? 788968 /* Type */ : 1920 /* Namespace */;
       const symbol = resolveEntityName(
         name,
@@ -88969,6 +89014,14 @@ var SymbolTrackerImpl = class _SymbolTrackerImpl {
       this.inner.reportInferenceFallback(node);
     }
   }
+  pushErrorFallbackNode(node) {
+    var _a, _b;
+    return (_b = (_a = this.inner) == null ? void 0 : _a.pushErrorFallbackNode) == null ? void 0 : _b.call(_a, node);
+  }
+  popErrorFallbackNode() {
+    var _a, _b;
+    return (_b = (_a = this.inner) == null ? void 0 : _a.popErrorFallbackNode) == null ? void 0 : _b.call(_a);
+  }
 };
 
 // src/compiler/visitorPublic.ts
@@ -112125,6 +112178,7 @@ function transformDeclarations(context) {
   let suppressNewDiagnosticContexts;
   const { factory: factory2 } = context;
   const host = context.getEmitHost();
+  let restoreFallbackNode = () => void 0;
   const symbolTracker = {
     trackSymbol,
     reportInaccessibleThisError,
@@ -112136,7 +112190,19 @@ function transformDeclarations(context) {
     moduleResolverHost: host,
     reportNonlocalAugmentation,
     reportNonSerializableProperty,
-    reportInferenceFallback
+    reportInferenceFallback,
+    pushErrorFallbackNode(node) {
+      const currentFallback = errorFallbackNode;
+      const currentRestore = restoreFallbackNode;
+      restoreFallbackNode = () => {
+        restoreFallbackNode = currentRestore;
+        errorFallbackNode = currentFallback;
+      };
+      errorFallbackNode = node;
+    },
+    popErrorFallbackNode() {
+      restoreFallbackNode();
+    }
   };
   let errorNameNode;
   let errorFallbackNode;
@@ -120921,7 +120987,11 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     return (_a2 = resolvedTypeReferenceDirectiveNames == null ? void 0 : resolvedTypeReferenceDirectiveNames.get(file.path)) == null ? void 0 : _a2.get(typeDirectiveName, mode);
   }
   function getResolvedTypeReferenceDirectiveFromTypeReferenceDirective(typeRef, sourceFile) {
-    return getResolvedTypeReferenceDirective(sourceFile, typeRef.fileName, typeRef.resolutionMode || sourceFile.impliedNodeFormat);
+    return getResolvedTypeReferenceDirective(
+      sourceFile,
+      typeRef.fileName,
+      getModeForTypeReferenceDirectiveInFile(typeRef, sourceFile)
+    );
   }
   function forEachResolvedModule(callback, file) {
     forEachResolution(resolvedModules, callback, file);
@@ -121308,10 +121378,11 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       const moduleNames = getModuleNames(newSourceFile);
       const resolutions = resolveModuleNamesReusingOldState(moduleNames, newSourceFile);
       (resolvedModulesProcessing ?? (resolvedModulesProcessing = /* @__PURE__ */ new Map())).set(newSourceFile.path, resolutions);
+      const optionsForFile = getCompilerOptionsForFile(newSourceFile);
       const resolutionsChanged = hasChangesInResolutions(
         moduleNames,
         resolutions,
-        (name) => oldProgram.getResolvedModule(newSourceFile, name.text, getModeForUsageLocation2(newSourceFile, name)),
+        (name) => oldProgram.getResolvedModule(newSourceFile, name.text, getModeForUsageLocationWorker(newSourceFile, name, optionsForFile)),
         moduleResolutionIsEqualTo
       );
       if (resolutionsChanged) structureIsReused = 1 /* SafeModules */;
@@ -121321,7 +121392,11 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       const typeReferenceResolutionsChanged = hasChangesInResolutions(
         typesReferenceDirectives,
         typeReferenceResolutions,
-        (name) => oldProgram.getResolvedTypeReferenceDirective(newSourceFile, getTypeReferenceResolutionName(name), getModeForFileReference(name, newSourceFile.impliedNodeFormat)),
+        (name) => oldProgram.getResolvedTypeReferenceDirective(
+          newSourceFile,
+          getTypeReferenceResolutionName(name),
+          getModeForTypeReferenceDirectiveInFile(name, newSourceFile)
+        ),
         typeDirectiveIsEqualTo
       );
       if (typeReferenceResolutionsChanged) structureIsReused = 1 /* SafeModules */;
@@ -122482,8 +122557,8 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       const ref = file.typeReferenceDirectives[index];
       const resolvedTypeReferenceDirective = resolutions[index];
       const fileName = ref.fileName;
-      resolutionsInFile.set(fileName, getModeForFileReference(ref, file.impliedNodeFormat), resolvedTypeReferenceDirective);
-      const mode = ref.resolutionMode || getDefaultResolutionModeForFile2(file);
+      const mode = getModeForTypeReferenceDirectiveInFile(ref, file);
+      resolutionsInFile.set(fileName, mode, resolvedTypeReferenceDirective);
       processTypeReferenceDirective(fileName, mode, resolvedTypeReferenceDirective, { kind: 5 /* TypeReferenceDirective */, file: file.path, index });
     }
   }
@@ -123527,6 +123602,9 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
   function shouldTransformImportCall(sourceFile) {
     return shouldTransformImportCallWorker(sourceFile, getCompilerOptionsForFile(sourceFile));
   }
+  function getModeForTypeReferenceDirectiveInFile(ref, sourceFile) {
+    return ref.resolutionMode || getDefaultResolutionModeForFile2(sourceFile);
+  }
 }
 function shouldTransformImportCallWorker(sourceFile, options) {
   const moduleKind = getEmitModuleKind(options);