typescript 5.6.0-dev.20240714 → 5.6.0-dev.20240716

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.20240714`;
+var version = `${versionMajorMinor}.0-dev.20240716`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -3416,10 +3416,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 +6374,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."),
@@ -46131,6 +46132,7 @@ function createTypeChecker(host) {
   var contextualTypes = [];
   var contextualIsCache = [];
   var contextualTypeCount = 0;
+  var contextualBindingPatterns = [];
   var inferenceContextNodes = [];
   var inferenceContexts = [];
   var inferenceContextCount = 0;
@@ -54155,6 +54157,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 +54176,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 +54187,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 +54672,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 +54743,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 +54827,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 +54873,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 +54910,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 +55138,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 +55153,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 +58300,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 +60303,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 +60442,9 @@ function createTypeChecker(host) {
         return void 0;
       }
     }
+    if (accessFlags & 16 /* AllowMissing */ && isObjectLiteralType(objectType)) {
+      return undefinedType;
+    }
     if (isJSLiteralType(objectType)) {
       return anyType;
     }
@@ -62714,7 +62716,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 +62731,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 +62741,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 +62914,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 +63767,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 +63778,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 +63880,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 +69916,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 +70057,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 +71753,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 +71922,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 +71976,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 +72052,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;
     }
@@ -77344,7 +77329,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 +77378,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 +78217,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();

package/lib/typescript.js

@@ -2251,7 +2251,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240714`;
+var version = `${versionMajorMinor}.0-dev.20240716`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -5978,10 +5978,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) => {
@@ -6526,7 +6528,7 @@ var AccessFlags = /* @__PURE__ */ ((AccessFlags2) => {
   AccessFlags2[AccessFlags2["NoIndexSignatures"] = 2] = "NoIndexSignatures";
   AccessFlags2[AccessFlags2["Writing"] = 4] = "Writing";
   AccessFlags2[AccessFlags2["CacheSymbol"] = 8] = "CacheSymbol";
-  AccessFlags2[AccessFlags2["NoTupleBoundsCheck"] = 16] = "NoTupleBoundsCheck";
+  AccessFlags2[AccessFlags2["AllowMissing"] = 16] = "AllowMissing";
   AccessFlags2[AccessFlags2["ExpressionPosition"] = 32] = "ExpressionPosition";
   AccessFlags2[AccessFlags2["ReportDeprecated"] = 64] = "ReportDeprecated";
   AccessFlags2[AccessFlags2["SuppressNoImplicitAnyError"] = 128] = "SuppressNoImplicitAnyError";
@@ -9752,7 +9754,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."),
@@ -50733,6 +50734,7 @@ function createTypeChecker(host) {
   var contextualTypes = [];
   var contextualIsCache = [];
   var contextualTypeCount = 0;
+  var contextualBindingPatterns = [];
   var inferenceContextNodes = [];
   var inferenceContexts = [];
   var inferenceContextCount = 0;
@@ -58757,6 +58759,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) {
@@ -58775,7 +58778,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 {
@@ -58786,7 +58789,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 {
@@ -59272,7 +59274,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);
@@ -59343,7 +59345,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(
@@ -59424,18 +59429,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);
     }
@@ -59470,9 +59475,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;
@@ -59510,9 +59512,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;
@@ -59741,7 +59740,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);
@@ -59756,7 +59755,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);
@@ -62903,14 +62902,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, getEffectiveTypeArguments2(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));
         error2(
           type.node || currentNode,
           type.target.symbol ? Diagnostics.Type_arguments_for_0_circularly_reference_themselves : Diagnostics.Tuple_type_arguments_circularly_reference_themselves,
@@ -64906,7 +64905,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) {
@@ -65045,6 +65044,9 @@ function createTypeChecker(host) {
         return void 0;
       }
     }
+    if (accessFlags & 16 /* AllowMissing */ && isObjectLiteralType2(objectType)) {
+      return undefinedType;
+    }
     if (isJSLiteralType(objectType)) {
       return anyType;
     }
@@ -67316,7 +67318,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);
@@ -67331,10 +67333,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;
@@ -67343,26 +67343,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;
           }
         }
@@ -67520,7 +67516,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 = error2(errorNode || currentNode, message, typeToString(source), typeToString(target));
@@ -68373,7 +68369,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 */;
@@ -68384,6 +68380,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 */;
         }
       }
@@ -68481,7 +68482,7 @@ function createTypeChecker(host) {
           }
         }
       } else {
-        relation.set(id, (reportErrors2 ? 4 /* Reported */ : 0) | 2 /* Failed */ | propagatingVarianceFlags);
+        relation.set(id, 2 /* Failed */ | propagatingVarianceFlags);
         relationCount--;
         resetMaybeStack(
           /*markAllAsSucceeded*/
@@ -74517,9 +74518,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) {
@@ -74658,7 +74659,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, (parent2) => parent2 === 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 */)) {
@@ -76351,7 +76355,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 parent2 = walkUpParenthesizedExpressions(node.parent);
@@ -76520,7 +76524,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;
@@ -76575,11 +76578,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) {
@@ -76654,21 +76654,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 */)) {
-              error2(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;
     }
@@ -81946,7 +81931,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 */) {
@@ -81995,7 +81980,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);
@@ -82834,9 +82819,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 */ && isObjectLiteralType2(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();

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.6.0-dev.20240714",
+    "version": "5.6.0-dev.20240716",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -113,5 +113,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "6d3be985c82bead3b41348de76efec8110c677c5"
+    "gitHead": "ec446b6f19b44ed3db2d787b59d9c99a5b710283"
 }