@typescript-deploys/pr-build 6.0.0-pr-62093-21 → 6.0.0-pr-60121-19

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-insiders.20250820`;
+var version = `${versionMajorMinor}.0-insiders.20250823`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6995,7 +6995,7 @@ var Diagnostics = {
   The_root_value_of_a_0_file_must_be_an_object: diag(5092, 1 /* Error */, "The_root_value_of_a_0_file_must_be_an_object_5092", "The root value of a '{0}' file must be an object."),
   Compiler_option_0_may_only_be_used_with_build: diag(5093, 1 /* Error */, "Compiler_option_0_may_only_be_used_with_build_5093", "Compiler option '--{0}' may only be used with '--build'."),
   Compiler_option_0_may_not_be_used_with_build: diag(5094, 1 /* Error */, "Compiler_option_0_may_not_be_used_with_build_5094", "Compiler option '--{0}' may not be used with '--build'."),
-  Option_0_can_only_be_used_when_module_is_set_to_preserve_or_to_es2015_or_later: diag(5095, 1 /* Error */, "Option_0_can_only_be_used_when_module_is_set_to_preserve_or_to_es2015_or_later_5095", "Option '{0}' can only be used when 'module' is set to 'preserve' or to 'es2015' or later."),
+  Option_0_can_only_be_used_when_module_is_set_to_preserve_commonjs_or_es2015_or_later: diag(5095, 1 /* Error */, "Option_0_can_only_be_used_when_module_is_set_to_preserve_commonjs_or_es2015_or_later_5095", "Option '{0}' can only be used when 'module' is set to 'preserve', 'commonjs', or 'es2015' or later."),
   Option_allowImportingTsExtensions_can_only_be_used_when_either_noEmit_or_emitDeclarationOnly_is_set: diag(5096, 1 /* Error */, "Option_allowImportingTsExtensions_can_only_be_used_when_either_noEmit_or_emitDeclarationOnly_is_set_5096", "Option 'allowImportingTsExtensions' can only be used when either 'noEmit' or 'emitDeclarationOnly' is set."),
   An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled: diag(5097, 1 /* Error */, "An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled_5097", "An import path can only end with a '{0}' extension when 'allowImportingTsExtensions' is enabled."),
   Option_0_can_only_be_used_when_moduleResolution_is_set_to_node16_nodenext_or_bundler: diag(5098, 1 /* Error */, "Option_0_can_only_be_used_when_moduleResolution_is_set_to_node16_nodenext_or_bundler_5098", "Option '{0}' can only be used when 'moduleResolution' is set to 'node16', 'nodenext', or 'bundler'."),
@@ -62559,7 +62559,7 @@ function createTypeChecker(host) {
           context.nonFixingMapper = combineTypeMappers(context.nonFixingMapper, mapper);
         }
         if (!checkTypeDeferred) {
-          inferTypes(context.inferences, checkType, extendsType, 1024 /* NoConstraints */ | 2048 /* AlwaysStrict */);
+          inferTypes(context.inferences, checkType, extendsType, 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
         }
         combinedMapper = mapper ? combineTypeMappers(context.mapper, mapper) : context.mapper;
       }
@@ -66246,7 +66246,7 @@ function createTypeChecker(host) {
               0 /* None */,
               isRelatedToWorker
             );
-            inferTypes(ctx.inferences, target2.extendsType, sourceExtends, 1024 /* NoConstraints */ | 2048 /* AlwaysStrict */);
+            inferTypes(ctx.inferences, target2.extendsType, sourceExtends, 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
             sourceExtends = instantiateType(sourceExtends, ctx.mapper);
             mapper = ctx.mapper;
           }
@@ -68511,7 +68511,7 @@ function createTypeChecker(host) {
   function inferTypes(inferences, originalSource, originalTarget, priority = 0 /* None */, contravariant = false) {
     let bivariant = false;
     let propagationType;
-    let inferencePriority = 4096 /* MaxValue */;
+    let inferencePriority = 2048 /* MaxValue */;
     let visited;
     let sourceStack;
     let targetStack;
@@ -68586,18 +68586,13 @@ function createTypeChecker(host) {
             if (candidate === blockedStringType) {
               return;
             }
-            const combinedPriority = priority | (inference.individualPriority || 0 /* None */);
-            if (inference.priority === void 0 || priority < (inference.priority & ~512 /* DistributiveConditional */)) {
+            if (inference.priority === void 0 || priority < inference.priority) {
               inference.candidates = void 0;
               inference.contraCandidates = void 0;
               inference.topLevel = true;
-              inference.priority = combinedPriority;
+              inference.priority = priority;
             }
-            if (priority === (inference.priority & ~512 /* DistributiveConditional */)) {
-              if (inference.priority > combinedPriority) {
-                inference.priority = combinedPriority;
-                clearCachedInferences(inferences);
-              }
+            if (priority === inference.priority) {
               if (contravariant && !bivariant) {
                 if (!contains(inference.contraCandidates, candidate)) {
                   inference.contraCandidates = append(inference.contraCandidates, candidate);
@@ -68679,7 +68674,7 @@ function createTypeChecker(host) {
         if (isGenericMappedType(source) && isGenericMappedType(target)) {
           invokeOnce(source, target, inferFromGenericMappedTypes);
         }
-        if (!(priority & 1024 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
+        if (!(priority & 512 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
           const apparentSource = getApparentType(source);
           if (apparentSource !== source && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
             return inferFromTypes(apparentSource, target);
@@ -68718,7 +68713,7 @@ function createTypeChecker(host) {
       }
       (visited || (visited = /* @__PURE__ */ new Map())).set(key, -1 /* Circularity */);
       const saveInferencePriority = inferencePriority;
-      inferencePriority = 4096 /* MaxValue */;
+      inferencePriority = 2048 /* MaxValue */;
       const saveExpandingFlags = expandingFlags;
       (sourceStack ?? (sourceStack = [])).push(source);
       (targetStack ?? (targetStack = [])).push(target);
@@ -68768,7 +68763,7 @@ function createTypeChecker(host) {
       contravariant = !contravariant;
     }
     function inferFromContravariantTypesIfStrictFunctionTypes(source, target) {
-      if (strictFunctionTypes || priority & 2048 /* AlwaysStrict */) {
+      if (strictFunctionTypes || priority & 1024 /* AlwaysStrict */) {
         inferFromContravariantTypes(source, target);
       } else {
         inferFromTypes(source, target);
@@ -68809,7 +68804,7 @@ function createTypeChecker(host) {
           } else {
             for (let i = 0; i < sources.length; i++) {
               const saveInferencePriority = inferencePriority;
-              inferencePriority = 4096 /* MaxValue */;
+              inferencePriority = 2048 /* MaxValue */;
               inferFromTypes(sources[i], t);
               if (inferencePriority === priority) matched[i] = true;
               inferenceCircularity = inferenceCircularity || inferencePriority === -1 /* Circularity */;
@@ -68888,11 +68883,6 @@ function createTypeChecker(host) {
       return false;
     }
     function inferToConditionalType(source, target) {
-      const info = target.root.isDistributive ? getInferenceInfoForType(getActualTypeVariable(target.checkType)) : void 0;
-      const saveIndividualPriority = info == null ? void 0 : info.individualPriority;
-      if (info) {
-        info.individualPriority = (info.individualPriority || 0 /* None */) | 512 /* DistributiveConditional */;
-      }
       if (source.flags & 16777216 /* Conditional */) {
         inferFromTypes(source.checkType, target.checkType);
         inferFromTypes(source.extendsType, target.extendsType);
@@ -68902,9 +68892,6 @@ function createTypeChecker(host) {
         const targetTypes = [getTrueTypeFromConditionalType(target), getFalseTypeFromConditionalType(target)];
         inferToMultipleTypesWithPriority(source, targetTypes, target.flags, contravariant ? 64 /* ContravariantConditional */ : 0);
       }
-      if (info) {
-        info.individualPriority = saveIndividualPriority;
-      }
     }
     function inferToTemplateLiteralType(source, target) {
       const matches = inferTypesFromTemplateLiteralType(source, target);
@@ -69145,14 +69132,14 @@ function createTypeChecker(host) {
     return candidates;
   }
   function getContravariantInference(inference) {
-    return inference.priority & 928 /* PriorityImpliesCombination */ ? getIntersectionType(inference.contraCandidates) : getCommonSubtype(inference.contraCandidates);
+    return inference.priority & 416 /* PriorityImpliesCombination */ ? getIntersectionType(inference.contraCandidates) : getCommonSubtype(inference.contraCandidates);
   }
   function getCovariantInference(inference, signature) {
     const candidates = unionObjectAndArrayLiteralCandidates(inference.candidates);
     const primitiveConstraint = hasPrimitiveConstraint(inference.typeParameter) || isConstTypeVariable(inference.typeParameter);
     const widenLiteralTypes = !primitiveConstraint && inference.topLevel && (inference.isFixed || !isTypeParameterAtTopLevelInReturnType(signature, inference.typeParameter));
     const baseCandidates = primitiveConstraint ? sameMap(candidates, getRegularTypeOfLiteralType) : widenLiteralTypes ? sameMap(candidates, getWidenedLiteralType) : candidates;
-    const unwidenedType = inference.priority & 928 /* PriorityImpliesCombination */ ? getUnionType(baseCandidates, 2 /* Subtype */) : getCommonSupertype(baseCandidates);
+    const unwidenedType = inference.priority & 416 /* PriorityImpliesCombination */ ? getUnionType(baseCandidates, 2 /* Subtype */) : getCommonSupertype(baseCandidates);
     return getWidenedType(unwidenedType);
   }
   function getInferredType(context, index) {
@@ -83221,8 +83208,11 @@ function createTypeChecker(host) {
       }
       const parent = node.parent.parent;
       const parentCheckMode = node.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
-      const parentType = getTypeForBindingElementParent(parent, parentCheckMode);
       const name = node.propertyName || node.name;
+      let parentType = getTypeForBindingElementParent(parent, parentCheckMode);
+      if (parentType && !parent.initializer) {
+        parentType = checkNonNullType(parentType, parent);
+      }
       if (parentType && !isBindingPattern(name)) {
         const exprType = getLiteralTypeFromPropertyName(name);
         if (isTypeUsableAsPropertyName(exprType)) {
@@ -83262,16 +83252,15 @@ function createTypeChecker(host) {
       if (isInAmbientOrTypeNode(node)) {
         return;
       }
-      const needCheckInitializer = hasOnlyExpressionInitializer(node) && node.initializer && node.parent.parent.kind !== 250 /* ForInStatement */;
+      const needCheckInitializer = node.initializer && node.parent.parent.kind !== 250 /* ForInStatement */;
       const needCheckWidenedType = !some(node.name.elements, not(isOmittedExpression));
       if (needCheckInitializer || needCheckWidenedType) {
         const widenedType = getWidenedTypeForVariableLikeDeclaration(node);
         if (needCheckInitializer) {
-          const initializerType = checkExpressionCached(node.initializer);
           if (strictNullChecks && needCheckWidenedType) {
-            checkNonNullNonVoidType(initializerType, node);
+            checkNonNullNonVoidType(checkExpressionCached(node.initializer), node);
           } else {
-            checkTypeAssignableToAndOptionallyElaborate(initializerType, getWidenedTypeForVariableLikeDeclaration(node), node, node.initializer);
+            checkTypeAssignableToAndOptionallyElaborate(checkNonNullExpression(node.initializer), getWidenedTypeForVariableLikeDeclaration(node), node, node.initializer);
           }
         }
         if (needCheckWidenedType) {
@@ -124458,8 +124447,8 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
     if (options.customConditions && !moduleResolutionSupportsPackageJsonExportsAndImports(moduleResolution)) {
       createDiagnosticForOptionName(Diagnostics.Option_0_can_only_be_used_when_moduleResolution_is_set_to_node16_nodenext_or_bundler, "customConditions");
     }
-    if (moduleResolution === 100 /* Bundler */ && !emitModuleKindIsNonNodeESM(moduleKind) && moduleKind !== 200 /* Preserve */) {
-      createOptionValueDiagnostic("moduleResolution", Diagnostics.Option_0_can_only_be_used_when_module_is_set_to_preserve_or_to_es2015_or_later, "bundler");
+    if (moduleResolution === 100 /* Bundler */ && !emitModuleKindIsNonNodeESM(moduleKind) && moduleKind !== 200 /* Preserve */ && moduleKind !== 1 /* CommonJS */) {
+      createOptionValueDiagnostic("moduleResolution", Diagnostics.Option_0_can_only_be_used_when_module_is_set_to_preserve_commonjs_or_es2015_or_later, "bundler");
     }
     if (ModuleKind[moduleKind] && (100 /* Node16 */ <= moduleKind && moduleKind <= 199 /* NodeNext */) && !(3 /* Node16 */ <= moduleResolution && moduleResolution <= 99 /* NodeNext */)) {
       const moduleKindName = ModuleKind[moduleKind];

package/lib/typescript.d.ts

@@ -6893,11 +6893,10 @@ declare namespace ts {
         ContravariantConditional = 64,
         ReturnType = 128,
         LiteralKeyof = 256,
-        DistributiveConditional = 512,
-        NoConstraints = 1024,
-        AlwaysStrict = 2048,
-        MaxValue = 4096,
-        PriorityImpliesCombination = 928,
+        NoConstraints = 512,
+        AlwaysStrict = 1024,
+        MaxValue = 2048,
+        PriorityImpliesCombination = 416,
         Circularity = -1,
     }
     interface FileExtensionInfo {

package/lib/typescript.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-insiders.20250820`;
+var version = `${versionMajorMinor}.0-insiders.20250823`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -6641,11 +6641,10 @@ var InferencePriority = /* @__PURE__ */ ((InferencePriority2) => {
   InferencePriority2[InferencePriority2["ContravariantConditional"] = 64] = "ContravariantConditional";
   InferencePriority2[InferencePriority2["ReturnType"] = 128] = "ReturnType";
   InferencePriority2[InferencePriority2["LiteralKeyof"] = 256] = "LiteralKeyof";
-  InferencePriority2[InferencePriority2["DistributiveConditional"] = 512] = "DistributiveConditional";
-  InferencePriority2[InferencePriority2["NoConstraints"] = 1024] = "NoConstraints";
-  InferencePriority2[InferencePriority2["AlwaysStrict"] = 2048] = "AlwaysStrict";
-  InferencePriority2[InferencePriority2["MaxValue"] = 4096] = "MaxValue";
-  InferencePriority2[InferencePriority2["PriorityImpliesCombination"] = 928] = "PriorityImpliesCombination";
+  InferencePriority2[InferencePriority2["NoConstraints"] = 512] = "NoConstraints";
+  InferencePriority2[InferencePriority2["AlwaysStrict"] = 1024] = "AlwaysStrict";
+  InferencePriority2[InferencePriority2["MaxValue"] = 2048] = "MaxValue";
+  InferencePriority2[InferencePriority2["PriorityImpliesCombination"] = 416] = "PriorityImpliesCombination";
   InferencePriority2[InferencePriority2["Circularity"] = -1] = "Circularity";
   return InferencePriority2;
 })(InferencePriority || {});
@@ -10382,7 +10381,7 @@ var Diagnostics = {
   The_root_value_of_a_0_file_must_be_an_object: diag(5092, 1 /* Error */, "The_root_value_of_a_0_file_must_be_an_object_5092", "The root value of a '{0}' file must be an object."),
   Compiler_option_0_may_only_be_used_with_build: diag(5093, 1 /* Error */, "Compiler_option_0_may_only_be_used_with_build_5093", "Compiler option '--{0}' may only be used with '--build'."),
   Compiler_option_0_may_not_be_used_with_build: diag(5094, 1 /* Error */, "Compiler_option_0_may_not_be_used_with_build_5094", "Compiler option '--{0}' may not be used with '--build'."),
-  Option_0_can_only_be_used_when_module_is_set_to_preserve_or_to_es2015_or_later: diag(5095, 1 /* Error */, "Option_0_can_only_be_used_when_module_is_set_to_preserve_or_to_es2015_or_later_5095", "Option '{0}' can only be used when 'module' is set to 'preserve' or to 'es2015' or later."),
+  Option_0_can_only_be_used_when_module_is_set_to_preserve_commonjs_or_es2015_or_later: diag(5095, 1 /* Error */, "Option_0_can_only_be_used_when_module_is_set_to_preserve_commonjs_or_es2015_or_later_5095", "Option '{0}' can only be used when 'module' is set to 'preserve', 'commonjs', or 'es2015' or later."),
   Option_allowImportingTsExtensions_can_only_be_used_when_either_noEmit_or_emitDeclarationOnly_is_set: diag(5096, 1 /* Error */, "Option_allowImportingTsExtensions_can_only_be_used_when_either_noEmit_or_emitDeclarationOnly_is_set_5096", "Option 'allowImportingTsExtensions' can only be used when either 'noEmit' or 'emitDeclarationOnly' is set."),
   An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled: diag(5097, 1 /* Error */, "An_import_path_can_only_end_with_a_0_extension_when_allowImportingTsExtensions_is_enabled_5097", "An import path can only end with a '{0}' extension when 'allowImportingTsExtensions' is enabled."),
   Option_0_can_only_be_used_when_moduleResolution_is_set_to_node16_nodenext_or_bundler: diag(5098, 1 /* Error */, "Option_0_can_only_be_used_when_moduleResolution_is_set_to_node16_nodenext_or_bundler_5098", "Option '{0}' can only be used when 'moduleResolution' is set to 'node16', 'nodenext', or 'bundler'."),
@@ -67168,7 +67167,7 @@ function createTypeChecker(host) {
           context.nonFixingMapper = combineTypeMappers(context.nonFixingMapper, mapper);
         }
         if (!checkTypeDeferred) {
-          inferTypes(context.inferences, checkType, extendsType, 1024 /* NoConstraints */ | 2048 /* AlwaysStrict */);
+          inferTypes(context.inferences, checkType, extendsType, 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
         }
         combinedMapper = mapper ? combineTypeMappers(context.mapper, mapper) : context.mapper;
       }
@@ -70855,7 +70854,7 @@ function createTypeChecker(host) {
               0 /* None */,
               isRelatedToWorker
             );
-            inferTypes(ctx.inferences, target2.extendsType, sourceExtends, 1024 /* NoConstraints */ | 2048 /* AlwaysStrict */);
+            inferTypes(ctx.inferences, target2.extendsType, sourceExtends, 512 /* NoConstraints */ | 1024 /* AlwaysStrict */);
             sourceExtends = instantiateType(sourceExtends, ctx.mapper);
             mapper = ctx.mapper;
           }
@@ -73120,7 +73119,7 @@ function createTypeChecker(host) {
   function inferTypes(inferences, originalSource, originalTarget, priority = 0 /* None */, contravariant = false) {
     let bivariant = false;
     let propagationType;
-    let inferencePriority = 4096 /* MaxValue */;
+    let inferencePriority = 2048 /* MaxValue */;
     let visited;
     let sourceStack;
     let targetStack;
@@ -73195,18 +73194,13 @@ function createTypeChecker(host) {
             if (candidate === blockedStringType) {
               return;
             }
-            const combinedPriority = priority | (inference.individualPriority || 0 /* None */);
-            if (inference.priority === void 0 || priority < (inference.priority & ~512 /* DistributiveConditional */)) {
+            if (inference.priority === void 0 || priority < inference.priority) {
               inference.candidates = void 0;
               inference.contraCandidates = void 0;
               inference.topLevel = true;
-              inference.priority = combinedPriority;
+              inference.priority = priority;
             }
-            if (priority === (inference.priority & ~512 /* DistributiveConditional */)) {
-              if (inference.priority > combinedPriority) {
-                inference.priority = combinedPriority;
-                clearCachedInferences(inferences);
-              }
+            if (priority === inference.priority) {
               if (contravariant && !bivariant) {
                 if (!contains(inference.contraCandidates, candidate)) {
                   inference.contraCandidates = append(inference.contraCandidates, candidate);
@@ -73288,7 +73282,7 @@ function createTypeChecker(host) {
         if (isGenericMappedType(source) && isGenericMappedType(target)) {
           invokeOnce(source, target, inferFromGenericMappedTypes);
         }
-        if (!(priority & 1024 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
+        if (!(priority & 512 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
           const apparentSource = getApparentType(source);
           if (apparentSource !== source && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
             return inferFromTypes(apparentSource, target);
@@ -73327,7 +73321,7 @@ function createTypeChecker(host) {
       }
       (visited || (visited = /* @__PURE__ */ new Map())).set(key, -1 /* Circularity */);
       const saveInferencePriority = inferencePriority;
-      inferencePriority = 4096 /* MaxValue */;
+      inferencePriority = 2048 /* MaxValue */;
       const saveExpandingFlags = expandingFlags;
       (sourceStack ?? (sourceStack = [])).push(source);
       (targetStack ?? (targetStack = [])).push(target);
@@ -73377,7 +73371,7 @@ function createTypeChecker(host) {
       contravariant = !contravariant;
     }
     function inferFromContravariantTypesIfStrictFunctionTypes(source, target) {
-      if (strictFunctionTypes || priority & 2048 /* AlwaysStrict */) {
+      if (strictFunctionTypes || priority & 1024 /* AlwaysStrict */) {
         inferFromContravariantTypes(source, target);
       } else {
         inferFromTypes(source, target);
@@ -73418,7 +73412,7 @@ function createTypeChecker(host) {
           } else {
             for (let i = 0; i < sources.length; i++) {
               const saveInferencePriority = inferencePriority;
-              inferencePriority = 4096 /* MaxValue */;
+              inferencePriority = 2048 /* MaxValue */;
               inferFromTypes(sources[i], t);
               if (inferencePriority === priority) matched[i] = true;
               inferenceCircularity = inferenceCircularity || inferencePriority === -1 /* Circularity */;
@@ -73497,11 +73491,6 @@ function createTypeChecker(host) {
       return false;
     }
     function inferToConditionalType(source, target) {
-      const info = target.root.isDistributive ? getInferenceInfoForType(getActualTypeVariable(target.checkType)) : void 0;
-      const saveIndividualPriority = info == null ? void 0 : info.individualPriority;
-      if (info) {
-        info.individualPriority = (info.individualPriority || 0 /* None */) | 512 /* DistributiveConditional */;
-      }
       if (source.flags & 16777216 /* Conditional */) {
         inferFromTypes(source.checkType, target.checkType);
         inferFromTypes(source.extendsType, target.extendsType);
@@ -73511,9 +73500,6 @@ function createTypeChecker(host) {
         const targetTypes = [getTrueTypeFromConditionalType(target), getFalseTypeFromConditionalType(target)];
         inferToMultipleTypesWithPriority(source, targetTypes, target.flags, contravariant ? 64 /* ContravariantConditional */ : 0);
       }
-      if (info) {
-        info.individualPriority = saveIndividualPriority;
-      }
     }
     function inferToTemplateLiteralType(source, target) {
       const matches = inferTypesFromTemplateLiteralType(source, target);
@@ -73754,14 +73740,14 @@ function createTypeChecker(host) {
     return candidates;
   }
   function getContravariantInference(inference) {
-    return inference.priority & 928 /* PriorityImpliesCombination */ ? getIntersectionType(inference.contraCandidates) : getCommonSubtype(inference.contraCandidates);
+    return inference.priority & 416 /* PriorityImpliesCombination */ ? getIntersectionType(inference.contraCandidates) : getCommonSubtype(inference.contraCandidates);
   }
   function getCovariantInference(inference, signature) {
     const candidates = unionObjectAndArrayLiteralCandidates(inference.candidates);
     const primitiveConstraint = hasPrimitiveConstraint(inference.typeParameter) || isConstTypeVariable(inference.typeParameter);
     const widenLiteralTypes = !primitiveConstraint && inference.topLevel && (inference.isFixed || !isTypeParameterAtTopLevelInReturnType(signature, inference.typeParameter));
     const baseCandidates = primitiveConstraint ? sameMap(candidates, getRegularTypeOfLiteralType) : widenLiteralTypes ? sameMap(candidates, getWidenedLiteralType) : candidates;
-    const unwidenedType = inference.priority & 928 /* PriorityImpliesCombination */ ? getUnionType(baseCandidates, 2 /* Subtype */) : getCommonSupertype(baseCandidates);
+    const unwidenedType = inference.priority & 416 /* PriorityImpliesCombination */ ? getUnionType(baseCandidates, 2 /* Subtype */) : getCommonSupertype(baseCandidates);
     return getWidenedType(unwidenedType);
   }
   function getInferredType(context, index) {
@@ -87830,8 +87816,11 @@ function createTypeChecker(host) {
       }
       const parent2 = node.parent.parent;
       const parentCheckMode = node.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
-      const parentType = getTypeForBindingElementParent(parent2, parentCheckMode);
       const name = node.propertyName || node.name;
+      let parentType = getTypeForBindingElementParent(parent2, parentCheckMode);
+      if (parentType && !parent2.initializer) {
+        parentType = checkNonNullType(parentType, parent2);
+      }
       if (parentType && !isBindingPattern(name)) {
         const exprType = getLiteralTypeFromPropertyName(name);
         if (isTypeUsableAsPropertyName(exprType)) {
@@ -87871,16 +87860,15 @@ function createTypeChecker(host) {
       if (isInAmbientOrTypeNode(node)) {
         return;
       }
-      const needCheckInitializer = hasOnlyExpressionInitializer(node) && node.initializer && node.parent.parent.kind !== 250 /* ForInStatement */;
+      const needCheckInitializer = node.initializer && node.parent.parent.kind !== 250 /* ForInStatement */;
       const needCheckWidenedType = !some(node.name.elements, not(isOmittedExpression));
       if (needCheckInitializer || needCheckWidenedType) {
         const widenedType = getWidenedTypeForVariableLikeDeclaration(node);
         if (needCheckInitializer) {
-          const initializerType = checkExpressionCached(node.initializer);
           if (strictNullChecks && needCheckWidenedType) {
-            checkNonNullNonVoidType(initializerType, node);
+            checkNonNullNonVoidType(checkExpressionCached(node.initializer), node);
           } else {
-            checkTypeAssignableToAndOptionallyElaborate(initializerType, getWidenedTypeForVariableLikeDeclaration(node), node, node.initializer);
+            checkTypeAssignableToAndOptionallyElaborate(checkNonNullExpression(node.initializer), getWidenedTypeForVariableLikeDeclaration(node), node, node.initializer);
           }
         }
         if (needCheckWidenedType) {
@@ -129306,8 +129294,8 @@ function createProgram(_rootNamesOrOptions, _options, _host, _oldProgram, _confi
     if (options.customConditions && !moduleResolutionSupportsPackageJsonExportsAndImports(moduleResolution)) {
       createDiagnosticForOptionName(Diagnostics.Option_0_can_only_be_used_when_moduleResolution_is_set_to_node16_nodenext_or_bundler, "customConditions");
     }
-    if (moduleResolution === 100 /* Bundler */ && !emitModuleKindIsNonNodeESM(moduleKind) && moduleKind !== 200 /* Preserve */) {
-      createOptionValueDiagnostic("moduleResolution", Diagnostics.Option_0_can_only_be_used_when_module_is_set_to_preserve_or_to_es2015_or_later, "bundler");
+    if (moduleResolution === 100 /* Bundler */ && !emitModuleKindIsNonNodeESM(moduleKind) && moduleKind !== 200 /* Preserve */ && moduleKind !== 1 /* CommonJS */) {
+      createOptionValueDiagnostic("moduleResolution", Diagnostics.Option_0_can_only_be_used_when_module_is_set_to_preserve_commonjs_or_es2015_or_later, "bundler");
     }
     if (ModuleKind[moduleKind] && (100 /* Node16 */ <= moduleKind && moduleKind <= 199 /* NodeNext */) && !(3 /* Node16 */ <= moduleResolution && moduleResolution <= 99 /* NodeNext */)) {
       const moduleKindName = ModuleKind[moduleKind];

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "6.0.0-pr-62093-21",
+  "version": "6.0.0-pr-60121-19",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [