typescript 5.0.0-dev.20230201 → 5.0.0-dev.20230203

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-dev.20230201`;
+      version = `${versionMajorMinor}.0-dev.20230203`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -7338,7 +7338,6 @@ ${lanes.join("\n")}
         Module_0_does_not_refer_to_a_value_but_is_used_as_a_value_here: diag(1339, 1 /* Error */, "Module_0_does_not_refer_to_a_value_but_is_used_as_a_value_here_1339", "Module '{0}' does not refer to a value, but is used as a value here."),
         Module_0_does_not_refer_to_a_type_but_is_used_as_a_type_here_Did_you_mean_typeof_import_0: diag(1340, 1 /* Error */, "Module_0_does_not_refer_to_a_type_but_is_used_as_a_type_here_Did_you_mean_typeof_import_0_1340", "Module '{0}' does not refer to a type, but is used as a type here. Did you mean 'typeof import('{0}')'?"),
         Class_constructor_may_not_be_an_accessor: diag(1341, 1 /* Error */, "Class_constructor_may_not_be_an_accessor_1341", "Class constructor may not be an accessor."),
-        Type_arguments_cannot_be_used_here: diag(1342, 1 /* Error */, "Type_arguments_cannot_be_used_here_1342", "Type arguments cannot be used here."),
         The_import_meta_meta_property_is_only_allowed_when_the_module_option_is_es2020_es2022_esnext_system_node16_or_nodenext: diag(1343, 1 /* Error */, "The_import_meta_meta_property_is_only_allowed_when_the_module_option_is_es2020_es2022_esnext_system__1343", "The 'import.meta' meta-property is only allowed when the '--module' option is 'es2020', 'es2022', 'esnext', 'system', 'node16', or 'nodenext'."),
         A_label_is_not_allowed_here: diag(1344, 1 /* Error */, "A_label_is_not_allowed_here_1344", "'A label is not allowed here."),
         An_expression_of_type_void_cannot_be_tested_for_truthiness: diag(1345, 1 /* Error */, "An_expression_of_type_void_cannot_be_tested_for_truthiness_1345", "An expression of type 'void' cannot be tested for truthiness."),
@@ -7984,7 +7983,7 @@ ${lanes.join("\n")}
         Private_accessor_was_defined_without_a_getter: diag(2806, 1 /* Error */, "Private_accessor_was_defined_without_a_getter_2806", "Private accessor was defined without a getter."),
         This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0: diag(2807, 1 /* Error */, "This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_o_2807", "This syntax requires an imported helper named '{1}' with {2} parameters, which is not compatible with the one in '{0}'. Consider upgrading your version of '{0}'."),
         A_get_accessor_must_be_at_least_as_accessible_as_the_setter: diag(2808, 1 /* Error */, "A_get_accessor_must_be_at_least_as_accessible_as_the_setter_2808", "A get accessor must be at least as accessible as the setter"),
-        Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_the_whole_assignment_in_parentheses: diag(2809, 1 /* Error */, "Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_d_2809", "Declaration or statement expected. This '=' follows a block of statements, so if you intended to write a destructuring assignment, you might need to wrap the the whole assignment in parentheses."),
+        Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_whole_assignment_in_parentheses: diag(2809, 1 /* Error */, "Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_d_2809", "Declaration or statement expected. This '=' follows a block of statements, so if you intended to write a destructuring assignment, you might need to wrap the whole assignment in parentheses."),
         Expected_1_argument_but_got_0_new_Promise_needs_a_JSDoc_hint_to_produce_a_resolve_that_can_be_called_without_arguments: diag(2810, 1 /* Error */, "Expected_1_argument_but_got_0_new_Promise_needs_a_JSDoc_hint_to_produce_a_resolve_that_can_be_called_2810", "Expected 1 argument, but got 0. 'new Promise()' needs a JSDoc hint to produce a 'resolve' that can be called without arguments."),
         Initializer_for_property_0: diag(2811, 1 /* Error */, "Initializer_for_property_0_2811", "Initializer for property '{0}'"),
         Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom: diag(2812, 1 /* Error */, "Property_0_does_not_exist_on_type_1_Try_changing_the_lib_compiler_option_to_include_dom_2812", "Property '{0}' does not exist on type '{1}'. Try changing the 'lib' compiler option to include 'dom'."),
@@ -32053,7 +32052,7 @@ ${lanes.join("\n")}
             parseExpectedMatchingBrackets(18 /* OpenBraceToken */, 19 /* CloseBraceToken */, openBraceParsed, openBracePosition);
             const result = withJSDoc(finishNode(factory2.createBlock(statements, multiLine), pos), hasJSDoc);
             if (token() === 63 /* EqualsToken */) {
-              parseErrorAtCurrentToken(Diagnostics.Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_the_whole_assignment_in_parentheses);
+              parseErrorAtCurrentToken(Diagnostics.Declaration_or_statement_expected_This_follows_a_block_of_statements_so_if_you_intended_to_write_a_destructuring_assignment_you_might_need_to_wrap_the_whole_assignment_in_parentheses);
               nextToken();
             }
             return result;
@@ -38242,6 +38241,22 @@ ${lanes.join("\n")}
     Debug.assert(extensionIsTS(resolved.extension));
     return { fileName: resolved.path, packageId: resolved.packageId };
   }
+  function createResolvedModuleWithFailedLookupLocationsHandlingSymlink(moduleName, resolved, isExternalLibraryImport, failedLookupLocations, affectingLocations, diagnostics, state, legacyResult) {
+    if (!state.resultFromCache && !state.compilerOptions.preserveSymlinks && resolved && isExternalLibraryImport && !resolved.originalPath && !isExternalModuleNameRelative(moduleName)) {
+      const { resolvedFileName, originalPath } = getOriginalAndResolvedFileName(resolved.path, state.host, state.traceEnabled);
+      if (originalPath)
+        resolved = { ...resolved, path: resolvedFileName, originalPath };
+    }
+    return createResolvedModuleWithFailedLookupLocations(
+      resolved,
+      isExternalLibraryImport,
+      failedLookupLocations,
+      affectingLocations,
+      diagnostics,
+      state.resultFromCache,
+      legacyResult
+    );
+  }
   function createResolvedModuleWithFailedLookupLocations(resolved, isExternalLibraryImport, failedLookupLocations, affectingLocations, diagnostics, resultFromCache, legacyResult) {
     if (resultFromCache) {
       resultFromCache.failedLookupLocations = updateResolutionField(resultFromCache.failedLookupLocations, failedLookupLocations);
@@ -38400,6 +38415,15 @@ ${lanes.join("\n")}
     const useCaseSensitiveFileNames = typeof host.useCaseSensitiveFileNames === "function" ? host.useCaseSensitiveFileNames() : host.useCaseSensitiveFileNames;
     return comparePaths(path1, path2, !useCaseSensitiveFileNames) === 0 /* EqualTo */;
   }
+  function getOriginalAndResolvedFileName(fileName, host, traceEnabled) {
+    const resolvedFileName = realPath(fileName, host, traceEnabled);
+    const pathsAreEqual = arePathsEqual(fileName, resolvedFileName, host);
+    return {
+      // If the fileName and realpath are differing only in casing prefer fileName so that we can issue correct errors for casing under forceConsistentCasingInFileNames
+      resolvedFileName: pathsAreEqual ? fileName : resolvedFileName,
+      originalPath: pathsAreEqual ? void 0 : fileName
+    };
+  }
   function resolveTypeReferenceDirective(typeReferenceDirectiveName, containingFile, options, host, redirectedReference, cache, resolutionMode) {
     Debug.assert(typeof typeReferenceDirectiveName === "string", "Non-string value passed to `ts.resolveTypeReferenceDirective`, likely by a wrapping package working with an outdated `resolveTypeReferenceDirectives` signature. This is probably not a problem in TS itself.");
     const traceEnabled = isTraceEnabled(options, host);
@@ -38471,13 +38495,13 @@ ${lanes.join("\n")}
     let resolvedTypeReferenceDirective;
     if (resolved) {
       const { fileName, packageId } = resolved;
-      const resolvedFileName = options.preserveSymlinks ? fileName : realPath(fileName, host, traceEnabled);
-      const pathsAreEqual = arePathsEqual(fileName, resolvedFileName, host);
+      let resolvedFileName = fileName, originalPath;
+      if (!options.preserveSymlinks)
+        ({ resolvedFileName, originalPath } = getOriginalAndResolvedFileName(fileName, host, traceEnabled));
       resolvedTypeReferenceDirective = {
         primary,
-        // If the fileName and realpath are differing only in casing prefer fileName so that we can issue correct errors for casing under forceConsistentCasingInFileNames
-        resolvedFileName: pathsAreEqual ? fileName : resolvedFileName,
-        originalPath: pathsAreEqual ? void 0 : fileName,
+        resolvedFileName,
+        originalPath,
         packageId,
         isExternalLibraryImport: pathContainsNodeModules(fileName)
       };
@@ -39347,13 +39371,14 @@ ${lanes.join("\n")}
         legacyResult = diagnosticResult.value.resolved.path;
       }
     }
-    return createResolvedModuleWithFailedLookupLocations(
+    return createResolvedModuleWithFailedLookupLocationsHandlingSymlink(
+      moduleName,
       (_c = result == null ? void 0 : result.value) == null ? void 0 : _c.resolved,
       (_d = result == null ? void 0 : result.value) == null ? void 0 : _d.isExternalLibraryImport,
       failedLookupLocations,
       affectingLocations,
       diagnostics,
-      state.resultFromCache,
+      state,
       legacyResult
     );
     function tryResolve(extensions2, state2) {
@@ -39383,16 +39408,7 @@ ${lanes.join("\n")}
           }
           resolved2 = loadModuleFromNearestNodeModulesDirectory(extensions2, moduleName, containingDirectory, state2, cache, redirectedReference);
         }
-        if (!resolved2)
-          return void 0;
-        let resolvedValue = resolved2.value;
-        if (!compilerOptions.preserveSymlinks && resolvedValue && !resolvedValue.originalPath) {
-          const path = realPath(resolvedValue.path, host, traceEnabled);
-          const pathsAreEqual = arePathsEqual(path, resolvedValue.path, host);
-          const originalPath = pathsAreEqual ? void 0 : resolvedValue.path;
-          resolvedValue = { ...resolvedValue, path: pathsAreEqual ? resolvedValue.path : path, originalPath };
-        }
-        return { value: resolvedValue && { resolved: resolvedValue, isExternalLibraryImport: true } };
+        return resolved2 && { value: resolved2.value && { resolved: resolved2.value, isExternalLibraryImport: true } };
       } else {
         const { path: candidate, parts } = normalizePathForCJSResolution(containingDirectory, moduleName);
         const resolved2 = nodeLoadModuleByRelativeName(
@@ -40546,13 +40562,14 @@ ${lanes.join("\n")}
       candidateIsFromPackageJsonField: false
     };
     const resolved = tryResolve(1 /* TypeScript */ | 4 /* Declaration */) || tryResolve(2 /* JavaScript */ | (compilerOptions.resolveJsonModule ? 8 /* Json */ : 0));
-    return createResolvedModuleWithFailedLookupLocations(
+    return createResolvedModuleWithFailedLookupLocationsHandlingSymlink(
+      moduleName,
       resolved && resolved.value,
       (resolved == null ? void 0 : resolved.value) && pathContainsNodeModules(resolved.value.path),
       failedLookupLocations,
       affectingLocations,
       diagnostics,
-      state.resultFromCache
+      state
     );
     function tryResolve(extensions) {
       const resolvedUsingSettings = tryLoadModuleUsingOptionalResolutionSettings(extensions, moduleName, containingDirectory, loadModuleFromFileNoPackageId, state);
@@ -44307,8 +44324,10 @@ ${lanes.join("\n")}
         const packageJsonContent = (cachedPackageJson == null ? void 0 : cachedPackageJson.contents.packageJsonContent) || JSON.parse(host.readFile(packageJsonPath));
         const importMode = overrideMode || importingSourceFile.impliedNodeFormat;
         if (getResolvePackageJsonExports(options)) {
+          const nodeModulesDirectoryName2 = packageRootPath.substring(parts.topLevelPackageNameIndex + 1);
+          const packageName2 = getPackageNameFromTypesPackageName(nodeModulesDirectoryName2);
           const conditions = getConditions(options, importMode === 99 /* ESNext */);
-          const fromExports = packageJsonContent.exports && typeof packageJsonContent.name === "string" ? tryGetModuleNameFromExports(options, path, packageRootPath, getPackageNameFromTypesPackageName(packageJsonContent.name), packageJsonContent.exports, conditions) : void 0;
+          const fromExports = packageJsonContent.exports ? tryGetModuleNameFromExports(options, path, packageRootPath, packageName2, packageJsonContent.exports, conditions) : void 0;
           if (fromExports) {
             const withJsExtension = !hasTSFileExtension(fromExports.moduleFileToTry) ? fromExports : { moduleFileToTry: removeFileExtension(fromExports.moduleFileToTry) + tryGetJSExtensionForFile(fromExports.moduleFileToTry, options) };
             return { ...withJsExtension, verbatimFromExports: true };
@@ -46677,7 +46696,12 @@ ${lanes.join("\n")}
     }
     function resolveExportByName(moduleSymbol, name, sourceNode, dontResolveAlias) {
       const exportValue = moduleSymbol.exports.get("export=" /* ExportEquals */);
-      const exportSymbol = exportValue ? getPropertyOfType(getTypeOfSymbol(exportValue), name) : moduleSymbol.exports.get(name);
+      const exportSymbol = exportValue ? getPropertyOfType(
+        getTypeOfSymbol(exportValue),
+        name,
+        /*skipObjectFunctionPropertyAugment*/
+        true
+      ) : moduleSymbol.exports.get(name);
       const resolved = resolveSymbol(exportSymbol, dontResolveAlias);
       markSymbolOfAliasDeclarationIfTypeOnly(
         sourceNode,
@@ -56092,7 +56116,7 @@ ${lanes.join("\n")}
               for (const tag of node.tags) {
                 if (isJSDocOverloadTag(tag)) {
                   const jsDocSignature = tag.typeExpression;
-                  if (jsDocSignature.type === void 0) {
+                  if (jsDocSignature.type === void 0 && !isConstructorDeclaration(decl)) {
                     reportImplicitAny(jsDocSignature, anyType);
                   }
                   result.push(getSignatureFromDeclaration(jsDocSignature));
@@ -56204,6 +56228,12 @@ ${lanes.join("\n")}
       if (declaration.kind === 173 /* Constructor */) {
         return getDeclaredTypeOfClassOrInterface(getMergedSymbol(declaration.parent.symbol));
       }
+      if (isJSDocSignature(declaration)) {
+        const root = getJSDocRoot(declaration);
+        if (root && isConstructorDeclaration(root.parent)) {
+          return getDeclaredTypeOfClassOrInterface(getMergedSymbol(root.parent.parent.symbol));
+        }
+      }
       if (isJSDocConstructSignature(declaration)) {
         return getTypeFromTypeNode(declaration.parameters[0].type);
       }
@@ -57794,7 +57824,7 @@ ${lanes.join("\n")}
     function typePredicateKindsMatch(a, b) {
       return a.kind === b.kind && a.parameterIndex === b.parameterIndex;
     }
-    function getUnionTypeFromSortedList(types, objectFlags, aliasSymbol, aliasTypeArguments, origin) {
+    function getUnionTypeFromSortedList(types, precomputedObjectFlags, aliasSymbol, aliasTypeArguments, origin) {
       if (types.length === 0) {
         return neverType;
       }
@@ -57806,7 +57836,7 @@ ${lanes.join("\n")}
       let type = unionTypes.get(id);
       if (!type) {
         type = createType(1048576 /* Union */);
-        type.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+        type.objectFlags = precomputedObjectFlags | getPropagatingFlagsOfTypes(
           types,
           /*excludeKinds*/
           98304 /* Nullable */
@@ -58983,11 +59013,6 @@ ${lanes.join("\n")}
       var _a2;
       const links = getNodeLinks(node);
       if (!links.resolvedType) {
-        if (node.isTypeOf && node.typeArguments) {
-          error(node, Diagnostics.Type_arguments_cannot_be_used_here);
-          links.resolvedSymbol = unknownSymbol;
-          return links.resolvedType = errorType;
-        }
         if (!isLiteralImportTypeNode(node)) {
           error(node.argument, Diagnostics.String_literal_expected);
           links.resolvedSymbol = unknownSymbol;
@@ -59048,7 +59073,7 @@ ${lanes.join("\n")}
       const resolvedSymbol = resolveSymbol(symbol);
       links.resolvedSymbol = resolvedSymbol;
       if (meaning === 111551 /* Value */) {
-        return getTypeOfSymbol(symbol);
+        return getInstantiationExpressionType(getTypeOfSymbol(symbol), node);
       } else {
         const type = tryGetDeclaredTypeOfSymbol(resolvedSymbol);
         const typeParameters = type && getTypeParametersForTypeAndSymbol(type, resolvedSymbol);
@@ -60929,7 +60954,6 @@ ${lanes.join("\n")}
       let overrideNextErrorInfo = 0;
       let lastSkippedInfo;
       let incompatibleStack;
-      let inPropertyCheck = false;
       Debug.assert(relation !== identityRelation || !errorNode, "no error reporting in identity checking");
       const result = isRelatedTo(
         source,
@@ -61126,7 +61150,8 @@ ${lanes.join("\n")}
           Debug.assert(!isTypeAssignableTo(generalizedSource, target2), "generalized source shouldn't be assignable");
           generalizedSourceType = getTypeNameForErrorDisplay(generalizedSource);
         }
-        if (target2.flags & 262144 /* TypeParameter */ && target2 !== markerSuperTypeForCheck && target2 !== markerSubTypeForCheck) {
+        const targetFlags = target2.flags & 8388608 /* IndexedAccess */ && !(source2.flags & 8388608 /* IndexedAccess */) ? target2.objectType.flags : target2.flags;
+        if (targetFlags & 262144 /* TypeParameter */ && target2 !== markerSuperTypeForCheck && target2 !== markerSubTypeForCheck) {
           const constraint = getBaseConstraintOfType(target2);
           let needsOriginalSource;
           if (constraint && (isTypeAssignableTo(generalizedSource, constraint) || (needsOriginalSource = isTypeAssignableTo(source2, constraint)))) {
@@ -61887,14 +61912,15 @@ ${lanes.join("\n")}
               );
             }
           }
-          if (result2 && !inPropertyCheck && (target2.flags & 2097152 /* Intersection */ && !isGenericObjectType(target2) && source2.flags & (524288 /* Object */ | 2097152 /* Intersection */) || isNonGenericObjectType(target2) && !isArrayOrTupleType(target2) && source2.flags & 2097152 /* Intersection */ && getApparentType(source2).flags & 3670016 /* StructuredType */ && !some(source2.types, (t) => !!(getObjectFlags(t) & 262144 /* NonInferrableType */)))) {
-            inPropertyCheck = true;
+          if (result2 && !(intersectionState & 2 /* Target */) && target2.flags & 2097152 /* Intersection */ && !isGenericObjectType(target2) && source2.flags & (524288 /* Object */ | 2097152 /* Intersection */)) {
             result2 &= propertiesRelatedTo(
               source2,
               target2,
               reportErrors2,
               /*excludedProperties*/
               void 0,
+              /*optionalsOnly*/
+              false,
               0 /* None */
             );
             if (result2 && isObjectLiteralType2(source2) && getObjectFlags(source2) & 8192 /* FreshLiteral */) {
@@ -61907,7 +61933,17 @@ ${lanes.join("\n")}
                 0 /* None */
               );
             }
-            inPropertyCheck = false;
+          } else if (result2 && isNonGenericObjectType(target2) && !isArrayOrTupleType(target2) && source2.flags & 2097152 /* Intersection */ && getApparentType(source2).flags & 3670016 /* StructuredType */ && !some(source2.types, (t) => !!(getObjectFlags(t) & 262144 /* NonInferrableType */))) {
+            result2 &= propertiesRelatedTo(
+              source2,
+              target2,
+              reportErrors2,
+              /*excludedProperties*/
+              void 0,
+              /*optionalsOnly*/
+              true,
+              intersectionState
+            );
           }
         }
         if (result2) {
@@ -62397,12 +62433,14 @@ ${lanes.join("\n")}
               reportStructuralErrors,
               /*excludedProperties*/
               void 0,
+              /*optionalsOnly*/
+              false,
               intersectionState
             );
             if (result2) {
-              result2 &= signaturesRelatedTo(source2, target2, 0 /* Call */, reportStructuralErrors);
+              result2 &= signaturesRelatedTo(source2, target2, 0 /* Call */, reportStructuralErrors, intersectionState);
               if (result2) {
-                result2 &= signaturesRelatedTo(source2, target2, 1 /* Construct */, reportStructuralErrors);
+                result2 &= signaturesRelatedTo(source2, target2, 1 /* Construct */, reportStructuralErrors, intersectionState);
                 if (result2) {
                   result2 &= indexSignaturesRelatedTo(source2, target2, sourceIsPrimitive, reportStructuralErrors, intersectionState);
                 }
@@ -62531,6 +62569,8 @@ ${lanes.join("\n")}
             /*reportErrors*/
             false,
             excludedProperties,
+            /*optionalsOnly*/
+            false,
             0 /* None */
           );
           if (result2) {
@@ -62539,7 +62579,8 @@ ${lanes.join("\n")}
               type,
               0 /* Call */,
               /*reportStructuralErrors*/
-              false
+              false,
+              0 /* None */
             );
             if (result2) {
               result2 &= signaturesRelatedTo(
@@ -62547,7 +62588,8 @@ ${lanes.join("\n")}
                 type,
                 1 /* Construct */,
                 /*reportStructuralErrors*/
-                false
+                false,
+                0 /* None */
               );
               if (result2 && !(isTupleType(source2) && isTupleType(type))) {
                 result2 &= indexSignaturesRelatedTo(
@@ -62725,7 +62767,7 @@ ${lanes.join("\n")}
           }
         }
       }
-      function propertiesRelatedTo(source2, target2, reportErrors2, excludedProperties, intersectionState) {
+      function propertiesRelatedTo(source2, target2, reportErrors2, excludedProperties, optionalsOnly, intersectionState) {
         if (relation === identityRelation) {
           return propertiesIdenticalTo(source2, target2, excludedProperties);
         }
@@ -62861,7 +62903,7 @@ ${lanes.join("\n")}
         const numericNamesOnly = isTupleType(source2) && isTupleType(target2);
         for (const targetProp of excludeProperties(properties, excludedProperties)) {
           const name = targetProp.escapedName;
-          if (!(targetProp.flags & 4194304 /* Prototype */) && (!numericNamesOnly || isNumericLiteralName(name) || name === "length")) {
+          if (!(targetProp.flags & 4194304 /* Prototype */) && (!numericNamesOnly || isNumericLiteralName(name) || name === "length") && (!optionalsOnly || targetProp.flags & 16777216 /* Optional */)) {
             const sourceProp = getPropertyOfType(source2, name);
             if (sourceProp && sourceProp !== targetProp) {
               const related = propertyRelatedTo(source2, target2, sourceProp, targetProp, getNonMissingTypeOfSymbol, reportErrors2, intersectionState, relation === comparableRelation);
@@ -62897,7 +62939,7 @@ ${lanes.join("\n")}
         }
         return result2;
       }
-      function signaturesRelatedTo(source2, target2, kind, reportErrors2) {
+      function signaturesRelatedTo(source2, target2, kind, reportErrors2, intersectionState) {
         var _a3, _b;
         if (relation === identityRelation) {
           return signaturesIdenticalTo(source2, target2, kind);
@@ -62934,6 +62976,7 @@ ${lanes.join("\n")}
               /*erase*/
               true,
               reportErrors2,
+              intersectionState,
               incompatibleReporter(sourceSignatures[i], targetSignatures[i])
             );
             if (!related) {
@@ -62945,7 +62988,7 @@ ${lanes.join("\n")}
           const eraseGenerics = relation === comparableRelation || !!compilerOptions.noStrictGenericChecks;
           const sourceSignature = first(sourceSignatures);
           const targetSignature = first(targetSignatures);
-          result2 = signatureRelatedTo(sourceSignature, targetSignature, eraseGenerics, reportErrors2, incompatibleReporter(sourceSignature, targetSignature));
+          result2 = signatureRelatedTo(sourceSignature, targetSignature, eraseGenerics, reportErrors2, intersectionState, incompatibleReporter(sourceSignature, targetSignature));
           if (!result2 && reportErrors2 && kind === 1 /* Construct */ && sourceObjectFlags & targetObjectFlags && (((_a3 = targetSignature.declaration) == null ? void 0 : _a3.kind) === 173 /* Constructor */ || ((_b = sourceSignature.declaration) == null ? void 0 : _b.kind) === 173 /* Constructor */)) {
             const constructSignatureToString = (signature) => signatureToString(
               signature,
@@ -62970,6 +63013,7 @@ ${lanes.join("\n")}
                   /*erase*/
                   true,
                   shouldElaborateErrors,
+                  intersectionState,
                   incompatibleReporter(s, t)
                 );
                 if (related) {
@@ -63022,7 +63066,7 @@ ${lanes.join("\n")}
         }
         return (source2, target2) => reportIncompatibleError(Diagnostics.Construct_signature_return_types_0_and_1_are_incompatible, typeToString(source2), typeToString(target2));
       }
-      function signatureRelatedTo(source2, target2, erase, reportErrors2, incompatibleReporter) {
+      function signatureRelatedTo(source2, target2, erase, reportErrors2, intersectionState, incompatibleReporter) {
         return compareSignaturesRelated(
           erase ? getErasedSignature(source2) : source2,
           erase ? getErasedSignature(target2) : target2,
@@ -63030,9 +63074,20 @@ ${lanes.join("\n")}
           reportErrors2,
           reportError,
           incompatibleReporter,
-          isRelatedToWorker,
+          isRelatedToWorker2,
           reportUnreliableMapper
         );
+        function isRelatedToWorker2(source3, target3, reportErrors3) {
+          return isRelatedTo(
+            source3,
+            target3,
+            3 /* Both */,
+            reportErrors3,
+            /*headMessage*/
+            void 0,
+            intersectionState
+          );
+        }
       }
       function signaturesIdenticalTo(source2, target2, kind) {
         const sourceSignatures = getSignaturesOfType(source2, kind);
@@ -63091,7 +63146,7 @@ ${lanes.join("\n")}
         }
         for (const info of getIndexInfosOfType(source2)) {
           if (isApplicableIndexType(info.keyType, keyType)) {
-            const related = indexInfoRelatedTo(info, targetInfo, reportErrors2);
+            const related = indexInfoRelatedTo(info, targetInfo, reportErrors2, intersectionState);
             if (!related) {
               return 0 /* False */;
             }
@@ -63100,8 +63155,16 @@ ${lanes.join("\n")}
         }
         return result2;
       }
-      function indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2) {
-        const related = isRelatedTo(sourceInfo.type, targetInfo.type, 3 /* Both */, reportErrors2);
+      function indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState) {
+        const related = isRelatedTo(
+          sourceInfo.type,
+          targetInfo.type,
+          3 /* Both */,
+          reportErrors2,
+          /*headMessage*/
+          void 0,
+          intersectionState
+        );
         if (!related && reportErrors2) {
           if (sourceInfo.keyType === targetInfo.keyType) {
             reportError(Diagnostics._0_index_signatures_are_incompatible, typeToString(sourceInfo.keyType));
@@ -63130,7 +63193,7 @@ ${lanes.join("\n")}
       function typeRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState) {
         const sourceInfo = getApplicableIndexInfo(source2, targetInfo.keyType);
         if (sourceInfo) {
-          return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2);
+          return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors2, intersectionState);
         }
         if (!(intersectionState & 1 /* Source */) && isObjectTypeWithInferableIndex(source2)) {
           return membersRelatedToIndexInfo(source2, targetInfo, reportErrors2, intersectionState);
@@ -63421,12 +63484,15 @@ ${lanes.join("\n")}
     }
     function isDeeplyNestedType(type, stack, depth, maxDepth = 3) {
       if (depth >= maxDepth) {
+        if (type.flags & 2097152 /* Intersection */) {
+          return some(type.types, (t) => isDeeplyNestedType(t, stack, depth, maxDepth));
+        }
         const identity2 = getRecursionIdentity(type);
         let count = 0;
         let lastTypeId = 0;
         for (let i = 0; i < depth; i++) {
           const t = stack[i];
-          if (getRecursionIdentity(t) === identity2) {
+          if (t.flags & 2097152 /* Intersection */ ? some(t.types, (u) => getRecursionIdentity(u) === identity2) : getRecursionIdentity(t) === identity2) {
             if (t.id >= lastTypeId) {
               count++;
               if (count >= maxDepth) {
@@ -65794,7 +65860,7 @@ ${lanes.join("\n")}
         }
         return getUnionTypeFromSortedList(
           filtered,
-          type.objectFlags,
+          type.objectFlags & (32768 /* PrimitiveUnion */ | 16777216 /* ContainsIntersections */),
           /*aliasSymbol*/
           void 0,
           /*aliasTypeArguments*/
@@ -72445,7 +72511,7 @@ ${lanes.join("\n")}
       }
     }
     function checkCallExpression(node, checkMode) {
-      var _a2;
+      var _a2, _b, _c;
       checkGrammarTypeArguments(node, node.typeArguments);
       const signature = getResolvedSignature(
         node,
@@ -72462,7 +72528,7 @@ ${lanes.join("\n")}
       }
       if (node.kind === 211 /* NewExpression */) {
         const declaration = signature.declaration;
-        if (declaration && declaration.kind !== 173 /* Constructor */ && declaration.kind !== 177 /* ConstructSignature */ && declaration.kind !== 182 /* ConstructorType */ && !isJSDocConstructSignature(declaration) && !isJSConstructor(declaration)) {
+        if (declaration && declaration.kind !== 173 /* Constructor */ && declaration.kind !== 177 /* ConstructSignature */ && declaration.kind !== 182 /* ConstructorType */ && !(isJSDocSignature(declaration) && ((_b = (_a2 = getJSDocRoot(declaration)) == null ? void 0 : _a2.parent) == null ? void 0 : _b.kind) === 173 /* Constructor */) && !isJSDocConstructSignature(declaration) && !isJSConstructor(declaration)) {
           if (noImplicitAny) {
             error(node, Diagnostics.new_expression_whose_target_lacks_a_construct_signature_implicitly_has_an_any_type);
           }
@@ -72490,7 +72556,7 @@ ${lanes.join("\n")}
           /*allowDeclaration*/
           false
         );
-        if ((_a2 = jsSymbol == null ? void 0 : jsSymbol.exports) == null ? void 0 : _a2.size) {
+        if ((_c = jsSymbol == null ? void 0 : jsSymbol.exports) == null ? void 0 : _c.size) {
           const jsAssignmentType = createAnonymousType(jsSymbol, jsSymbol.exports, emptyArray, emptyArray, emptyArray);
           jsAssignmentType.objectFlags |= 4096 /* JSLiteral */;
           return getIntersectionType([returnType, jsAssignmentType]);
@@ -72776,6 +72842,9 @@ ${lanes.join("\n")}
       checkGrammarExpressionWithTypeArguments(node);
       forEach(node.typeArguments, checkSourceElement);
       const exprType = node.kind === 230 /* ExpressionWithTypeArguments */ ? checkExpression(node.expression) : isThisIdentifier(node.exprName) ? checkThisExpression(node.exprName) : checkExpression(node.exprName);
+      return getInstantiationExpressionType(exprType, node);
+    }
+    function getInstantiationExpressionType(exprType, node) {
       const typeArguments = node.typeArguments;
       if (exprType === silentNeverType || isErrorType(exprType) || !some(typeArguments)) {
         return exprType;
@@ -75414,7 +75483,7 @@ ${lanes.join("\n")}
         return isCallChain(expr) ? getReturnTypeOfSingleNonGenericSignatureOfCallChain(expr) : getReturnTypeOfSingleNonGenericCallSignature(checkNonNullExpression(expr.expression));
       } else if (isAssertionExpression(expr) && !isConstTypeReference(expr.type)) {
         return getTypeFromTypeNode(expr.type);
-      } else if (node.kind === 8 /* NumericLiteral */ || node.kind === 10 /* StringLiteral */ || node.kind === 110 /* TrueKeyword */ || node.kind === 95 /* FalseKeyword */) {
+      } else if (isLiteralExpression(node) || isBooleanLiteral(node)) {
         return checkExpression(node);
       }
       return void 0;
@@ -84390,8 +84459,8 @@ ${lanes.join("\n")}
       "use strict";
       init_ts2();
       init_ts2();
-      init_ts_performance();
       init_ts_moduleSpecifiers();
+      init_ts_performance();
       ambientModuleSymbolRegex = /^".+"$/;
       anon = "(anonymous)";
       nextSymbolId = 1;
@@ -106735,7 +106804,7 @@ ${lanes.join("\n")}
         if (elem.kind === 229 /* OmittedExpression */) {
           return elem;
         }
-        if (elem.propertyName && isIdentifier(elem.propertyName) && isIdentifier(elem.name) && !elem.symbol.isReferenced) {
+        if (elem.propertyName && isIdentifier(elem.propertyName) && isIdentifier(elem.name) && !elem.symbol.isReferenced && !isIdentifierANonContextualKeyword(elem.propertyName)) {
           return factory2.updateBindingElement(
             elem,
             elem.dotDotDotToken,
@@ -133399,9 +133468,9 @@ ${lanes.join("\n")}
     "src/services/services.ts"() {
       "use strict";
       init_ts4();
+      init_ts4();
       init_ts_NavigateTo();
       init_ts_NavigationBar();
-      init_ts4();
       servicesVersion = "0.8";
       NodeObject = class {
         constructor(kind, pos, end) {
@@ -136407,8 +136476,8 @@ ${lanes.join("\n")}
   var init_addEmptyExportDeclaration = __esm({
     "src/services/codefixes/addEmptyExportDeclaration.ts"() {
       "use strict";
-      init_ts_codefix();
       init_ts4();
+      init_ts_codefix();
       registerCodeFix({
         errorCodes: [
           Diagnostics.await_expressions_are_only_allowed_at_the_top_level_of_a_file_when_that_file_is_a_module_but_this_file_has_no_imports_or_exports_Consider_adding_an_empty_export_to_make_this_file_a_module.code,
@@ -138772,8 +138841,8 @@ ${lanes.join("\n")}
   var init_convertToEsModule = __esm({
     "src/services/codefixes/convertToEsModule.ts"() {
       "use strict";
-      init_ts_codefix();
       init_ts4();
+      init_ts_codefix();
       registerCodeFix({
         errorCodes: [Diagnostics.File_is_a_CommonJS_module_it_may_be_converted_to_an_ES_module.code],
         getCodeActions(context) {
@@ -142372,8 +142441,8 @@ ${lanes.join("\n")}
   var init_fixModuleAndTargetOptions = __esm({
     "src/services/codefixes/fixModuleAndTargetOptions.ts"() {
       "use strict";
-      init_ts_codefix();
       init_ts4();
+      init_ts_codefix();
       registerCodeFix({
         errorCodes: [
           Diagnostics.Top_level_await_expressions_are_only_allowed_when_the_module_option_is_set_to_es2022_esnext_system_node16_or_nodenext_and_the_target_option_is_set_to_es2017_or_higher.code,
@@ -147705,7 +147774,7 @@ ${lanes.join("\n")}
   }
   function getInsertTextAndReplacementSpanForImportCompletion(name, importStatementCompletion, origin, useSemicolons, sourceFile, options, preferences) {
     const replacementSpan = importStatementCompletion.replacementSpan;
-    const quotedModuleSpecifier = quote(sourceFile, preferences, origin.moduleSpecifier);
+    const quotedModuleSpecifier = quote(sourceFile, preferences, escapeSnippetText(origin.moduleSpecifier));
     const exportKind = origin.isDefaultExport ? 1 /* Default */ : origin.exportName === "export=" /* ExportEquals */ ? 2 /* ExportEquals */ : 0 /* Named */;
     const tabStop = preferences.includeCompletionsWithSnippetText ? "$1" : "";
     const importKind = ts_codefix_exports.getImportKind(
@@ -150311,12 +150380,12 @@ ${lanes.join("\n")}
     const mode = isStringLiteralLike(node) ? getModeForUsageLocation(sourceFile, node) : void 0;
     const scriptPath = sourceFile.path;
     const scriptDirectory = getDirectoryPath(scriptPath);
-    const extensionOptions = getExtensionOptions(compilerOptions, ReferenceKind.ModuleSpecifier, sourceFile, preferences, mode);
+    const extensionOptions = getExtensionOptions(compilerOptions, ReferenceKind.ModuleSpecifier, sourceFile, typeChecker, preferences, mode);
     return isPathRelativeToScript(literalValue) || !compilerOptions.baseUrl && (isRootedDiskPath(literalValue) || isUrl(literalValue)) ? getCompletionEntriesForRelativeModules(literalValue, scriptDirectory, compilerOptions, host, scriptPath, extensionOptions) : getCompletionEntriesForNonRelativeModules(literalValue, scriptDirectory, mode, compilerOptions, host, extensionOptions, typeChecker);
   }
-  function getExtensionOptions(compilerOptions, referenceKind, importingSourceFile, preferences, resolutionMode) {
+  function getExtensionOptions(compilerOptions, referenceKind, importingSourceFile, typeChecker, preferences, resolutionMode) {
     return {
-      extensionsToSearch: flatten(getSupportedExtensionsForModuleResolution(compilerOptions)),
+      extensionsToSearch: flatten(getSupportedExtensionsForModuleResolution(compilerOptions, typeChecker)),
       referenceKind,
       importingSourceFile,
       endingPreference: preferences == null ? void 0 : preferences.importModuleSpecifierEnding,
@@ -150346,8 +150415,17 @@ ${lanes.join("\n")}
       ).values());
     }
   }
-  function getSupportedExtensionsForModuleResolution(compilerOptions) {
-    const extensions = getSupportedExtensions(compilerOptions);
+  function getSupportedExtensionsForModuleResolution(compilerOptions, typeChecker) {
+    const ambientModulesExtensions = !typeChecker ? [] : mapDefined(
+      typeChecker.getAmbientModules(),
+      (module2) => {
+        const name = module2.name.slice(1, -1);
+        if (!name.startsWith("*.") || name.includes("/"))
+          return;
+        return name.slice(1);
+      }
+    );
+    const extensions = [...getSupportedExtensions(compilerOptions), ambientModulesExtensions];
     const moduleResolution = getEmitModuleResolutionKind(compilerOptions);
     return moduleResolutionUsesNodeModules(moduleResolution) ? getSupportedExtensionsWithJsonIfResolveJsonModule(compilerOptions, extensions) : extensions;
   }
@@ -157696,6 +157774,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
     if (isExpression(body)) {
       const returnStatement = factory.createReturnStatement(body);
       const file = body.getSourceFile();
+      setTextRange(returnStatement, body);
       suppressLeadingAndTrailingTrivia(returnStatement);
       copyTrailingAsLeadingComments(
         body,
@@ -164674,8 +164753,8 @@ ${options.prefix}` : "\n" : options.prefix
   var init_rules = __esm({
     "src/services/formatting/rules.ts"() {
       "use strict";
-      init_ts_formatting();
       init_ts4();
+      init_ts_formatting();
     }
   });
 
@@ -167087,8 +167166,8 @@ ${options.prefix}` : "\n" : options.prefix
   var init_scriptInfo = __esm({
     "src/server/scriptInfo.ts"() {
       "use strict";
-      init_ts_server2();
       init_ts6();
+      init_ts_server2();
       TextStorage = class {
         constructor(host, info, initialVersion) {
           this.host = host;
@@ -167778,8 +167857,8 @@ ${options.prefix}` : "\n" : options.prefix
     "src/server/project.ts"() {
       "use strict";
       init_ts6();
-      init_ts_server2();
       init_ts6();
+      init_ts_server2();
       ProjectKind = /* @__PURE__ */ ((ProjectKind2) => {
         ProjectKind2[ProjectKind2["Inferred"] = 0] = "Inferred";
         ProjectKind2[ProjectKind2["Configured"] = 1] = "Configured";
@@ -170119,8 +170198,8 @@ ${options.prefix}` : "\n" : options.prefix
   var init_editorServices = __esm({
     "src/server/editorServices.ts"() {
       "use strict";
-      init_ts_server2();
       init_ts6();
+      init_ts_server2();
       maxProgramSizeForNonTsFiles = 20 * 1024 * 1024;
       maxFileSize = 4 * 1024 * 1024;
       ProjectsUpdatedInBackgroundEvent = "projectsUpdatedInBackground";