@typescript-deploys/pr-build 5.0.0-pr-52059-5 → 5.0.0-pr-52617-10

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230201`;
+var version = `${versionMajorMinor}.0-insiders.20230205`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6572,7 +6572,6 @@ var Diagnostics = {
   Cannot_find_type_definition_file_for_0: diag(2688, 1 /* Error */, "Cannot_find_type_definition_file_for_0_2688", "Cannot find type definition file for '{0}'."),
   Cannot_extend_an_interface_0_Did_you_mean_implements: diag(2689, 1 /* Error */, "Cannot_extend_an_interface_0_Did_you_mean_implements_2689", "Cannot extend an interface '{0}'. Did you mean 'implements'?"),
   _0_only_refers_to_a_type_but_is_being_used_as_a_value_here_Did_you_mean_to_use_1_in_0: diag(2690, 1 /* Error */, "_0_only_refers_to_a_type_but_is_being_used_as_a_value_here_Did_you_mean_to_use_1_in_0_2690", "'{0}' only refers to a type, but is being used as a value here. Did you mean to use '{1} in {0}'?"),
-  An_import_path_cannot_end_with_a_0_extension_Consider_importing_1_instead: diag(2691, 1 /* Error */, "An_import_path_cannot_end_with_a_0_extension_Consider_importing_1_instead_2691", "An import path cannot end with a '{0}' extension. Consider importing '{1}' instead."),
   _0_is_a_primitive_but_1_is_a_wrapper_object_Prefer_using_0_when_possible: diag(2692, 1 /* Error */, "_0_is_a_primitive_but_1_is_a_wrapper_object_Prefer_using_0_when_possible_2692", "'{0}' is a primitive, but '{1}' is a wrapper object. Prefer using '{0}' when possible."),
   _0_only_refers_to_a_type_but_is_being_used_as_a_value_here: diag(2693, 1 /* Error */, "_0_only_refers_to_a_type_but_is_being_used_as_a_value_here_2693", "'{0}' only refers to a type, but is being used as a value here."),
   Namespace_0_has_no_exported_member_1: diag(2694, 1 /* Error */, "Namespace_0_has_no_exported_member_1_2694", "Namespace '{0}' has no exported member '{1}'."),
@@ -10711,6 +10710,9 @@ function isFunctionLikeOrClassStaticBlockDeclaration(node) {
 function isFunctionLikeDeclaration(node) {
   return node && isFunctionLikeDeclarationKind(node.kind);
 }
+function isBooleanLiteral(node) {
+  return node.kind === 110 /* TrueKeyword */ || node.kind === 95 /* FalseKeyword */;
+}
 function isFunctionLikeDeclarationKind(kind) {
   switch (kind) {
     case 259 /* FunctionDeclaration */:
@@ -35952,6 +35954,22 @@ function resolvedTypeScriptOnly(resolved) {
   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);
@@ -36112,6 +36130,15 @@ function arePathsEqual(path1, path2, host) {
   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);
@@ -36183,13 +36210,13 @@ function resolveTypeReferenceDirective(typeReferenceDirectiveName, containingFil
   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)
     };
@@ -37047,13 +37074,14 @@ function nodeModuleNameResolverWorker(features, moduleName, containingDirectory,
       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) {
@@ -37083,16 +37111,7 @@ function nodeModuleNameResolverWorker(features, moduleName, containingDirectory,
         }
         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(
@@ -38147,13 +38166,14 @@ function classicNameResolver(moduleName, containingFile, compilerOptions, host,
     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);
@@ -42479,6 +42499,7 @@ function createTypeChecker(host) {
     isArrayType,
     isTupleType,
     isArrayLikeType,
+    isEmptyAnonymousObjectType,
     isTypeInvalidDueToUnionDiscriminant,
     getExactOptionalProperties,
     getAllPossiblePropertiesOfTypes,
@@ -44301,7 +44322,12 @@ function createTypeChecker(host) {
   }
   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,
@@ -45336,12 +45362,9 @@ function createTypeChecker(host) {
       if (resolutionDiagnostic) {
         error(errorNode, resolutionDiagnostic, moduleReference, resolvedModule.resolvedFileName);
       } else {
-        const tsExtension = tryExtractTSExtension(moduleReference);
         const isExtensionlessRelativePathImport = pathIsRelative(moduleReference) && !hasExtension(moduleReference);
         const resolutionIsNode16OrNext = moduleResolutionKind === 3 /* Node16 */ || moduleResolutionKind === 99 /* NodeNext */;
-        if (tsExtension) {
-          errorOnTSExtensionImport(tsExtension);
-        } else if (!getResolveJsonModule(compilerOptions) && fileExtensionIs(moduleReference, ".json" /* Json */) && moduleResolutionKind !== 1 /* Classic */ && hasJsonModuleEmitEnabled(compilerOptions)) {
+        if (!getResolveJsonModule(compilerOptions) && fileExtensionIs(moduleReference, ".json" /* Json */) && moduleResolutionKind !== 1 /* Classic */ && hasJsonModuleEmitEnabled(compilerOptions)) {
           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));
@@ -45361,10 +45384,6 @@ function createTypeChecker(host) {
       }
     }
     return void 0;
-    function errorOnTSExtensionImport(tsExtension) {
-      const diag2 = Diagnostics.An_import_path_cannot_end_with_a_0_extension_Consider_importing_1_instead;
-      error(errorNode, diag2, tsExtension, getSuggestedImportSource(tsExtension));
-    }
     function getSuggestedImportSource(tsExtension) {
       const importSourceWithoutExtension = removeExtension(moduleReference, tsExtension);
       if (emitModuleKindIsNonNodeESM(moduleKind) || mode === 99 /* ESNext */) {
@@ -53716,7 +53735,7 @@ function createTypeChecker(host) {
             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));
@@ -53828,6 +53847,12 @@ function createTypeChecker(host) {
     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);
     }
@@ -54356,7 +54381,7 @@ function createTypeChecker(host) {
     return links.resolvedJSDocType;
   }
   function getSubstitutionType(baseType, constraint) {
-    if (constraint.flags & 3 /* AnyOrUnknown */ || constraint === baseType) {
+    if (constraint.flags & 3 /* AnyOrUnknown */ || constraint === baseType || baseType.flags & 1 /* Any */) {
       return baseType;
     }
     const id = `${getTypeId(baseType)}>${getTypeId(constraint)}`;
@@ -55418,7 +55443,7 @@ function createTypeChecker(host) {
   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;
     }
@@ -55430,7 +55455,7 @@ function createTypeChecker(host) {
     let type = unionTypes.get(id);
     if (!type) {
       type = createType(1048576 /* Union */);
-      type.objectFlags = objectFlags | getPropagatingFlagsOfTypes(
+      type.objectFlags = precomputedObjectFlags | getPropagatingFlagsOfTypes(
         types,
         /*excludeKinds*/
         98304 /* Nullable */
@@ -56043,7 +56068,7 @@ function createTypeChecker(host) {
           }
         }
         const propType = getTypeOfSymbol(prop);
-        return accessExpression && getAssignmentTargetKind(accessExpression) !== 1 /* Definite */ ? getFlowTypeOfReference(accessExpression, propType) : propType;
+        return accessExpression && getAssignmentTargetKind(accessExpression) !== 1 /* Definite */ ? getFlowTypeOfReference(accessExpression, propType) : accessNode && isIndexedAccessTypeNode(accessNode) && containsMissingType(propType) ? getUnionType([propType, undefinedType]) : propType;
       }
       if (everyType(objectType, isTupleType) && isNumericLiteralName(propName)) {
         const index = +propName;
@@ -58548,7 +58573,6 @@ function createTypeChecker(host) {
     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,
@@ -59507,14 +59531,15 @@ function createTypeChecker(host) {
             );
           }
         }
-        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 && isObjectLiteralType(source2) && getObjectFlags(source2) & 8192 /* FreshLiteral */) {
@@ -59527,7 +59552,17 @@ function createTypeChecker(host) {
               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) {
@@ -60017,12 +60052,14 @@ function createTypeChecker(host) {
             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);
               }
@@ -60151,6 +60188,8 @@ function createTypeChecker(host) {
           /*reportErrors*/
           false,
           excludedProperties,
+          /*optionalsOnly*/
+          false,
           0 /* None */
         );
         if (result2) {
@@ -60159,7 +60198,8 @@ function createTypeChecker(host) {
             type,
             0 /* Call */,
             /*reportStructuralErrors*/
-            false
+            false,
+            0 /* None */
           );
           if (result2) {
             result2 &= signaturesRelatedTo(
@@ -60167,7 +60207,8 @@ function createTypeChecker(host) {
               type,
               1 /* Construct */,
               /*reportStructuralErrors*/
-              false
+              false,
+              0 /* None */
             );
             if (result2 && !(isTupleType(source2) && isTupleType(type))) {
               result2 &= indexSignaturesRelatedTo(
@@ -60345,7 +60386,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    function propertiesRelatedTo(source2, target2, reportErrors2, excludedProperties, intersectionState) {
+    function propertiesRelatedTo(source2, target2, reportErrors2, excludedProperties, optionalsOnly, intersectionState) {
       if (relation === identityRelation) {
         return propertiesIdenticalTo(source2, target2, excludedProperties);
       }
@@ -60481,7 +60522,7 @@ function createTypeChecker(host) {
       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);
@@ -60517,7 +60558,7 @@ function createTypeChecker(host) {
       }
       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);
@@ -60554,6 +60595,7 @@ function createTypeChecker(host) {
             /*erase*/
             true,
             reportErrors2,
+            intersectionState,
             incompatibleReporter(sourceSignatures[i], targetSignatures[i])
           );
           if (!related) {
@@ -60565,7 +60607,7 @@ function createTypeChecker(host) {
         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,
@@ -60590,6 +60632,7 @@ function createTypeChecker(host) {
                 /*erase*/
                 true,
                 shouldElaborateErrors,
+                intersectionState,
                 incompatibleReporter(s, t)
               );
               if (related) {
@@ -60642,7 +60685,7 @@ function createTypeChecker(host) {
       }
       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,
@@ -60650,9 +60693,20 @@ function createTypeChecker(host) {
         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);
@@ -60711,7 +60765,7 @@ function createTypeChecker(host) {
       }
       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 */;
           }
@@ -60720,8 +60774,16 @@ function createTypeChecker(host) {
       }
       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));
@@ -60750,7 +60812,7 @@ function createTypeChecker(host) {
     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);
@@ -61041,12 +61103,15 @@ function createTypeChecker(host) {
   }
   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) {
@@ -61268,7 +61333,8 @@ function createTypeChecker(host) {
     return !!elementType && isEmptyLiteralType(elementType);
   }
   function isTupleLikeType(type) {
-    return isTupleType(type) || !!getPropertyOfType(type, "0");
+    let lengthType;
+    return isTupleType(type) || !!getPropertyOfType(type, "0") || isArrayLikeType(type) && !!(lengthType = getTypeOfPropertyOfType(type, "length")) && everyType(lengthType, (t) => !!(t.flags & 256 /* NumberLiteral */));
   }
   function isArrayOrTupleLikeType(type) {
     return isArrayLikeType(type) || isTupleLikeType(type);
@@ -63414,7 +63480,7 @@ function createTypeChecker(host) {
       }
       return getUnionTypeFromSortedList(
         filtered,
-        type.objectFlags,
+        type.objectFlags & (32768 /* PrimitiveUnion */ | 16777216 /* ContainsIntersections */),
         /*aliasSymbol*/
         void 0,
         /*aliasTypeArguments*/
@@ -63921,7 +63987,7 @@ function createTypeChecker(host) {
         }
         return declaredType;
       }
-      if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && (isMatchingReference(reference, node.parent.parent.expression) || optionalChainContainsReference(node.parent.parent.expression, reference))) {
+      if (isVariableDeclaration(node) && node.parent.parent.kind === 246 /* ForInStatement */ && isMatchingReference(reference, node.parent.parent.expression)) {
         return getNonNullableTypeIfNeeded(finalizeEvolvingArrayType(getTypeFromFlowType(getTypeAtFlowNode(flow.antecedent))));
       }
       return void 0;
@@ -70065,7 +70131,7 @@ function createTypeChecker(host) {
     }
   }
   function checkCallExpression(node, checkMode) {
-    var _a2;
+    var _a2, _b, _c;
     checkGrammarTypeArguments(node, node.typeArguments);
     const signature = getResolvedSignature(
       node,
@@ -70082,7 +70148,7 @@ function createTypeChecker(host) {
     }
     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);
         }
@@ -70110,7 +70176,7 @@ function createTypeChecker(host) {
         /*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]);
@@ -73037,7 +73103,7 @@ function createTypeChecker(host) {
       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;
@@ -77820,7 +77886,7 @@ function createTypeChecker(host) {
             getNodeLinks(node).flags |= 2048 /* LexicalModuleMergesWithClass */;
           }
         }
-        if (compilerOptions.verbatimModuleSyntax && node.parent.kind === 308 /* SourceFile */) {
+        if (compilerOptions.verbatimModuleSyntax && node.parent.kind === 308 /* SourceFile */ && (moduleKind === 1 /* CommonJS */ || node.parent.impliedNodeFormat === 1 /* CommonJS */)) {
           const exportModifier = (_b = node.modifiers) == null ? void 0 : _b.find((m) => m.kind === 93 /* ExportKeyword */);
           if (exportModifier) {
             error(exportModifier, Diagnostics.A_top_level_export_modifier_cannot_be_used_on_value_declarations_in_a_CommonJS_module_when_verbatimModuleSyntax_is_enabled);
@@ -103891,7 +103957,7 @@ function transformDeclarations(context) {
       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,