typescript 5.6.0-dev.20240715 → 5.6.0-dev.20240717

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240715`;
+var version = `${versionMajorMinor}.0-dev.20240717`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -2515,10 +2515,12 @@ function tryGetPerformance() {
   if (isNodeLikeSystem()) {
     try {
       const { performance: performance2 } = require("perf_hooks");
-      return {
-        shouldWriteNativeEvents: false,
-        performance: performance2
-      };
+      if (performance2) {
+        return {
+          shouldWriteNativeEvents: false,
+          performance: performance2
+        };
+      }
     } catch {
     }
   }
@@ -3416,10 +3418,12 @@ var RelationComparisonResult = /* @__PURE__ */ ((RelationComparisonResult3) => {
   RelationComparisonResult3[RelationComparisonResult3["None"] = 0] = "None";
   RelationComparisonResult3[RelationComparisonResult3["Succeeded"] = 1] = "Succeeded";
   RelationComparisonResult3[RelationComparisonResult3["Failed"] = 2] = "Failed";
-  RelationComparisonResult3[RelationComparisonResult3["Reported"] = 4] = "Reported";
   RelationComparisonResult3[RelationComparisonResult3["ReportsUnmeasurable"] = 8] = "ReportsUnmeasurable";
   RelationComparisonResult3[RelationComparisonResult3["ReportsUnreliable"] = 16] = "ReportsUnreliable";
   RelationComparisonResult3[RelationComparisonResult3["ReportsMask"] = 24] = "ReportsMask";
+  RelationComparisonResult3[RelationComparisonResult3["ComplexityOverflow"] = 32] = "ComplexityOverflow";
+  RelationComparisonResult3[RelationComparisonResult3["StackDepthOverflow"] = 64] = "StackDepthOverflow";
+  RelationComparisonResult3[RelationComparisonResult3["Overflow"] = 96] = "Overflow";
   return RelationComparisonResult3;
 })(RelationComparisonResult || {});
 var GeneratedIdentifierFlags = /* @__PURE__ */ ((GeneratedIdentifierFlags2) => {
@@ -6372,7 +6376,6 @@ var Diagnostics = {
   The_arguments_object_cannot_be_referenced_in_an_async_function_or_method_in_ES5_Consider_using_a_standard_function_or_method: diag(2522, 1 /* Error */, "The_arguments_object_cannot_be_referenced_in_an_async_function_or_method_in_ES5_Consider_using_a_sta_2522", "The 'arguments' object cannot be referenced in an async function or method in ES5. Consider using a standard function or method."),
   yield_expressions_cannot_be_used_in_a_parameter_initializer: diag(2523, 1 /* Error */, "yield_expressions_cannot_be_used_in_a_parameter_initializer_2523", "'yield' expressions cannot be used in a parameter initializer."),
   await_expressions_cannot_be_used_in_a_parameter_initializer: diag(2524, 1 /* Error */, "await_expressions_cannot_be_used_in_a_parameter_initializer_2524", "'await' expressions cannot be used in a parameter initializer."),
-  Initializer_provides_no_value_for_this_binding_element_and_the_binding_element_has_no_default_value: diag(2525, 1 /* Error */, "Initializer_provides_no_value_for_this_binding_element_and_the_binding_element_has_no_default_value_2525", "Initializer provides no value for this binding element and the binding element has no default value."),
   A_this_type_is_available_only_in_a_non_static_member_of_a_class_or_interface: diag(2526, 1 /* Error */, "A_this_type_is_available_only_in_a_non_static_member_of_a_class_or_interface_2526", "A 'this' type is available only in a non-static member of a class or interface."),
   The_inferred_type_of_0_references_an_inaccessible_1_type_A_type_annotation_is_necessary: diag(2527, 1 /* Error */, "The_inferred_type_of_0_references_an_inaccessible_1_type_A_type_annotation_is_necessary_2527", "The inferred type of '{0}' references an inaccessible '{1}' type. A type annotation is necessary."),
   A_module_cannot_have_multiple_default_exports: diag(2528, 1 /* Error */, "A_module_cannot_have_multiple_default_exports_2528", "A module cannot have multiple default exports."),
@@ -12584,6 +12587,34 @@ function createModuleNotFoundChain(sourceFile, host, moduleReference, mode, pack
   if (result) result.repopulateInfo = () => ({ moduleReference, mode, packageName: packageName === moduleReference ? void 0 : packageName });
   return result;
 }
+function createModeMismatchDetails(currentSourceFile) {
+  const ext = tryGetExtensionFromPath2(currentSourceFile.fileName);
+  const scope = currentSourceFile.packageJsonScope;
+  const targetExt = ext === ".ts" /* Ts */ ? ".mts" /* Mts */ : ext === ".js" /* Js */ ? ".mjs" /* Mjs */ : void 0;
+  const result = scope && !scope.contents.packageJsonContent.type ? targetExt ? chainDiagnosticMessages(
+    /*details*/
+    void 0,
+    Diagnostics.To_convert_this_file_to_an_ECMAScript_module_change_its_file_extension_to_0_or_add_the_field_type_Colon_module_to_1,
+    targetExt,
+    combinePaths(scope.packageDirectory, "package.json")
+  ) : chainDiagnosticMessages(
+    /*details*/
+    void 0,
+    Diagnostics.To_convert_this_file_to_an_ECMAScript_module_add_the_field_type_Colon_module_to_0,
+    combinePaths(scope.packageDirectory, "package.json")
+  ) : targetExt ? chainDiagnosticMessages(
+    /*details*/
+    void 0,
+    Diagnostics.To_convert_this_file_to_an_ECMAScript_module_change_its_file_extension_to_0_or_create_a_local_package_json_file_with_type_Colon_module,
+    targetExt
+  ) : chainDiagnosticMessages(
+    /*details*/
+    void 0,
+    Diagnostics.To_convert_this_file_to_an_ECMAScript_module_create_a_local_package_json_file_with_type_Colon_module
+  );
+  result.repopulateInfo = () => true;
+  return result;
+}
 function packageIdIsEqual(a, b) {
   return a === b || !!a && !!b && a.name === b.name && a.subModuleName === b.subModuleName && a.version === b.version && a.peerDependencies === b.peerDependencies;
 }
@@ -40132,22 +40163,16 @@ function getTemporaryModuleResolutionState(packageJsonInfoCache, host, options)
     resolvedPackageDirectory: false
   };
 }
-function getPackageScopeForPath(fileName, state) {
-  const parts = getPathComponents(fileName);
-  parts.pop();
-  while (parts.length > 0) {
-    const pkg = getPackageJsonInfo(
-      getPathFromPathComponents(parts),
+function getPackageScopeForPath(directory, state) {
+  return forEachAncestorDirectory(
+    directory,
+    (dir) => getPackageJsonInfo(
+      dir,
       /*onlyRecordFailures*/
       false,
       state
-    );
-    if (pkg) {
-      return pkg;
-    }
-    parts.pop();
-  }
-  return void 0;
+    )
+  );
 }
 function getVersionPathsOfPackageJsonInfo(packageJsonInfo, state) {
   if (packageJsonInfo.contents.versionPaths === void 0) {
@@ -40310,7 +40335,7 @@ function noKeyStartsWithDot(obj) {
 }
 function loadModuleFromSelfNameReference(extensions, moduleName, directory, state, cache, redirectedReference) {
   var _a, _b;
-  const directoryPath = getNormalizedAbsolutePath(combinePaths(directory, "dummy"), (_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a));
+  const directoryPath = getNormalizedAbsolutePath(directory, (_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a));
   const scope = getPackageScopeForPath(directoryPath, state);
   if (!scope || !scope.contents.packageJsonContent.exports) {
     return void 0;
@@ -40406,7 +40431,7 @@ function loadModuleFromImports(extensions, moduleName, directory, state, cache,
       void 0
     );
   }
-  const directoryPath = getNormalizedAbsolutePath(combinePaths(directory, "dummy"), (_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a));
+  const directoryPath = getNormalizedAbsolutePath(directory, (_b = (_a = state.host).getCurrentDirectory) == null ? void 0 : _b.call(_a));
   const scope = getPackageScopeForPath(directoryPath, state);
   if (!scope) {
     if (state.traceEnabled) {
@@ -44517,7 +44542,7 @@ function getAllModulePathsWorker(info, importedFileName, host, compilerOptions,
   if (cache && links && host.readFile && !pathContainsNodeModules(info.importingSourceFileName)) {
     Debug.type(host);
     const state = getTemporaryModuleResolutionState(cache.getPackageJsonInfoCache(), host, {});
-    const packageJson = getPackageScopeForPath(info.importingSourceFileName, state);
+    const packageJson = getPackageScopeForPath(getDirectoryPath(info.importingSourceFileName), state);
     if (packageJson) {
       const toResolve = getAllRuntimeDependencies(packageJson.contents.packageJsonContent);
       for (const depName of toResolve || emptyArray) {
@@ -46131,6 +46156,7 @@ function createTypeChecker(host) {
   var contextualTypes = [];
   var contextualIsCache = [];
   var contextualTypeCount = 0;
+  var contextualBindingPatterns = [];
   var inferenceContextNodes = [];
   var inferenceContexts = [];
   var inferenceContextCount = 0;
@@ -48185,41 +48211,7 @@ function createTypeChecker(host) {
               let diagnosticDetails;
               const ext = tryGetExtensionFromPath2(currentSourceFile.fileName);
               if (ext === ".ts" /* Ts */ || ext === ".js" /* Js */ || ext === ".tsx" /* Tsx */ || ext === ".jsx" /* Jsx */) {
-                const scope = currentSourceFile.packageJsonScope;
-                const targetExt = ext === ".ts" /* Ts */ ? ".mts" /* Mts */ : ext === ".js" /* Js */ ? ".mjs" /* Mjs */ : void 0;
-                if (scope && !scope.contents.packageJsonContent.type) {
-                  if (targetExt) {
-                    diagnosticDetails = chainDiagnosticMessages(
-                      /*details*/
-                      void 0,
-                      Diagnostics.To_convert_this_file_to_an_ECMAScript_module_change_its_file_extension_to_0_or_add_the_field_type_Colon_module_to_1,
-                      targetExt,
-                      combinePaths(scope.packageDirectory, "package.json")
-                    );
-                  } else {
-                    diagnosticDetails = chainDiagnosticMessages(
-                      /*details*/
-                      void 0,
-                      Diagnostics.To_convert_this_file_to_an_ECMAScript_module_add_the_field_type_Colon_module_to_0,
-                      combinePaths(scope.packageDirectory, "package.json")
-                    );
-                  }
-                } else {
-                  if (targetExt) {
-                    diagnosticDetails = chainDiagnosticMessages(
-                      /*details*/
-                      void 0,
-                      Diagnostics.To_convert_this_file_to_an_ECMAScript_module_change_its_file_extension_to_0_or_create_a_local_package_json_file_with_type_Colon_module,
-                      targetExt
-                    );
-                  } else {
-                    diagnosticDetails = chainDiagnosticMessages(
-                      /*details*/
-                      void 0,
-                      Diagnostics.To_convert_this_file_to_an_ECMAScript_module_create_a_local_package_json_file_with_type_Colon_module
-                    );
-                  }
-                }
+                diagnosticDetails = createModeMismatchDetails(currentSourceFile);
               }
               diagnostics.add(createDiagnosticForNodeFromMessageChain(
                 getSourceFileOfNode(errorNode),
@@ -52079,7 +52071,7 @@ function createTypeChecker(host) {
           if (result) {
             if (result.pos !== -1 || result.end !== -1) {
               if (result === nodes) {
-                result = factory.createNodeArray(nodes, nodes.hasTrailingComma);
+                result = factory.createNodeArray(nodes.slice(), nodes.hasTrailingComma);
               }
               setTextRangePosEnd(result, -1, -1);
             }
@@ -54155,6 +54147,7 @@ function createTypeChecker(host) {
     } else if (strictNullChecks && pattern.parent.initializer && !hasTypeFacts(getTypeOfInitializer(pattern.parent.initializer), 65536 /* EQUndefined */)) {
       parentType = getTypeWithFacts(parentType, 524288 /* NEUndefined */);
     }
+    const accessFlags = 32 /* ExpressionPosition */ | (noTupleBoundsCheck || hasDefaultValue(declaration) ? 16 /* AllowMissing */ : 0);
     let type;
     if (pattern.kind === 206 /* ObjectBindingPattern */) {
       if (declaration.dotDotDotToken) {
@@ -54173,7 +54166,7 @@ function createTypeChecker(host) {
       } else {
         const name = declaration.propertyName || declaration.name;
         const indexType = getLiteralTypeFromPropertyName(name);
-        const declaredType = getIndexedAccessType(parentType, indexType, 32 /* ExpressionPosition */, name);
+        const declaredType = getIndexedAccessType(parentType, indexType, accessFlags, name);
         type = getFlowTypeOfDestructuring(declaration, declaredType);
       }
     } else {
@@ -54184,7 +54177,6 @@ function createTypeChecker(host) {
         type = everyType(baseConstraint, isTupleType) ? mapType(baseConstraint, (t) => sliceTupleType(t, index)) : createArrayType(elementType);
       } else if (isArrayLikeType(parentType)) {
         const indexType = getNumberLiteralType(index);
-        const accessFlags = 32 /* ExpressionPosition */ | (noTupleBoundsCheck || hasDefaultValue(declaration) ? 16 /* NoTupleBoundsCheck */ : 0);
         const declaredType = getIndexedAccessTypeOrUndefined(parentType, indexType, accessFlags, declaration.name) || errorType;
         type = getFlowTypeOfDestructuring(declaration, declaredType);
       } else {
@@ -54670,7 +54662,7 @@ function createTypeChecker(host) {
         /*reportErrors*/
         false
       ) : unknownType;
-      return addOptionality(widenTypeInferredFromInitializer(element, checkDeclarationInitializer(element, reportErrors2 ? 0 /* Normal */ : 1 /* Contextual */, contextualType)));
+      return addOptionality(widenTypeInferredFromInitializer(element, checkDeclarationInitializer(element, 0 /* Normal */, contextualType)));
     }
     if (isBindingPattern(element.name)) {
       return getTypeFromBindingPattern(element.name, includePatternInType, reportErrors2);
@@ -54741,7 +54733,10 @@ function createTypeChecker(host) {
     return result;
   }
   function getTypeFromBindingPattern(pattern, includePatternInType = false, reportErrors2 = false) {
-    return pattern.kind === 206 /* ObjectBindingPattern */ ? getTypeFromObjectBindingPattern(pattern, includePatternInType, reportErrors2) : getTypeFromArrayBindingPattern(pattern, includePatternInType, reportErrors2);
+    if (includePatternInType) contextualBindingPatterns.push(pattern);
+    const result = pattern.kind === 206 /* ObjectBindingPattern */ ? getTypeFromObjectBindingPattern(pattern, includePatternInType, reportErrors2) : getTypeFromArrayBindingPattern(pattern, includePatternInType, reportErrors2);
+    if (includePatternInType) contextualBindingPatterns.pop();
+    return result;
   }
   function getWidenedTypeForVariableLikeDeclaration(declaration, reportErrors2) {
     return widenTypeForVariableLikeDeclaration(getTypeForVariableLikeDeclaration(
@@ -54822,18 +54817,18 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function getTypeOfVariableOrParameterOrProperty(symbol, checkMode) {
+  function getTypeOfVariableOrParameterOrProperty(symbol) {
     const links = getSymbolLinks(symbol);
     if (!links.type) {
-      const type = getTypeOfVariableOrParameterOrPropertyWorker(symbol, checkMode);
-      if (!links.type && !isParameterOfContextSensitiveSignature(symbol) && !checkMode) {
+      const type = getTypeOfVariableOrParameterOrPropertyWorker(symbol);
+      if (!links.type && !isParameterOfContextSensitiveSignature(symbol)) {
         links.type = type;
       }
       return type;
     }
     return links.type;
   }
-  function getTypeOfVariableOrParameterOrPropertyWorker(symbol, checkMode) {
+  function getTypeOfVariableOrParameterOrPropertyWorker(symbol) {
     if (symbol.flags & 4194304 /* Prototype */) {
       return getTypeOfPrototypeProperty(symbol);
     }
@@ -54868,9 +54863,6 @@ function createTypeChecker(host) {
       if (symbol.flags & 512 /* ValueModule */ && !(symbol.flags & 67108864 /* Assignment */)) {
         return getTypeOfFuncClassEnumModule(symbol);
       }
-      if (isBindingElement(declaration) && checkMode === 1 /* Contextual */) {
-        return errorType;
-      }
       return reportCircularityError(symbol);
     }
     let type;
@@ -54908,9 +54900,6 @@ function createTypeChecker(host) {
       if (symbol.flags & 512 /* ValueModule */ && !(symbol.flags & 67108864 /* Assignment */)) {
         return getTypeOfFuncClassEnumModule(symbol);
       }
-      if (isBindingElement(declaration) && checkMode === 1 /* Contextual */) {
-        return type;
-      }
       return reportCircularityError(symbol);
     }
     return type;
@@ -55139,7 +55128,7 @@ function createTypeChecker(host) {
     }
     return getTypeOfSymbol(symbol);
   }
-  function getTypeOfSymbol(symbol, checkMode) {
+  function getTypeOfSymbol(symbol) {
     const checkFlags = getCheckFlags(symbol);
     if (checkFlags & 65536 /* DeferredType */) {
       return getTypeOfSymbolWithDeferredType(symbol);
@@ -55154,7 +55143,7 @@ function createTypeChecker(host) {
       return getTypeOfReverseMappedSymbol(symbol);
     }
     if (symbol.flags & (3 /* Variable */ | 4 /* Property */)) {
-      return getTypeOfVariableOrParameterOrProperty(symbol, checkMode);
+      return getTypeOfVariableOrParameterOrProperty(symbol);
     }
     if (symbol.flags & (16 /* Function */ | 8192 /* Method */ | 32 /* Class */ | 384 /* Enum */ | 512 /* ValueModule */)) {
       return getTypeOfFuncClassEnumModule(symbol);
@@ -58301,14 +58290,14 @@ function createTypeChecker(host) {
     var _a, _b;
     if (!type.resolvedTypeArguments) {
       if (!pushTypeResolution(type, 5 /* ResolvedTypeArguments */)) {
-        return ((_a = type.target.localTypeParameters) == null ? void 0 : _a.map(() => errorType)) || emptyArray;
+        return concatenate(type.target.outerTypeParameters, (_a = type.target.localTypeParameters) == null ? void 0 : _a.map(() => errorType)) || emptyArray;
       }
       const node = type.node;
       const typeArguments = !node ? emptyArray : node.kind === 183 /* TypeReference */ ? concatenate(type.target.outerTypeParameters, getEffectiveTypeArguments(node, type.target.localTypeParameters)) : node.kind === 188 /* ArrayType */ ? [getTypeFromTypeNode(node.elementType)] : map(node.elements, getTypeFromTypeNode);
       if (popTypeResolution()) {
         type.resolvedTypeArguments ?? (type.resolvedTypeArguments = type.mapper ? instantiateTypes(typeArguments, type.mapper) : typeArguments);
       } else {
-        type.resolvedTypeArguments ?? (type.resolvedTypeArguments = ((_b = type.target.localTypeParameters) == null ? void 0 : _b.map(() => errorType)) || emptyArray);
+        type.resolvedTypeArguments ?? (type.resolvedTypeArguments = concatenate(type.target.outerTypeParameters, ((_b = type.target.localTypeParameters) == null ? void 0 : _b.map(() => errorType)) || emptyArray));
         error(
           type.node || currentNode,
           type.target.symbol ? Diagnostics.Type_arguments_for_0_circularly_reference_themselves : Diagnostics.Tuple_type_arguments_circularly_reference_themselves,
@@ -60304,7 +60293,7 @@ function createTypeChecker(host) {
       }
       if (everyType(objectType, isTupleType) && isNumericLiteralName(propName)) {
         const index = +propName;
-        if (accessNode && everyType(objectType, (t) => !(t.target.combinedFlags & 12 /* Variable */)) && !(accessFlags & 16 /* NoTupleBoundsCheck */)) {
+        if (accessNode && everyType(objectType, (t) => !(t.target.combinedFlags & 12 /* Variable */)) && !(accessFlags & 16 /* AllowMissing */)) {
           const indexNode = getIndexNodeForAccessExpression(accessNode);
           if (isTupleType(objectType)) {
             if (index < 0) {
@@ -60443,6 +60432,9 @@ function createTypeChecker(host) {
         return void 0;
       }
     }
+    if (accessFlags & 16 /* AllowMissing */ && isObjectLiteralType(objectType)) {
+      return undefinedType;
+    }
     if (isJSLiteralType(objectType)) {
       return anyType;
     }
@@ -62714,7 +62706,7 @@ function createTypeChecker(host) {
     }
     const id = getSymbolId(sourceSymbol) + "," + getSymbolId(targetSymbol);
     const entry = enumRelation.get(id);
-    if (entry !== void 0 && !(!(entry & 4 /* Reported */) && entry & 2 /* Failed */ && errorReporter)) {
+    if (entry !== void 0 && !(entry & 2 /* Failed */ && errorReporter)) {
       return !!(entry & 1 /* Succeeded */);
     }
     const targetEnumType = getTypeOfSymbol(targetSymbol);
@@ -62729,10 +62721,8 @@ function createTypeChecker(host) {
               void 0,
               64 /* UseFullyQualifiedType */
             ));
-            enumRelation.set(id, 2 /* Failed */ | 4 /* Reported */);
-          } else {
-            enumRelation.set(id, 2 /* Failed */);
           }
+          enumRelation.set(id, 2 /* Failed */);
           return false;
         }
         const sourceValue = getEnumMemberValue(getDeclarationOfKind(sourceProperty, 306 /* EnumMember */)).value;
@@ -62741,26 +62731,22 @@ function createTypeChecker(host) {
           const sourceIsString = typeof sourceValue === "string";
           const targetIsString = typeof targetValue === "string";
           if (sourceValue !== void 0 && targetValue !== void 0) {
-            if (!errorReporter) {
-              enumRelation.set(id, 2 /* Failed */);
-            } else {
+            if (errorReporter) {
               const escapedSource = sourceIsString ? `"${escapeString(sourceValue)}"` : sourceValue;
               const escapedTarget = targetIsString ? `"${escapeString(targetValue)}"` : targetValue;
               errorReporter(Diagnostics.Each_declaration_of_0_1_differs_in_its_value_where_2_was_expected_but_3_was_given, symbolName(targetSymbol), symbolName(targetProperty), escapedTarget, escapedSource);
-              enumRelation.set(id, 2 /* Failed */ | 4 /* Reported */);
             }
+            enumRelation.set(id, 2 /* Failed */);
             return false;
           }
           if (sourceIsString || targetIsString) {
-            if (!errorReporter) {
-              enumRelation.set(id, 2 /* Failed */);
-            } else {
+            if (errorReporter) {
               const knownStringValue = sourceValue ?? targetValue;
               Debug.assert(typeof knownStringValue === "string");
               const escapedValue = `"${escapeString(knownStringValue)}"`;
               errorReporter(Diagnostics.One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value, symbolName(targetSymbol), symbolName(targetProperty), escapedValue);
-              enumRelation.set(id, 2 /* Failed */ | 4 /* Reported */);
             }
+            enumRelation.set(id, 2 /* Failed */);
             return false;
           }
         }
@@ -62918,7 +62904,7 @@ function createTypeChecker(host) {
         /*ignoreConstraints*/
         false
       );
-      relation.set(id, 4 /* Reported */ | 2 /* Failed */);
+      relation.set(id, 2 /* Failed */ | (relationCount <= 0 ? 32 /* ComplexityOverflow */ : 64 /* StackDepthOverflow */));
       (_a = tracing) == null ? void 0 : _a.instant(tracing.Phase.CheckTypes, "checkTypeRelatedTo_DepthLimit", { sourceId: source.id, targetId: target.id, depth: sourceDepth, targetDepth });
       const message = relationCount <= 0 ? Diagnostics.Excessive_complexity_comparing_types_0_and_1 : Diagnostics.Excessive_stack_depth_comparing_types_0_and_1;
       const diag2 = error(errorNode || currentNode, message, typeToString(source), typeToString(target));
@@ -63771,7 +63757,7 @@ function createTypeChecker(host) {
       );
       const entry = relation.get(id);
       if (entry !== void 0) {
-        if (reportErrors2 && entry & 2 /* Failed */ && !(entry & 4 /* Reported */)) {
+        if (reportErrors2 && entry & 2 /* Failed */ && !(entry & 96 /* Overflow */)) {
         } else {
           if (outofbandVarianceMarkerHandler) {
             const saved = entry & 24 /* ReportsMask */;
@@ -63782,6 +63768,11 @@ function createTypeChecker(host) {
               instantiateType(source2, reportUnreliableMapper);
             }
           }
+          if (reportErrors2 && entry & 96 /* Overflow */) {
+            const message = entry & 32 /* ComplexityOverflow */ ? Diagnostics.Excessive_complexity_comparing_types_0_and_1 : Diagnostics.Excessive_stack_depth_comparing_types_0_and_1;
+            reportError(message, typeToString(source2), typeToString(target2));
+            overrideNextErrorInfo++;
+          }
           return entry & 1 /* Succeeded */ ? -1 /* True */ : 0 /* False */;
         }
       }
@@ -63879,7 +63870,7 @@ function createTypeChecker(host) {
           }
         }
       } else {
-        relation.set(id, (reportErrors2 ? 4 /* Reported */ : 0) | 2 /* Failed */ | propagatingVarianceFlags);
+        relation.set(id, 2 /* Failed */ | propagatingVarianceFlags);
         relationCount--;
         resetMaybeStack(
           /*markAllAsSucceeded*/
@@ -69915,9 +69906,9 @@ function createTypeChecker(host) {
       );
     }
   }
-  function getNarrowedTypeOfSymbol(symbol, location, checkMode) {
+  function getNarrowedTypeOfSymbol(symbol, location) {
     var _a;
-    const type = getTypeOfSymbol(symbol, checkMode);
+    const type = getTypeOfSymbol(symbol);
     const declaration = symbol.valueDeclaration;
     if (declaration) {
       if (isBindingElement(declaration) && !declaration.initializer && !declaration.dotDotDotToken && declaration.parent.elements.length >= 2) {
@@ -70056,7 +70047,10 @@ function createTypeChecker(host) {
     }
     const localOrExportSymbol = getExportSymbolOfValueSymbolIfExported(symbol);
     let declaration = localOrExportSymbol.valueDeclaration;
-    let type = getNarrowedTypeOfSymbol(localOrExportSymbol, node, checkMode);
+    if (declaration && declaration.kind === 208 /* BindingElement */ && contains(contextualBindingPatterns, declaration.parent) && findAncestor(node, (parent) => parent === declaration.parent)) {
+      return nonInferrableAnyType;
+    }
+    let type = getNarrowedTypeOfSymbol(localOrExportSymbol, node);
     const assignmentKind = getAssignmentTargetKind(node);
     if (assignmentKind) {
       if (!(localOrExportSymbol.flags & 3 /* Variable */) && !(isInJSFile(node) && localOrExportSymbol.flags & 512 /* ValueModule */)) {
@@ -71749,7 +71743,7 @@ function createTypeChecker(host) {
     return node.isSpread ? getIndexedAccessType(node.type, numberType) : node.type;
   }
   function hasDefaultValue(node) {
-    return node.kind === 208 /* BindingElement */ && !!node.initializer || node.kind === 226 /* BinaryExpression */ && node.operatorToken.kind === 64 /* EqualsToken */;
+    return node.kind === 208 /* BindingElement */ && !!node.initializer || node.kind === 303 /* PropertyAssignment */ && hasDefaultValue(node.initializer) || node.kind === 304 /* ShorthandPropertyAssignment */ && !!node.objectAssignmentInitializer || node.kind === 226 /* BinaryExpression */ && node.operatorToken.kind === 64 /* EqualsToken */;
   }
   function isSpreadIntoCallOrNew(node) {
     const parent = walkUpParenthesizedExpressions(node.parent);
@@ -71918,7 +71912,6 @@ function createTypeChecker(host) {
     return links.immediateTarget;
   }
   function checkObjectLiteral(node, checkMode = 0 /* Normal */) {
-    var _a;
     const inDestructuringPattern = isAssignmentTarget(node);
     checkGrammarObjectLiteralExpression(node, inDestructuringPattern);
     const allPropertiesTable = strictNullChecks ? createSymbolTable() : void 0;
@@ -71973,11 +71966,8 @@ function createTypeChecker(host) {
         if (nameType) {
           prop.links.nameType = nameType;
         }
-        if (inDestructuringPattern) {
-          const isOptional = memberDecl.kind === 303 /* PropertyAssignment */ && hasDefaultValue(memberDecl.initializer) || memberDecl.kind === 304 /* ShorthandPropertyAssignment */ && memberDecl.objectAssignmentInitializer;
-          if (isOptional) {
-            prop.flags |= 16777216 /* Optional */;
-          }
+        if (inDestructuringPattern && hasDefaultValue(memberDecl)) {
+          prop.flags |= 16777216 /* Optional */;
         } else if (contextualTypeHasPattern && !(getObjectFlags(contextualType) & 512 /* ObjectLiteralPatternWithComputedProperties */)) {
           const impliedProp = getPropertyOfType(contextualType, member.escapedName);
           if (impliedProp) {
@@ -72052,21 +72042,6 @@ function createTypeChecker(host) {
       propertiesArray.push(member);
     }
     popContextualType();
-    if (contextualTypeHasPattern) {
-      const rootPatternParent = findAncestor(contextualType.pattern.parent, (n) => n.kind === 260 /* VariableDeclaration */ || n.kind === 226 /* BinaryExpression */ || n.kind === 169 /* Parameter */);
-      const spreadOrOutsideRootObject = findAncestor(node, (n) => n === rootPatternParent || n.kind === 305 /* SpreadAssignment */);
-      if (spreadOrOutsideRootObject.kind !== 305 /* SpreadAssignment */) {
-        for (const prop of getPropertiesOfType(contextualType)) {
-          if (!propertiesTable.get(prop.escapedName) && !getPropertyOfType(spread, prop.escapedName)) {
-            if (!(prop.flags & 16777216 /* Optional */)) {
-              error(prop.valueDeclaration || ((_a = tryCast(prop, isTransientSymbol)) == null ? void 0 : _a.links.bindingElement), Diagnostics.Initializer_provides_no_value_for_this_binding_element_and_the_binding_element_has_no_default_value);
-            }
-            propertiesTable.set(prop.escapedName, prop);
-            propertiesArray.push(prop);
-          }
-        }
-      }
-    }
     if (isErrorType(spread)) {
       return errorType;
     }
@@ -72589,7 +72564,7 @@ function createTypeChecker(host) {
       checkGrammarJsxElement(node);
     }
     checkJsxPreconditions(node);
-    markLinkedReferences(node, 4 /* Jsx */);
+    markJsxAliasReferenced(node);
     if (isNodeOpeningLikeElement) {
       const jsxOpeningLikeNode = node;
       const sig = getResolvedSignature(jsxOpeningLikeNode);
@@ -77344,7 +77319,7 @@ function createTypeChecker(host) {
           );
         }
       }
-      const elementType = getIndexedAccessType(objectLiteralType, exprType, 32 /* ExpressionPosition */, name);
+      const elementType = getIndexedAccessType(objectLiteralType, exprType, 32 /* ExpressionPosition */ | (hasDefaultValue(property) ? 16 /* AllowMissing */ : 0), name);
       const type = getFlowTypeOfDestructuring(property, elementType);
       return checkDestructuringAssignment(property.kind === 304 /* ShorthandPropertyAssignment */ ? property : property.initializer, type);
     } else if (property.kind === 305 /* SpreadAssignment */) {
@@ -77393,7 +77368,7 @@ function createTypeChecker(host) {
       if (element.kind !== 230 /* SpreadElement */) {
         const indexType = getNumberLiteralType(elementIndex);
         if (isArrayLikeType(sourceType)) {
-          const accessFlags = 32 /* ExpressionPosition */ | (hasDefaultValue(element) ? 16 /* NoTupleBoundsCheck */ : 0);
+          const accessFlags = 32 /* ExpressionPosition */ | (hasDefaultValue(element) ? 16 /* AllowMissing */ : 0);
           const elementType2 = getIndexedAccessTypeOrUndefined(sourceType, indexType, accessFlags, createSyntheticExpression(element, indexType)) || errorType;
           const assignedType = hasDefaultValue(element) ? getTypeWithFacts(elementType2, 524288 /* NEUndefined */) : elementType2;
           const type = getFlowTypeOfDestructuring(element, assignedType);
@@ -78232,9 +78207,56 @@ function createTypeChecker(host) {
       void 0,
       checkMode || 0 /* Normal */
     ) : checkExpressionCached(initializer, checkMode));
-    return isParameter(declaration) && declaration.name.kind === 207 /* ArrayBindingPattern */ && isTupleType(type) && !(type.target.combinedFlags & 12 /* Variable */) && getTypeReferenceArity(type) < declaration.name.elements.length ? padTupleType(type, declaration.name) : type;
+    if (isParameter(isBindingElement(declaration) ? walkUpBindingElementsAndPatterns(declaration) : declaration)) {
+      if (declaration.name.kind === 206 /* ObjectBindingPattern */ && isObjectLiteralType(type)) {
+        return padObjectLiteralType(type, declaration.name);
+      }
+      if (declaration.name.kind === 207 /* ArrayBindingPattern */ && isTupleType(type)) {
+        return padTupleType(type, declaration.name);
+      }
+    }
+    return type;
+  }
+  function padObjectLiteralType(type, pattern) {
+    let missingElements;
+    for (const e of pattern.elements) {
+      if (e.initializer) {
+        const name = getPropertyNameFromBindingElement(e);
+        if (name && !getPropertyOfType(type, name)) {
+          missingElements = append(missingElements, e);
+        }
+      }
+    }
+    if (!missingElements) {
+      return type;
+    }
+    const members = createSymbolTable();
+    for (const prop of getPropertiesOfObjectType(type)) {
+      members.set(prop.escapedName, prop);
+    }
+    for (const e of missingElements) {
+      const symbol = createSymbol(4 /* Property */ | 16777216 /* Optional */, getPropertyNameFromBindingElement(e));
+      symbol.links.type = getTypeFromBindingElement(
+        e,
+        /*includePatternInType*/
+        false,
+        /*reportErrors*/
+        false
+      );
+      members.set(symbol.escapedName, symbol);
+    }
+    const result = createAnonymousType(type.symbol, members, emptyArray, emptyArray, getIndexInfosOfType(type));
+    result.objectFlags = type.objectFlags;
+    return result;
+  }
+  function getPropertyNameFromBindingElement(e) {
+    const exprType = getLiteralTypeFromPropertyName(e.propertyName || e.name);
+    return isTypeUsableAsPropertyName(exprType) ? getPropertyNameFromType(exprType) : void 0;
   }
   function padTupleType(type, pattern) {
+    if (type.target.combinedFlags & 12 /* Variable */ || getTypeReferenceArity(type) >= pattern.elements.length) {
+      return type;
+    }
     const patternElements = pattern.elements;
     const elementTypes = getElementTypes(type).slice();
     const elementFlags = type.target.elementFlags.slice();
@@ -85391,15 +85413,14 @@ function createTypeChecker(host) {
     function checkChildIdentifiers(node2) {
       forEachNodeRecursively(node2, checkIdentifiers);
     }
+    function isExpressionNodeOrShorthandPropertyAssignmentName(node2) {
+      return isExpressionNode(node2) || isShorthandPropertyAssignment(node2.parent) && (node2.parent.objectAssignmentInitializer ?? node2.parent.name) === node2;
+    }
     function checkSingleIdentifier(node2) {
       const nodeLinks2 = getNodeLinks(node2);
       nodeLinks2.calculatedFlags |= 536870912 /* ConstructorReference */ | 16384 /* CapturedBlockScopedBinding */ | 32768 /* BlockScopedBindingInLoop */;
-      if (isIdentifier(node2) && isExpressionNode(node2) && !(isPropertyAccessExpression(node2.parent) && node2.parent.name === node2)) {
-        const s = getSymbolAtLocation(
-          node2,
-          /*ignoreErrors*/
-          true
-        );
+      if (isIdentifier(node2) && isExpressionNodeOrShorthandPropertyAssignmentName(node2) && !(isPropertyAccessExpression(node2.parent) && node2.parent.name === node2)) {
+        const s = getResolvedSymbol(node2);
         if (s && s !== unknownSymbol) {
           checkIdentifierCalculateNodeCheckFlags(node2, s);
         }
@@ -119129,7 +119150,7 @@ function getImpliedNodeFormatForFileWorker(fileName, packageJsonInfoCache, host,
     const packageJsonLocations = [];
     state.failedLookupLocations = packageJsonLocations;
     state.affectingLocations = packageJsonLocations;
-    const packageJsonScope = getPackageScopeForPath(fileName, state);
+    const packageJsonScope = getPackageScopeForPath(getDirectoryPath(fileName), state);
     const impliedNodeFormat = (packageJsonScope == null ? void 0 : packageJsonScope.contents.packageJsonContent.type) === "module" ? 99 /* ESNext */ : 1 /* CommonJS */;
     return { impliedNodeFormat, packageJsonLocations, packageJsonScope };
   }
@@ -123044,7 +123065,12 @@ function repopulateDiagnostics(diagnostics, newProgram) {
 }
 function convertOrRepopulateDiagnosticMessageChain(chain, sourceFile, newProgram, repopulateInfo) {
   const info = repopulateInfo(chain);
-  if (info) {
+  if (info === true) {
+    return {
+      ...createModeMismatchDetails(sourceFile),
+      next: convertOrRepopulateDiagnosticMessageChainArray(chain.next, sourceFile, newProgram, repopulateInfo)
+    };
+  } else if (info) {
     return {
       ...createModuleNotFoundChain(sourceFile, newProgram, info.moduleReference, info.mode, info.packageName || info.moduleReference),
       next: convertOrRepopulateDiagnosticMessageChainArray(chain.next, sourceFile, newProgram, repopulateInfo)
@@ -124775,7 +124801,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       cleanupLibResolutionWatching(newProgram);
       newProgram == null ? void 0 : newProgram.getSourceFiles().forEach((newFile) => {
         var _a;
-        const expected = isExternalOrCommonJsModule(newFile) ? ((_a = newFile.packageJsonLocations) == null ? void 0 : _a.length) ?? 0 : 0;
+        const expected = ((_a = newFile.packageJsonLocations) == null ? void 0 : _a.length) ?? 0;
         const existing = impliedFormatPackageJsons.get(newFile.resolvedPath) ?? emptyArray;
         for (let i = existing.length; i < expected; i++) {
           createFileWatcherOfAffectingLocation(