npm - @typescript-deploys/pr-build - Versions diffs - 6.0.0-pr-53017-28 → 6.0.0-pr-53017-35 - Mend

@typescript-deploys/pr-build 6.0.0-pr-53017-28 → 6.0.0-pr-53017-35

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (3) hide show

package/lib/_tsc.js CHANGED Viewed

@@ -18,7 +18,7 @@ and limitations under the License.
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-insiders.20251201`;
+var version = `${versionMajorMinor}.0-insiders.20251202`;
 // src/compiler/core.ts
 var emptyArray = [];
@@ -68327,7 +68327,10 @@ function createTypeChecker(host) {
     }
     if (inference.indexes) {
       const eraseSelfMapper = makeArrayTypeMapper([constraint.type, typeParameter], [allKeysAllKeysUnknownType, stringNumberSymbolType]);
-      return instantiateType(getIntersectionType(inference.indexes), eraseSelfMapper);
+      const aggregateInference = instantiateType(getIntersectionType(inference.indexes), eraseSelfMapper);
+      if (!(getReducedType(aggregateInference).flags & 131072 /* Never */)) {
+        return aggregateInference;
+      }
     }
     return unknownType;
   }
@@ -68679,7 +68682,7 @@ function createTypeChecker(host) {
           if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableAnyType) {
             return;
           }
-          if (!inference.isFixed) {
+          if (!hasInferenceCandidates(inference)) {
             const partialInferenceTypeSymbol = getGlobalPartialInferenceSymbol();
             if (partialInferenceTypeSymbol) {
               if (target.indexType.flags & 465829888 /* Instantiable */) {
@@ -69199,52 +69202,63 @@ function createTypeChecker(host) {
         } else if (inference.indexes) {
           const eraseSelfMapper = makeUnaryTypeMapper(inference.typeParameter, allKeysUnknownType);
           let aggregateInference = instantiateType(getIntersectionType(inference.indexes), mergeTypeMappers(eraseSelfMapper, context.nonFixingMapper));
+          if (getReducedType(aggregateInference).flags & 131072 /* Never */) {
+            aggregateInference = void 0;
+          }
           const constraint2 = getConstraintOfTypeParameter(inference.typeParameter);
-          if (constraint2) {
+          if (aggregateInference && constraint2) {
             const instantiatedConstraint = instantiateType(constraint2, context.nonFixingMapper);
-            if (instantiatedConstraint.flags & 1048576 /* Union */ && !context.compareTypes(aggregateInference, getTypeWithThisArgument(instantiatedConstraint, aggregateInference))) {
-              const discriminantProps = findDiscriminantProperties(getPropertiesOfType(aggregateInference), instantiatedConstraint);
-              if (discriminantProps) {
-                let match;
-                findDiscriminant:
-                  for (const p of discriminantProps) {
-                    const candidatePropType = getTypeOfPropertyOfType(aggregateInference, p.escapedName);
-                    for (const type of instantiatedConstraint.types) {
-                      const propType = getTypeOfPropertyOfType(type, p.escapedName);
-                      if (propType && candidatePropType && checkTypeAssignableTo(
-                        candidatePropType,
-                        propType,
-                        /*errorNode*/
-                        void 0
-                      )) {
-                        if (match && match !== type) {
-                          match = void 0;
-                          break findDiscriminant;
-                        } else {
-                          match = type;
+            let assignableToConstraint = context.compareTypes(aggregateInference, getTypeWithThisArgument(instantiatedConstraint, aggregateInference));
+            if (!assignableToConstraint) {
+              if (instantiatedConstraint.flags & 1048576 /* Union */) {
+                const discriminantProps = findDiscriminantProperties(getPropertiesOfType(aggregateInference), instantiatedConstraint);
+                if (discriminantProps) {
+                  let match;
+                  findDiscriminant:
+                    for (const p of discriminantProps) {
+                      const candidatePropType = getTypeOfPropertyOfType(aggregateInference, p.escapedName);
+                      for (const type of instantiatedConstraint.types) {
+                        const propType = getTypeOfPropertyOfType(type, p.escapedName);
+                        if (propType && candidatePropType && checkTypeAssignableTo(
+                          candidatePropType,
+                          propType,
+                          /*errorNode*/
+                          void 0
+                        )) {
+                          if (match && match !== type) {
+                            match = void 0;
+                            break findDiscriminant;
+                          } else {
+                            match = type;
+                          }
                         }
                       }
                     }
+                  if (match) {
+                    aggregateInference = getSpreadType(
+                      match,
+                      aggregateInference,
+                      /*symbol*/
+                      void 0,
+                      /*propegatedFlags*/
+                      0,
+                      /*readonly*/
+                      false
+                    );
+                    assignableToConstraint = context.compareTypes(aggregateInference, getTypeWithThisArgument(instantiatedConstraint, aggregateInference));
                   }
-                if (match) {
-                  aggregateInference = getSpreadType(
-                    match,
-                    aggregateInference,
-                    /*symbol*/
-                    void 0,
-                    /*propegatedFlags*/
-                    0,
-                    /*readonly*/
-                    false
-                  );
                 }
               }
+              if (!assignableToConstraint) {
+                aggregateInference = void 0;
+              }
             }
           }
           inferredType = aggregateInference;
         } else if (context.flags & 1 /* NoDefault */) {
           inferredType = silentNeverType;
-        } else {
+        }
+        if (!inferredType) {
           const defaultType = getDefaultFromTypeParameter(inference.typeParameter);
           if (defaultType) {
             inferredType = instantiateType(defaultType, mergeTypeMappers(createBackreferenceMapper(context, index), context.nonFixingMapper));

package/lib/typescript.js CHANGED Viewed

@@ -2286,7 +2286,7 @@ module.exports = __toCommonJS(typescript_exports);
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-insiders.20251201`;
+var version = `${versionMajorMinor}.0-insiders.20251202`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -72955,7 +72955,10 @@ function createTypeChecker(host) {
     }
     if (inference.indexes) {
       const eraseSelfMapper = makeArrayTypeMapper([constraint.type, typeParameter], [allKeysAllKeysUnknownType, stringNumberSymbolType]);
-      return instantiateType(getIntersectionType(inference.indexes), eraseSelfMapper);
+      const aggregateInference = instantiateType(getIntersectionType(inference.indexes), eraseSelfMapper);
+      if (!(getReducedType(aggregateInference).flags & 131072 /* Never */)) {
+        return aggregateInference;
+      }
     }
     return unknownType;
   }
@@ -73307,7 +73310,7 @@ function createTypeChecker(host) {
           if (getObjectFlags(source) & 262144 /* NonInferrableType */ || source === nonInferrableAnyType) {
             return;
           }
-          if (!inference.isFixed) {
+          if (!hasInferenceCandidates(inference)) {
             const partialInferenceTypeSymbol = getGlobalPartialInferenceSymbol();
             if (partialInferenceTypeSymbol) {
               if (target.indexType.flags & 465829888 /* Instantiable */) {
@@ -73827,52 +73830,63 @@ function createTypeChecker(host) {
         } else if (inference.indexes) {
           const eraseSelfMapper = makeUnaryTypeMapper(inference.typeParameter, allKeysUnknownType);
           let aggregateInference = instantiateType(getIntersectionType(inference.indexes), mergeTypeMappers(eraseSelfMapper, context.nonFixingMapper));
+          if (getReducedType(aggregateInference).flags & 131072 /* Never */) {
+            aggregateInference = void 0;
+          }
           const constraint2 = getConstraintOfTypeParameter(inference.typeParameter);
-          if (constraint2) {
+          if (aggregateInference && constraint2) {
             const instantiatedConstraint = instantiateType(constraint2, context.nonFixingMapper);
-            if (instantiatedConstraint.flags & 1048576 /* Union */ && !context.compareTypes(aggregateInference, getTypeWithThisArgument(instantiatedConstraint, aggregateInference))) {
-              const discriminantProps = findDiscriminantProperties(getPropertiesOfType(aggregateInference), instantiatedConstraint);
-              if (discriminantProps) {
-                let match;
-                findDiscriminant:
-                  for (const p of discriminantProps) {
-                    const candidatePropType = getTypeOfPropertyOfType(aggregateInference, p.escapedName);
-                    for (const type of instantiatedConstraint.types) {
-                      const propType = getTypeOfPropertyOfType(type, p.escapedName);
-                      if (propType && candidatePropType && checkTypeAssignableTo(
-                        candidatePropType,
-                        propType,
-                        /*errorNode*/
-                        void 0
-                      )) {
-                        if (match && match !== type) {
-                          match = void 0;
-                          break findDiscriminant;
-                        } else {
-                          match = type;
+            let assignableToConstraint = context.compareTypes(aggregateInference, getTypeWithThisArgument(instantiatedConstraint, aggregateInference));
+            if (!assignableToConstraint) {
+              if (instantiatedConstraint.flags & 1048576 /* Union */) {
+                const discriminantProps = findDiscriminantProperties(getPropertiesOfType(aggregateInference), instantiatedConstraint);
+                if (discriminantProps) {
+                  let match;
+                  findDiscriminant:
+                    for (const p of discriminantProps) {
+                      const candidatePropType = getTypeOfPropertyOfType(aggregateInference, p.escapedName);
+                      for (const type of instantiatedConstraint.types) {
+                        const propType = getTypeOfPropertyOfType(type, p.escapedName);
+                        if (propType && candidatePropType && checkTypeAssignableTo(
+                          candidatePropType,
+                          propType,
+                          /*errorNode*/
+                          void 0
+                        )) {
+                          if (match && match !== type) {
+                            match = void 0;
+                            break findDiscriminant;
+                          } else {
+                            match = type;
+                          }
                         }
                       }
                     }
+                  if (match) {
+                    aggregateInference = getSpreadType(
+                      match,
+                      aggregateInference,
+                      /*symbol*/
+                      void 0,
+                      /*propegatedFlags*/
+                      0,
+                      /*readonly*/
+                      false
+                    );
+                    assignableToConstraint = context.compareTypes(aggregateInference, getTypeWithThisArgument(instantiatedConstraint, aggregateInference));
                   }
-                if (match) {
-                  aggregateInference = getSpreadType(
-                    match,
-                    aggregateInference,
-                    /*symbol*/
-                    void 0,
-                    /*propegatedFlags*/
-                    0,
-                    /*readonly*/
-                    false
-                  );
                 }
               }
+              if (!assignableToConstraint) {
+                aggregateInference = void 0;
+              }
             }
           }
           inferredType = aggregateInference;
         } else if (context.flags & 1 /* NoDefault */) {
           inferredType = silentNeverType;
-        } else {
+        }
+        if (!inferredType) {
           const defaultType = getDefaultFromTypeParameter(inference.typeParameter);
           if (defaultType) {
             inferredType = instantiateType(defaultType, mergeTypeMappers(createBackreferenceMapper(context, index), context.nonFixingMapper));

package/package.json CHANGED Viewed

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