@typescript-deploys/pr-build 5.6.0-pr-59154-17 → 5.6.0-pr-59217-14

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-insiders.20240708`;
+var version = `${versionMajorMinor}.0-insiders.20240715`;
 
 // 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."),
@@ -6685,6 +6686,9 @@ var Diagnostics = {
   Import_0_conflicts_with_global_value_used_in_this_file_so_must_be_declared_with_a_type_only_import_when_isolatedModules_is_enabled: diag(2866, 1 /* Error */, "Import_0_conflicts_with_global_value_used_in_this_file_so_must_be_declared_with_a_type_only_import_w_2866", "Import '{0}' conflicts with global value used in this file, so must be declared with a type-only import when 'isolatedModules' is enabled."),
   Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun: diag(2867, 1 /* Error */, "Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_2867", "Cannot find name '{0}'. Do you need to install type definitions for Bun? Try `npm i --save-dev @types/bun`."),
   Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_and_then_add_bun_to_the_types_field_in_your_tsconfig: diag(2868, 1 /* Error */, "Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_Bun_Try_npm_i_save_dev_types_Slashbun_2868", "Cannot find name '{0}'. Do you need to install type definitions for Bun? Try `npm i --save-dev @types/bun` and then add 'bun' to the types field in your tsconfig."),
+  This_expression_is_always_truthy_Did_you_mean_to_test_something_else: diag(2869, 1 /* Error */, "This_expression_is_always_truthy_Did_you_mean_to_test_something_else_2869", "This expression is always truthy. Did you mean to test something else?"),
+  This_expression_is_always_falsy_Did_you_mean_to_test_something_else: diag(2870, 1 /* Error */, "This_expression_is_always_falsy_Did_you_mean_to_test_something_else_2870", "This expression is always falsy. Did you mean to test something else?"),
+  Using_on_this_expression_appears_unintentional_because_it_always_evaluates_to_the_same_nullishness: diag(2871, 1 /* Error */, "Using_on_this_expression_appears_unintentional_because_it_always_evaluates_to_the_same_nullishness_2871", "Using ?? on this expression appears unintentional because it always evaluates to the same nullishness."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -6761,7 +6765,7 @@ var Diagnostics = {
   Extends_clause_for_inferred_type_0_has_or_is_using_private_name_1: diag(4085, 1 /* Error */, "Extends_clause_for_inferred_type_0_has_or_is_using_private_name_1_4085", "Extends clause for inferred type '{0}' has or is using private name '{1}'."),
   Parameter_0_of_index_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2: diag(4091, 1 /* Error */, "Parameter_0_of_index_signature_from_exported_interface_has_or_is_using_name_1_from_private_module_2_4091", "Parameter '{0}' of index signature from exported interface has or is using name '{1}' from private module '{2}'."),
   Parameter_0_of_index_signature_from_exported_interface_has_or_is_using_private_name_1: diag(4092, 1 /* Error */, "Parameter_0_of_index_signature_from_exported_interface_has_or_is_using_private_name_1_4092", "Parameter '{0}' of index signature from exported interface has or is using private name '{1}'."),
-  Property_0_of_exported_class_expression_may_not_be_private_or_protected: diag(4094, 1 /* Error */, "Property_0_of_exported_class_expression_may_not_be_private_or_protected_4094", "Property '{0}' of exported class expression may not be private or protected."),
+  Property_0_of_exported_anonymous_class_type_may_not_be_private_or_protected: diag(4094, 1 /* Error */, "Property_0_of_exported_anonymous_class_type_may_not_be_private_or_protected_4094", "Property '{0}' of exported anonymous class type may not be private or protected."),
   Public_static_method_0_of_exported_class_has_or_is_using_name_1_from_external_module_2_but_cannot_be_named: diag(4095, 1 /* Error */, "Public_static_method_0_of_exported_class_has_or_is_using_name_1_from_external_module_2_but_cannot_be_4095", "Public static method '{0}' of exported class has or is using name '{1}' from external module {2} but cannot be named."),
   Public_static_method_0_of_exported_class_has_or_is_using_name_1_from_private_module_2: diag(4096, 1 /* Error */, "Public_static_method_0_of_exported_class_has_or_is_using_name_1_from_private_module_2_4096", "Public static method '{0}' of exported class has or is using name '{1}' from private module '{2}'."),
   Public_static_method_0_of_exported_class_has_or_is_using_private_name_1: diag(4097, 1 /* Error */, "Public_static_method_0_of_exported_class_has_or_is_using_private_name_1_4097", "Public static method '{0}' of exported class has or is using private name '{1}'."),
@@ -6999,7 +7003,6 @@ var Diagnostics = {
   Parse_in_strict_mode_and_emit_use_strict_for_each_source_file: diag(6141, 3 /* Message */, "Parse_in_strict_mode_and_emit_use_strict_for_each_source_file_6141", 'Parse in strict mode and emit "use strict" for each source file.'),
   Module_0_was_resolved_to_1_but_jsx_is_not_set: diag(6142, 1 /* Error */, "Module_0_was_resolved_to_1_but_jsx_is_not_set_6142", "Module '{0}' was resolved to '{1}', but '--jsx' is not set."),
   Module_0_was_resolved_as_locally_declared_ambient_module_in_file_1: diag(6144, 3 /* Message */, "Module_0_was_resolved_as_locally_declared_ambient_module_in_file_1_6144", "Module '{0}' was resolved as locally declared ambient module in file '{1}'."),
-  Module_0_was_resolved_as_ambient_module_declared_in_1_since_this_file_was_not_modified: diag(6145, 3 /* Message */, "Module_0_was_resolved_as_ambient_module_declared_in_1_since_this_file_was_not_modified_6145", "Module '{0}' was resolved as ambient module declared in '{1}' since this file was not modified."),
   Specify_the_JSX_factory_function_to_use_when_targeting_react_JSX_emit_e_g_React_createElement_or_h: diag(6146, 3 /* Message */, "Specify_the_JSX_factory_function_to_use_when_targeting_react_JSX_emit_e_g_React_createElement_or_h_6146", "Specify the JSX factory function to use when targeting 'react' JSX emit, e.g. 'React.createElement' or 'h'."),
   Resolution_for_module_0_was_found_in_cache_from_location_1: diag(6147, 3 /* Message */, "Resolution_for_module_0_was_found_in_cache_from_location_1_6147", "Resolution for module '{0}' was found in cache from location '{1}'."),
   Directory_0_does_not_exist_skipping_all_lookups_in_it: diag(6148, 3 /* Message */, "Directory_0_does_not_exist_skipping_all_lookups_in_it_6148", "Directory '{0}' does not exist, skipping all lookups in it."),
@@ -8550,6 +8553,7 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
     hasExtendedUnicodeEscape: () => (tokenFlags & 8 /* ExtendedUnicodeEscape */) !== 0,
     hasPrecedingLineBreak: () => (tokenFlags & 1 /* PrecedingLineBreak */) !== 0,
     hasPrecedingJSDocComment: () => (tokenFlags & 2 /* PrecedingJSDocComment */) !== 0,
+    hasPrecedingJSDocLeadingAsterisks: () => (tokenFlags & 32768 /* PrecedingJSDocLeadingAsterisks */) !== 0,
     isIdentifier: () => token === 80 /* Identifier */ || token > 118 /* LastReservedWord */,
     isReservedWord: () => token >= 83 /* FirstReservedWord */ && token <= 118 /* LastReservedWord */,
     isUnterminated: () => (tokenFlags & 4 /* Unterminated */) !== 0,
@@ -9190,7 +9194,6 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
   function scan() {
     fullStartPos = pos;
     tokenFlags = 0 /* None */;
-    let asteriskSeen = false;
     while (true) {
       tokenStart = pos;
       if (pos >= end) {
@@ -9306,8 +9309,8 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
             return pos += 2, token = 43 /* AsteriskAsteriskToken */;
           }
           pos++;
-          if (skipJsDocLeadingAsterisks && !asteriskSeen && tokenFlags & 1 /* PrecedingLineBreak */) {
-            asteriskSeen = true;
+          if (skipJsDocLeadingAsterisks && (tokenFlags & 32768 /* PrecedingJSDocLeadingAsterisks */) === 0 && tokenFlags & 1 /* PrecedingLineBreak */) {
+            tokenFlags |= 32768 /* PrecedingJSDocLeadingAsterisks */;
             continue;
           }
           return token = 42 /* AsteriskToken */;
@@ -28948,7 +28951,7 @@ var Parser;
   function createIdentifier(isIdentifier3, diagnosticMessage, privateIdentifierDiagnosticMessage) {
     if (isIdentifier3) {
       identifierCount++;
-      const pos = getNodePos();
+      const pos = scanner.hasPrecedingJSDocLeadingAsterisks() ? scanner.getTokenStart() : getNodePos();
       const originalKeywordKind = token();
       const text = internIdentifier(scanner.getTokenValue());
       const hasExtendedUnicodeEscape = scanner.hasExtendedUnicodeEscape();
@@ -36078,6 +36081,7 @@ var commandOptionsWithoutBuild = [
     type: "boolean",
     affectsEmit: true,
     affectsBuildInfo: true,
+    affectsSourceFile: true,
     category: Diagnostics.Emit,
     description: Diagnostics.Allow_importing_helper_functions_from_tslib_once_per_project_instead_of_including_them_per_file,
     defaultValueDescription: false
@@ -36542,6 +36546,7 @@ var commandOptionsWithoutBuild = [
     affectsEmit: true,
     affectsBuildInfo: true,
     affectsModuleResolution: true,
+    affectsSourceFile: true,
     category: Diagnostics.Language_and_Environment,
     description: Diagnostics.Specify_module_specifier_used_to_import_the_JSX_factory_functions_when_using_jsx_Colon_react_jsx_Asterisk,
     defaultValueDescription: "react"
@@ -45517,13 +45522,6 @@ function createTypeChecker(host) {
       /*withAugmentations*/
       true
     ),
-    tryFindAmbientModuleWithoutAugmentations: (moduleName) => {
-      return tryFindAmbientModule(
-        moduleName,
-        /*withAugmentations*/
-        false
-      );
-    },
     getApparentType,
     getUnionType,
     isTypeAssignableTo,
@@ -46066,6 +46064,7 @@ function createTypeChecker(host) {
   };
   var amalgamatedDuplicates;
   var reverseMappedCache = /* @__PURE__ */ new Map();
+  var reverseHomomorphicMappedCache = /* @__PURE__ */ new Map();
   var ambientModulesCache;
   var patternAmbientModules;
   var patternAmbientModuleAugmentations;
@@ -46136,6 +46135,7 @@ function createTypeChecker(host) {
   var contextualTypes = [];
   var contextualIsCache = [];
   var contextualTypeCount = 0;
+  var contextualBindingPatterns = [];
   var inferenceContextNodes = [];
   var inferenceContexts = [];
   var inferenceContextCount = 0;
@@ -49430,11 +49430,11 @@ function createTypeChecker(host) {
     function tryReuseExistingTypeNode(context, typeNode, type, host2, addUndefined) {
       const originalType = type;
       if (addUndefined) {
-        type = getOptionalType(type);
+        type = getOptionalType(type, !isParameter(host2));
       }
       const clone = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host2);
       if (clone) {
-        if (addUndefined && !someType(getTypeFromTypeNode2(context, typeNode), (t) => !!(t.flags & 32768 /* Undefined */))) {
+        if (addUndefined && containsNonMissingUndefinedType(type) && !someType(getTypeFromTypeNode2(context, typeNode), (t) => !!(t.flags & 32768 /* Undefined */))) {
           return factory.createUnionTypeNode([clone, factory.createKeywordTypeNode(157 /* UndefinedKeyword */)]);
         }
         return clone;
@@ -50294,7 +50294,21 @@ function createTypeChecker(host) {
     }
     function shouldUsePlaceholderForProperty(propertySymbol, context) {
       var _a;
-      return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
+      const depth = 3;
+      return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */) || isDeeplyNestedReverseMappedTypeProperty());
+      function isDeeplyNestedReverseMappedTypeProperty() {
+        var _a2;
+        if ((((_a2 = context.reverseMappedStack) == null ? void 0 : _a2.length) ?? 0) < depth) {
+          return false;
+        }
+        for (let i = 0; i < depth; i++) {
+          const prop = context.reverseMappedStack[context.reverseMappedStack.length - 1 - i];
+          if (prop.links.mappedType.symbol !== propertySymbol.links.mappedType.symbol) {
+            return false;
+          }
+        }
+        return true;
+      }
     }
     function addPropertyToElementList(propertySymbol, context, typeElements) {
       var _a;
@@ -51381,8 +51395,8 @@ function createTypeChecker(host) {
       return enclosingDeclaration;
     }
     function serializeTypeForDeclaration(context, declaration, type, symbol) {
-      var _a;
-      const addUndefined = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
+      var _a, _b;
+      const addUndefinedForParameter = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
       const enclosingDeclaration = context.enclosingDeclaration;
       const oldFlags = context.flags;
       if (declaration && hasInferredType(declaration) && !(context.flags & -2147483648 /* NoSyntacticPrinter */)) {
@@ -51393,6 +51407,7 @@ function createTypeChecker(host) {
         const declWithExistingAnnotation = declaration && getNonlocalEffectiveTypeAnnotationNode(declaration) ? declaration : getDeclarationWithTypeAnnotation(symbol);
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getNonlocalEffectiveTypeAnnotationNode(declWithExistingAnnotation);
+          const addUndefined = addUndefinedForParameter || !!(symbol.flags & 4 /* Property */ && symbol.flags & 16777216 /* Optional */ && isOptionalDeclaration(declWithExistingAnnotation) && ((_a = symbol.links) == null ? void 0 : _a.mappedType) && containsNonMissingUndefinedType(type));
           const result2 = !isTypePredicateNode(existing) && tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined);
           if (result2) {
             context.flags = oldFlags;
@@ -51403,9 +51418,9 @@ function createTypeChecker(host) {
       if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol && (!context.enclosingDeclaration || some(symbol.declarations, (d) => getSourceFileOfNode(d) === getSourceFileOfNode(context.enclosingDeclaration)))) {
         context.flags |= 1048576 /* AllowUniqueESSymbolType */;
       }
-      const decl = declaration ?? symbol.valueDeclaration ?? ((_a = symbol.declarations) == null ? void 0 : _a[0]);
+      const decl = declaration ?? symbol.valueDeclaration ?? ((_b = symbol.declarations) == null ? void 0 : _b[0]);
       const expr = decl && isDeclarationWithPossibleInnerTypeNodeReuse(decl) ? getPossibleTypeNodeReuseExpression(decl) : void 0;
-      const result = expressionOrTypeToTypeNode(context, expr, type, addUndefined);
+      const result = expressionOrTypeToTypeNode(context, expr, type, addUndefinedForParameter);
       context.flags = oldFlags;
       return result;
     }
@@ -51440,9 +51455,9 @@ function createTypeChecker(host) {
       const typePredicate = getTypePredicateOfSignature(signature);
       const type = getReturnTypeOfSignature(signature);
       if (context.enclosingDeclaration && (!isErrorType(type) || context.flags & 1 /* AllowUnresolvedNames */) && signature.declaration && !nodeIsSynthesized(signature.declaration)) {
-        const annotation = signature.declaration && getNonlocalEffectiveReturnTypeAnnotationNode(signature.declaration);
-        if (annotation && getTypeFromTypeNode2(context, annotation) === type) {
-          const result = tryReuseExistingTypeNodeHelper(context, annotation);
+        const annotation = getNonlocalEffectiveReturnTypeAnnotationNode(signature.declaration);
+        if (annotation) {
+          const result = tryReuseExistingTypeNode(context, annotation, type, context.enclosingDeclaration);
           if (result) {
             return result;
           }
@@ -51936,7 +51951,10 @@ function createTypeChecker(host) {
           );
         }
         if (isNamedDeclaration(node) && node.name.kind === 167 /* ComputedPropertyName */ && !isLateBindableName(node.name)) {
-          if (!(context.flags & 1 /* AllowUnresolvedNames */ && hasDynamicName(node) && isEntityNameExpression(node.name.expression) && checkComputedPropertyName(node.name).flags & 1 /* Any */)) {
+          if (!hasDynamicName(node)) {
+            return visitEachChild2(node, visitExistingNodeTreeSymbols);
+          }
+          if (!(context.flags & 1 /* AllowUnresolvedNames */ && isEntityNameExpression(node.name.expression) && checkComputedPropertyName(node.name).flags & 1 /* Any */)) {
             return void 0;
           }
         }
@@ -54142,6 +54160,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) {
@@ -54160,7 +54179,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 {
@@ -54171,7 +54190,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 {
@@ -54657,7 +54675,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);
@@ -54728,7 +54746,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(
@@ -54809,18 +54830,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);
     }
@@ -54855,9 +54876,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;
@@ -54895,9 +54913,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;
@@ -55126,7 +55141,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);
@@ -55141,7 +55156,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);
@@ -58027,7 +58042,7 @@ function createTypeChecker(host) {
     );
   }
   function createSignatureTypeMapper(signature, typeArguments) {
-    return createTypeMapper(signature.typeParameters, typeArguments);
+    return createTypeMapper(sameMap(signature.typeParameters, (tp) => tp.mapper ? instantiateType(tp, tp.mapper) : tp), typeArguments);
   }
   function getErasedSignature(signature) {
     return signature.typeParameters ? signature.erasedSignatureCache || (signature.erasedSignatureCache = createErasedSignature(signature)) : signature;
@@ -60291,7 +60306,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) {
@@ -60430,6 +60445,9 @@ function createTypeChecker(host) {
         return void 0;
       }
     }
+    if (accessFlags & 16 /* AllowMissing */ && isObjectLiteralType(objectType)) {
+      return undefinedType;
+    }
     if (isJSLiteralType(objectType)) {
       return anyType;
     }
@@ -62683,6 +62701,10 @@ function createTypeChecker(host) {
   function containsUndefinedType(type) {
     return !!((type.flags & 1048576 /* Union */ ? type.types[0] : type).flags & 32768 /* Undefined */);
   }
+  function containsNonMissingUndefinedType(type) {
+    const candidate = type.flags & 1048576 /* Union */ ? type.types[0] : type;
+    return !!(candidate.flags & 32768 /* Undefined */) && candidate !== missingType;
+  }
   function isStringIndexSignatureOnlyType(type) {
     return type.flags & 524288 /* Object */ && !isGenericMappedType(type) && getPropertiesOfType(type).length === 0 && getIndexInfosOfType(type).length === 1 && !!getIndexInfoOfType(type, stringType) || type.flags & 3145728 /* UnionOrIntersection */ && every(type.types, isStringIndexSignatureOnlyType) || false;
   }
@@ -62697,7 +62719,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);
@@ -62712,10 +62734,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;
@@ -62724,26 +62744,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;
           }
         }
@@ -62901,7 +62917,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));
@@ -63754,7 +63770,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 */;
@@ -63765,6 +63781,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 */;
         }
       }
@@ -63862,7 +63883,7 @@ function createTypeChecker(host) {
           }
         }
       } else {
-        relation.set(id, (reportErrors2 ? 4 /* Reported */ : 0) | 2 /* Failed */ | propagatingVarianceFlags);
+        relation.set(id, 2 /* Failed */ | propagatingVarianceFlags);
         relationCount--;
         resetMaybeStack(
           /*markAllAsSucceeded*/
@@ -66332,11 +66353,11 @@ function createTypeChecker(host) {
   }
   function inferTypeForHomomorphicMappedType(source, target, constraint) {
     const cacheKey = source.id + "," + target.id + "," + constraint.id;
-    if (reverseMappedCache.has(cacheKey)) {
-      return reverseMappedCache.get(cacheKey);
+    if (reverseHomomorphicMappedCache.has(cacheKey)) {
+      return reverseHomomorphicMappedCache.get(cacheKey);
     }
     const type = createReverseMappedType(source, target, constraint);
-    reverseMappedCache.set(cacheKey, type);
+    reverseHomomorphicMappedCache.set(cacheKey, type);
     return type;
   }
   function isPartiallyInferableType(type) {
@@ -69898,9 +69919,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) {
@@ -70039,7 +70060,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 */)) {
@@ -71732,7 +71756,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);
@@ -71901,7 +71925,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;
@@ -71956,11 +71979,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) {
@@ -72035,21 +72055,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;
     }
@@ -77327,7 +77332,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 */) {
@@ -77376,7 +77381,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);
@@ -77526,7 +77531,7 @@ function createTypeChecker(host) {
         setLastResult(state, checkExpression(node.right, checkMode));
         return state;
       }
-      checkGrammarNullishCoalesceWithLogicalExpression(node);
+      checkNullishCoalesceOperands(node);
       const operator = node.operatorToken.kind;
       if (operator === 64 /* EqualsToken */ && (node.left.kind === 210 /* ObjectLiteralExpression */ || node.left.kind === 209 /* ArrayLiteralExpression */)) {
         state.skip = true;
@@ -77559,7 +77564,9 @@ function createTypeChecker(host) {
           if (operator === 56 /* AmpersandAmpersandToken */ || isIfStatement(parent)) {
             checkTestingKnownTruthyCallableOrAwaitableOrEnumMemberType(node.left, leftType, isIfStatement(parent) ? parent.thenStatement : void 0);
           }
-          checkTruthinessOfType(leftType, node.left);
+          if (isBinaryLogicalOperator(operator)) {
+            checkTruthinessOfType(leftType, node.left);
+          }
         }
       }
     }
@@ -77616,7 +77623,7 @@ function createTypeChecker(host) {
       state.typeStack[state.stackIndex + 1] = type;
     }
   }
-  function checkGrammarNullishCoalesceWithLogicalExpression(node) {
+  function checkNullishCoalesceOperands(node) {
     const { left, operatorToken, right } = node;
     if (operatorToken.kind === 61 /* QuestionQuestionToken */) {
       if (isBinaryExpression(left) && (left.operatorToken.kind === 57 /* BarBarToken */ || left.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
@@ -77625,15 +77632,56 @@ function createTypeChecker(host) {
       if (isBinaryExpression(right) && (right.operatorToken.kind === 57 /* BarBarToken */ || right.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
         grammarErrorOnNode(right, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(right.operatorToken.kind), tokenToString(operatorToken.kind));
       }
+      const leftTarget = skipOuterExpressions(left, 15 /* All */);
+      if (getSyntacticNullishnessSemantics(leftTarget) !== 3 /* Sometimes */) {
+        error(leftTarget, Diagnostics.Using_on_this_expression_appears_unintentional_because_it_always_evaluates_to_the_same_nullishness);
+      }
     }
   }
+  function getSyntacticNullishnessSemantics(node) {
+    switch (node.kind) {
+      case 223 /* AwaitExpression */:
+      case 213 /* CallExpression */:
+      case 212 /* ElementAccessExpression */:
+      case 214 /* NewExpression */:
+      case 211 /* PropertyAccessExpression */:
+      case 229 /* YieldExpression */:
+        return 3 /* Sometimes */;
+      case 226 /* BinaryExpression */:
+        switch (node.operatorToken.kind) {
+          case 64 /* EqualsToken */:
+          case 61 /* QuestionQuestionToken */:
+          case 78 /* QuestionQuestionEqualsToken */:
+          case 57 /* BarBarToken */:
+          case 76 /* BarBarEqualsToken */:
+          case 56 /* AmpersandAmpersandToken */:
+          case 77 /* AmpersandAmpersandEqualsToken */:
+            return 3 /* Sometimes */;
+        }
+        return 2 /* Never */;
+      case 106 /* NullKeyword */:
+        return 1 /* Always */;
+      case 216 /* TypeAssertionExpression */:
+      case 234 /* AsExpression */:
+      case 217 /* ParenthesizedExpression */:
+        return getSyntacticNullishnessSemantics(node.expression);
+      case 227 /* ConditionalExpression */:
+        return getSyntacticNullishnessSemantics(node.whenTrue) | getSyntacticNullishnessSemantics(node.whenFalse);
+      case 80 /* Identifier */:
+        if (node.escapedText === "undefined") {
+          return 1 /* Always */;
+        }
+        return 3 /* Sometimes */;
+    }
+    return 2 /* Never */;
+  }
   function checkBinaryLikeExpression(left, operatorToken, right, checkMode, errorNode) {
     const operator = operatorToken.kind;
     if (operator === 64 /* EqualsToken */ && (left.kind === 210 /* ObjectLiteralExpression */ || left.kind === 209 /* ArrayLiteralExpression */)) {
       return checkDestructuringAssignment(left, checkExpression(right, checkMode), checkMode, right.kind === 110 /* ThisKeyword */);
     }
     let leftType;
-    if (isLogicalOrCoalescingBinaryOperator(operator)) {
+    if (isBinaryLogicalOperator(operator)) {
       leftType = checkTruthinessExpression(left, checkMode);
     } else {
       leftType = checkExpression(left, checkMode);
@@ -78215,9 +78263,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();
@@ -81189,9 +81284,53 @@ function createTypeChecker(host) {
   function checkTruthinessOfType(type, node) {
     if (type.flags & 16384 /* Void */) {
       error(node, Diagnostics.An_expression_of_type_void_cannot_be_tested_for_truthiness);
+    } else {
+      const semantics = getSyntacticTruthySemantics(node);
+      if (semantics !== 3 /* Sometimes */) {
+        error(
+          node,
+          semantics === 1 /* Always */ ? Diagnostics.This_expression_is_always_truthy_Did_you_mean_to_test_something_else : Diagnostics.This_expression_is_always_falsy_Did_you_mean_to_test_something_else
+        );
+      }
     }
     return type;
   }
+  function getSyntacticTruthySemantics(node) {
+    switch (node.kind) {
+      case 9 /* NumericLiteral */:
+        if (node.text === "0" || node.text === "1") {
+          return 3 /* Sometimes */;
+        }
+        return 1 /* Always */;
+      case 209 /* ArrayLiteralExpression */:
+      case 219 /* ArrowFunction */:
+      case 10 /* BigIntLiteral */:
+      case 231 /* ClassExpression */:
+      case 218 /* FunctionExpression */:
+      case 284 /* JsxElement */:
+      case 285 /* JsxSelfClosingElement */:
+      case 210 /* ObjectLiteralExpression */:
+      case 14 /* RegularExpressionLiteral */:
+        return 1 /* Always */;
+      case 222 /* VoidExpression */:
+        return 2 /* Never */;
+      case 15 /* NoSubstitutionTemplateLiteral */:
+      case 11 /* StringLiteral */:
+        return !!node.text ? 1 /* Always */ : 2 /* Never */;
+      case 216 /* TypeAssertionExpression */:
+      case 234 /* AsExpression */:
+      case 217 /* ParenthesizedExpression */:
+        return getSyntacticTruthySemantics(node.expression);
+      case 227 /* ConditionalExpression */:
+        return getSyntacticTruthySemantics(node.whenTrue) | getSyntacticTruthySemantics(node.whenFalse);
+      case 80 /* Identifier */:
+        if (node.escapedText === "undefined") {
+          return 2 /* Never */;
+        }
+        return 3 /* Sometimes */;
+    }
+    return 3 /* Sometimes */;
+  }
   function checkTruthinessExpression(node, checkMode) {
     return checkTruthinessOfType(checkExpression(node, checkMode), node);
   }
@@ -110992,6 +111131,7 @@ function transformDeclarations(context) {
   }
   function reportInferenceFallback(node) {
     if (!isolatedDeclarations || isSourceFileJS(currentSourceFile)) return;
+    if (getSourceFileOfNode(node) !== currentSourceFile) return;
     if (isVariableDeclaration(node) && resolver.isExpandoFunctionDeclaration(node)) {
       reportExpandoFunctionErrors(node);
     } else {
@@ -111036,7 +111176,10 @@ function transformDeclarations(context) {
   function reportPrivateInBaseOfClassExpression(propertyName) {
     if (errorNameNode || errorFallbackNode) {
       context.addDiagnostic(
-        createDiagnosticForNode(errorNameNode || errorFallbackNode, Diagnostics.Property_0_of_exported_class_expression_may_not_be_private_or_protected, propertyName)
+        addRelatedInfo(
+          createDiagnosticForNode(errorNameNode || errorFallbackNode, Diagnostics.Property_0_of_exported_anonymous_class_type_may_not_be_private_or_protected, propertyName),
+          ...isVariableDeclaration((errorNameNode || errorFallbackNode).parent) ? [createDiagnosticForNode(errorNameNode || errorFallbackNode, Diagnostics.Add_a_type_annotation_to_the_variable_0, errorDeclarationNameWithFallback())] : []
+        )
       );
     }
   }
@@ -119244,7 +119387,6 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
   let commonSourceDirectory;
   let typeChecker;
   let classifiableNames;
-  const ambientModuleNameToUnmodifiedFileName = /* @__PURE__ */ new Map();
   let fileReasons = createMultiMap();
   let filesWithReferencesProcessed;
   let fileReasonsToChain;
@@ -119493,7 +119635,7 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       const newFile = getSourceFileByPath(oldSourceFile.resolvedPath);
       if (shouldCreateNewSourceFile || !newFile || newFile.impliedNodeFormat !== oldSourceFile.impliedNodeFormat || // old file wasn't redirect but new file is
       oldSourceFile.resolvedPath === oldSourceFile.path && newFile.resolvedPath !== oldSourceFile.path) {
-        host.onReleaseOldSourceFile(oldSourceFile, oldProgram.getCompilerOptions(), !!getSourceFileByPath(oldSourceFile.path));
+        host.onReleaseOldSourceFile(oldSourceFile, oldProgram.getCompilerOptions(), !!getSourceFileByPath(oldSourceFile.path), newFile);
       }
     }
     if (!host.getParsedCommandLine) {
@@ -119503,7 +119645,9 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
             resolvedProjectReference.sourceFile,
             oldProgram.getCompilerOptions(),
             /*hasSourceFileByPath*/
-            false
+            false,
+            /*newSourceFileByResolvedPath*/
+            void 0
           );
         }
       });
@@ -119832,35 +119976,9 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       getResolutionFromOldProgram: (name, mode) => oldProgram == null ? void 0 : oldProgram.getResolvedModule(containingFile, name, mode),
       getResolved: getResolvedModuleFromResolution,
       canReuseResolutionsInFile: () => containingFile === (oldProgram == null ? void 0 : oldProgram.getSourceFile(containingFile.fileName)) && !hasInvalidatedResolutions(containingFile.path),
-      isEntryResolvingToAmbientModule: moduleNameResolvesToAmbientModule
+      resolveToOwnAmbientModule: true
     });
   }
-  function moduleNameResolvesToAmbientModule(moduleName, file) {
-    if (contains(file.ambientModuleNames, moduleName.text)) {
-      if (isTraceEnabled(options, host)) {
-        trace(host, Diagnostics.Module_0_was_resolved_as_locally_declared_ambient_module_in_file_1, moduleName.text, getNormalizedAbsolutePath(file.originalFileName, currentDirectory));
-      }
-      return true;
-    } else {
-      return moduleNameResolvesToAmbientModuleInNonModifiedFile(moduleName, file);
-    }
-  }
-  function moduleNameResolvesToAmbientModuleInNonModifiedFile(moduleName, file) {
-    var _a2;
-    const resolutionToFile = (_a2 = oldProgram == null ? void 0 : oldProgram.getResolvedModule(file, moduleName.text, getModeForUsageLocation2(file, moduleName))) == null ? void 0 : _a2.resolvedModule;
-    const resolvedFile = resolutionToFile && oldProgram.getSourceFile(resolutionToFile.resolvedFileName);
-    if (resolutionToFile && resolvedFile) {
-      return false;
-    }
-    const unmodifiedFile = ambientModuleNameToUnmodifiedFileName.get(moduleName.text);
-    if (!unmodifiedFile) {
-      return false;
-    }
-    if (isTraceEnabled(options, host)) {
-      trace(host, Diagnostics.Module_0_was_resolved_as_ambient_module_declared_in_1_since_this_file_was_not_modified, moduleName.text, unmodifiedFile);
-    }
-    return true;
-  }
   function resolveTypeReferenceDirectiveNamesReusingOldState(typeDirectiveNames, containingFile) {
     const containingSourceFile = !isString(containingFile) ? containingFile : void 0;
     return resolveNamesReusingOldState({
@@ -119888,10 +120006,10 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
     getResolutionFromOldProgram,
     getResolved,
     canReuseResolutionsInFile,
-    isEntryResolvingToAmbientModule
+    resolveToOwnAmbientModule
   }) {
     if (!entries.length) return emptyArray;
-    if (structureIsReused === 0 /* Not */ && (!isEntryResolvingToAmbientModule || !containingSourceFile.ambientModuleNames.length)) {
+    if (structureIsReused === 0 /* Not */ && (!resolveToOwnAmbientModule || !containingSourceFile.ambientModuleNames.length)) {
       return resolutionWorker(
         entries,
         containingFile,
@@ -119927,12 +120045,23 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
           continue;
         }
       }
-      if (isEntryResolvingToAmbientModule == null ? void 0 : isEntryResolvingToAmbientModule(entry, containingFile)) {
-        (result ?? (result = new Array(entries.length)))[i] = emptyResolution;
-      } else {
-        (unknownEntries ?? (unknownEntries = [])).push(entry);
-        (unknownEntryIndices ?? (unknownEntryIndices = [])).push(i);
+      if (resolveToOwnAmbientModule) {
+        const name = nameAndModeGetter.getName(entry);
+        if (contains(containingSourceFile.ambientModuleNames, name)) {
+          if (isTraceEnabled(options, host)) {
+            trace(
+              host,
+              Diagnostics.Module_0_was_resolved_as_locally_declared_ambient_module_in_file_1,
+              name,
+              getNormalizedAbsolutePath(containingSourceFile.originalFileName, currentDirectory)
+            );
+          }
+          (result ?? (result = new Array(entries.length)))[i] = emptyResolution;
+          continue;
+        }
       }
+      (unknownEntries ?? (unknownEntries = [])).push(entry);
+      (unknownEntryIndices ?? (unknownEntryIndices = [])).push(i);
     }
     if (!unknownEntries) return result;
     const resolutions = resolutionWorker(unknownEntries, containingFile, reusedNames);
@@ -120066,10 +120195,6 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       } else if (hasInvalidatedResolutions(oldSourceFile.path)) {
         structureIsReused = 1 /* SafeModules */;
         modifiedSourceFiles.push(newSourceFile);
-      } else {
-        for (const moduleName of oldSourceFile.ambientModuleNames) {
-          ambientModuleNameToUnmodifiedFileName.set(moduleName, oldSourceFile.fileName);
-        }
       }
       newSourceFiles.push(newSourceFile);
     }
@@ -124597,7 +124722,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
   let filesWithChangedSetOfUnresolvedImports;
   let filesWithInvalidatedResolutions;
   let filesWithInvalidatedNonRelativeUnresolvedImports;
-  const nonRelativeExternalModuleResolutions = createMultiMap();
+  const nonRelativeExternalModuleResolutions = /* @__PURE__ */ new Set();
   const resolutionsWithFailedLookups = /* @__PURE__ */ new Set();
   const resolutionsWithOnlyAffectingLocations = /* @__PURE__ */ new Set();
   const resolvedFileToResolution = /* @__PURE__ */ new Map();
@@ -124748,8 +124873,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     moduleResolutionCache.clearAllExceptPackageJsonInfoCache();
     typeReferenceDirectiveResolutionCache.clearAllExceptPackageJsonInfoCache();
     libraryResolutionCache.clearAllExceptPackageJsonInfoCache();
-    nonRelativeExternalModuleResolutions.forEach(watchFailedLookupLocationOfNonRelativeModuleResolutions);
-    nonRelativeExternalModuleResolutions.clear();
+    watchFailedLookupLocationOfNonRelativeModuleResolutions();
     isSymlinkCache.clear();
   }
   function cleanupLibResolutionWatching(newProgram) {
@@ -124768,8 +124892,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
   function finishCachingPerDirectoryResolution(newProgram, oldProgram) {
     filesWithInvalidatedNonRelativeUnresolvedImports = void 0;
     allModuleAndTypeResolutionsAreInvalidated = false;
-    nonRelativeExternalModuleResolutions.forEach(watchFailedLookupLocationOfNonRelativeModuleResolutions);
-    nonRelativeExternalModuleResolutions.clear();
+    watchFailedLookupLocationOfNonRelativeModuleResolutions();
     if (newProgram !== oldProgram) {
       cleanupLibResolutionWatching(newProgram);
       newProgram == null ? void 0 : newProgram.getSourceFiles().forEach((newFile) => {
@@ -125032,7 +125155,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     if (!deferWatchingNonRelativeResolution || isExternalModuleNameRelative(name)) {
       watchFailedLookupLocationOfResolution(resolution);
     } else {
-      nonRelativeExternalModuleResolutions.add(name, resolution);
+      nonRelativeExternalModuleResolutions.add(resolution);
     }
     const resolved = getResolutionWithResolvedFileName(resolution);
     if (resolved && resolved.resolvedFileName) {
@@ -125168,17 +125291,9 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     (_a = watcher == null ? void 0 : watcher.symlinks) == null ? void 0 : _a.forEach((path2) => invalidateAffectingFileWatcher(path2, packageJsonMap));
     packageJsonMap == null ? void 0 : packageJsonMap.delete(resolutionHost.toPath(path));
   }
-  function watchFailedLookupLocationOfNonRelativeModuleResolutions(resolutions, name) {
-    const program = resolutionHost.getCurrentProgram();
-    if (!program || !program.getTypeChecker().tryFindAmbientModuleWithoutAugmentations(name)) {
-      resolutions.forEach(watchFailedLookupLocationOfResolution);
-    } else {
-      resolutions.forEach((resolution) => watchAffectingLocationsOfResolution(
-        resolution,
-        /*addToResolutionsWithOnlyAffectingLocations*/
-        true
-      ));
-    }
+  function watchFailedLookupLocationOfNonRelativeModuleResolutions() {
+    nonRelativeExternalModuleResolutions.forEach(watchFailedLookupLocationOfResolution);
+    nonRelativeExternalModuleResolutions.clear();
   }
   function createDirectoryWatcherForPackageDir(dir, dirPath, packageDir, packageDirPath, nonRecursive) {
     Debug.assert(!nonRecursive);
@@ -125198,11 +125313,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         );
       } else if (packageDirWatcher.isSymlink !== isSymlink) {
         packageDirWatcher.dirPathToWatcher.forEach((watcher) => {
-          removeDirectoryWatcher(
-            packageDirWatcher.isSymlink ? packageDirPath : dirPath,
-            /*syncDirWatcherRemove*/
-            false
-          );
+          removeDirectoryWatcher(packageDirWatcher.isSymlink ? packageDirPath : dirPath);
           watcher.watcher = createDirPathToWatcher();
         });
         packageDirWatcher.isSymlink = isSymlink;
@@ -125242,7 +125353,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     }
     return dirWatcher;
   }
-  function stopWatchFailedLookupLocation(failedLookupLocation, removeAtRoot, syncDirWatcherRemove) {
+  function stopWatchFailedLookupLocation(failedLookupLocation, removeAtRoot) {
     const failedLookupLocationPath = resolutionHost.toPath(failedLookupLocation);
     const toWatch = getDirectoryToWatchFailedLookupLocation(
       failedLookupLocation,
@@ -125262,7 +125373,7 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
         const forDirPath = packageDirWatcher.dirPathToWatcher.get(dirPath);
         forDirPath.refCount--;
         if (forDirPath.refCount === 0) {
-          removeDirectoryWatcher(packageDirWatcher.isSymlink ? packageDirPath : dirPath, syncDirWatcherRemove);
+          removeDirectoryWatcher(packageDirWatcher.isSymlink ? packageDirPath : dirPath);
           packageDirWatcher.dirPathToWatcher.delete(dirPath);
           if (packageDirWatcher.isSymlink) {
             const refCount = dirPathToSymlinkPackageRefCount.get(dirPath) - 1;
@@ -125272,15 +125383,14 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
               dirPathToSymlinkPackageRefCount.set(dirPath, refCount);
             }
           }
-          if (syncDirWatcherRemove) closePackageDirWatcher(packageDirWatcher, packageDirPath);
         }
       } else {
-        removeDirectoryWatcher(dirPath, syncDirWatcherRemove);
+        removeDirectoryWatcher(dirPath);
       }
     }
     return removeAtRoot;
   }
-  function stopWatchFailedLookupLocationOfResolution(resolution, filePath, getResolutionWithResolvedFileName, syncDirWatcherRemove) {
+  function stopWatchFailedLookupLocationOfResolution(resolution, filePath, getResolutionWithResolvedFileName) {
     Debug.checkDefined(resolution.files).delete(filePath);
     if (resolution.files.size) return;
     resolution.files = void 0;
@@ -125295,11 +125405,11 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       let removeAtRoot = false;
       if (failedLookupLocations) {
         for (const failedLookupLocation of failedLookupLocations) {
-          removeAtRoot = stopWatchFailedLookupLocation(failedLookupLocation, removeAtRoot, syncDirWatcherRemove);
+          removeAtRoot = stopWatchFailedLookupLocation(failedLookupLocation, removeAtRoot);
         }
       }
-      if (alternateResult) removeAtRoot = stopWatchFailedLookupLocation(alternateResult, removeAtRoot, syncDirWatcherRemove);
-      if (removeAtRoot) removeDirectoryWatcher(rootPath, syncDirWatcherRemove);
+      if (alternateResult) removeAtRoot = stopWatchFailedLookupLocation(alternateResult, removeAtRoot);
+      if (removeAtRoot) removeDirectoryWatcher(rootPath);
     } else if (affectingLocations == null ? void 0 : affectingLocations.length) {
       resolutionsWithOnlyAffectingLocations.delete(resolution);
     }
@@ -125307,14 +125417,12 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       for (const affectingLocation of affectingLocations) {
         const watcher = fileWatchesOfAffectingLocations.get(affectingLocation);
         watcher.resolutions--;
-        if (syncDirWatcherRemove) closeFileWatcherOfAffectingLocation(watcher, affectingLocation);
       }
     }
   }
-  function removeDirectoryWatcher(dirPath, syncDirWatcherRemove) {
+  function removeDirectoryWatcher(dirPath) {
     const dirWatcher = directoryWatchesOfFailedLookups.get(dirPath);
     dirWatcher.refCount--;
-    if (syncDirWatcherRemove) closeDirectoryWatchesOfFailedLookup(dirWatcher, dirPath);
   }
   function createDirectoryWatcher(directory, dirPath, nonRecursive) {
     return resolutionHost.watchDirectoryOfFailedLookupLocation(directory, (fileOrDirectory) => {
@@ -125325,15 +125433,14 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
       scheduleInvalidateResolutionOfFailedLookupLocation(fileOrDirectoryPath, dirPath === fileOrDirectoryPath);
     }, nonRecursive ? 0 /* None */ : 1 /* Recursive */);
   }
-  function removeResolutionsOfFileFromCache(cache, filePath, getResolutionWithResolvedFileName, syncDirWatcherRemove) {
+  function removeResolutionsOfFileFromCache(cache, filePath, getResolutionWithResolvedFileName) {
     const resolutions = cache.get(filePath);
     if (resolutions) {
       resolutions.forEach(
         (resolution) => stopWatchFailedLookupLocationOfResolution(
           resolution,
           filePath,
-          getResolutionWithResolvedFileName,
-          syncDirWatcherRemove
+          getResolutionWithResolvedFileName
         )
       );
       cache.delete(filePath);
@@ -125347,9 +125454,9 @@ function createResolutionCache(resolutionHost, rootDirForResolution, logChangesW
     if (!resolvedProjectReference) return;
     resolvedProjectReference.commandLine.fileNames.forEach((f) => removeResolutionsOfFile(resolutionHost.toPath(f)));
   }
-  function removeResolutionsOfFile(filePath, syncDirWatcherRemove) {
-    removeResolutionsOfFileFromCache(resolvedModuleNames, filePath, getResolvedModuleFromResolution, syncDirWatcherRemove);
-    removeResolutionsOfFileFromCache(resolvedTypeReferenceDirectives, filePath, getResolvedTypeReferenceDirectiveFromResolution, syncDirWatcherRemove);
+  function removeResolutionsOfFile(filePath) {
+    removeResolutionsOfFileFromCache(resolvedModuleNames, filePath, getResolvedModuleFromResolution);
+    removeResolutionsOfFileFromCache(resolvedTypeReferenceDirectives, filePath, getResolvedTypeReferenceDirectiveFromResolution);
   }
   function invalidateResolutions(resolutions, canInvalidate) {
     if (!resolutions) return false;