@typescript-deploys/pr-build 5.8.0-pr-61144-2 → 5.8.0-pr-60434-6

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-insiders.20250207`;
+var version = `${versionMajorMinor}.0-insiders.20250212`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -72343,6 +72343,50 @@ function createTypeChecker(host) {
       )
     );
   }
+  function discriminateContextualTypeByArrayElements(node, contextualType) {
+    const key = `D${getNodeId(node)},${getTypeId(contextualType)}`;
+    const cachedType = getCachedType(key);
+    if (cachedType) return cachedType;
+    const isIndexPropertyLike = (property) => /^[-+]?\d+$/.test(property.escapedName);
+    const hasIndexPropertyOutOfRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
+      if (p.flags & 16777216 /* Optional */ || !isIndexPropertyLike(p)) return false;
+      const index = +p.escapedName;
+      return index < 0 || index >= length2;
+    });
+    const hasIndexPropertyInRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
+      if (!isIndexPropertyLike(p)) return false;
+      const index = +p.escapedName;
+      return index >= 0 || index < length2;
+    });
+    const elementsLength = node.elements.length;
+    const filteredType = filterType(contextualType, (type) => {
+      if (isTupleType(type)) {
+        return elementsLength >= type.target.minLength && (!!(type.target.combinedFlags & 12 /* Variable */) || elementsLength <= type.target.fixedLength);
+      }
+      return !hasIndexPropertyOutOfRange(type, elementsLength);
+    });
+    if (filteredType.flags & 131072 /* Never */) return setCachedType(key, contextualType);
+    if (!(filteredType.flags & 1048576 /* Union */)) {
+      return setCachedType(
+        key,
+        isTupleType(filteredType) || hasIndexPropertyInRange(filteredType, elementsLength) ? filteredType : contextualType
+      );
+    }
+    return setCachedType(
+      key,
+      discriminateTypeByDiscriminableItems(
+        filteredType,
+        filter(
+          map(node.elements, (element, index) => {
+            const name = "" + index;
+            return isPossiblyDiscriminantValue(element) && isDiscriminantProperty(filteredType, name) ? [() => getContextFreeTypeOfExpression(element), name] : void 0;
+          }),
+          (discriminator) => !!discriminator
+        ),
+        isTypeAssignableTo
+      )
+    );
+  }
   function getApparentTypeOfContextualType(node, contextFlags) {
     const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType(node, contextFlags);
     const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
@@ -72357,7 +72401,12 @@ function createTypeChecker(host) {
         /*noReductions*/
         true
       );
-      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
+      if (apparentType.flags & 1048576 /* Union */) {
+        if (isObjectLiteralExpression(node)) return discriminateContextualTypeByObjectMembers(node, apparentType);
+        if (isJsxAttributes(node)) return discriminateContextualTypeByJSXAttributes(node, apparentType);
+        if (isArrayLiteralExpression(node)) return discriminateContextualTypeByArrayElements(node, apparentType);
+      }
+      return apparentType;
     }
   }
   function instantiateContextualType(contextualType, node, contextFlags) {
@@ -111874,7 +111923,7 @@ function transformECMAScriptModule(context) {
         if (node === (importsAndRequiresToRewriteOrShim == null ? void 0 : importsAndRequiresToRewriteOrShim[0])) {
           return visitImportOrRequireCall(importsAndRequiresToRewriteOrShim.shift());
         }
-        break;
+      // fallthrough
       default:
         if ((importsAndRequiresToRewriteOrShim == null ? void 0 : importsAndRequiresToRewriteOrShim.length) && rangeContainsRange(node, importsAndRequiresToRewriteOrShim[0])) {
           return visitEachChild(node, visitor, context);

package/lib/typescript.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-insiders.20250207`;
+var version = `${versionMajorMinor}.0-insiders.20250212`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -76953,6 +76953,50 @@ function createTypeChecker(host) {
       )
     );
   }
+  function discriminateContextualTypeByArrayElements(node, contextualType) {
+    const key = `D${getNodeId(node)},${getTypeId(contextualType)}`;
+    const cachedType = getCachedType(key);
+    if (cachedType) return cachedType;
+    const isIndexPropertyLike = (property) => /^[-+]?\d+$/.test(property.escapedName);
+    const hasIndexPropertyOutOfRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
+      if (p.flags & 16777216 /* Optional */ || !isIndexPropertyLike(p)) return false;
+      const index = +p.escapedName;
+      return index < 0 || index >= length2;
+    });
+    const hasIndexPropertyInRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
+      if (!isIndexPropertyLike(p)) return false;
+      const index = +p.escapedName;
+      return index >= 0 || index < length2;
+    });
+    const elementsLength = node.elements.length;
+    const filteredType = filterType(contextualType, (type) => {
+      if (isTupleType(type)) {
+        return elementsLength >= type.target.minLength && (!!(type.target.combinedFlags & 12 /* Variable */) || elementsLength <= type.target.fixedLength);
+      }
+      return !hasIndexPropertyOutOfRange(type, elementsLength);
+    });
+    if (filteredType.flags & 131072 /* Never */) return setCachedType(key, contextualType);
+    if (!(filteredType.flags & 1048576 /* Union */)) {
+      return setCachedType(
+        key,
+        isTupleType(filteredType) || hasIndexPropertyInRange(filteredType, elementsLength) ? filteredType : contextualType
+      );
+    }
+    return setCachedType(
+      key,
+      discriminateTypeByDiscriminableItems(
+        filteredType,
+        filter(
+          map(node.elements, (element, index) => {
+            const name = "" + index;
+            return isPossiblyDiscriminantValue(element) && isDiscriminantProperty(filteredType, name) ? [() => getContextFreeTypeOfExpression(element), name] : void 0;
+          }),
+          (discriminator) => !!discriminator
+        ),
+        isTypeAssignableTo
+      )
+    );
+  }
   function getApparentTypeOfContextualType(node, contextFlags) {
     const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType2(node, contextFlags);
     const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
@@ -76967,7 +77011,12 @@ function createTypeChecker(host) {
         /*noReductions*/
         true
       );
-      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
+      if (apparentType.flags & 1048576 /* Union */) {
+        if (isObjectLiteralExpression(node)) return discriminateContextualTypeByObjectMembers(node, apparentType);
+        if (isJsxAttributes(node)) return discriminateContextualTypeByJSXAttributes(node, apparentType);
+        if (isArrayLiteralExpression(node)) return discriminateContextualTypeByArrayElements(node, apparentType);
+      }
+      return apparentType;
     }
   }
   function instantiateContextualType(contextualType, node, contextFlags) {
@@ -116666,7 +116715,7 @@ function transformECMAScriptModule(context) {
         if (node === (importsAndRequiresToRewriteOrShim == null ? void 0 : importsAndRequiresToRewriteOrShim[0])) {
           return visitImportOrRequireCall(importsAndRequiresToRewriteOrShim.shift());
         }
-        break;
+      // fallthrough
       default:
         if ((importsAndRequiresToRewriteOrShim == null ? void 0 : importsAndRequiresToRewriteOrShim.length) && rangeContainsRange(node, importsAndRequiresToRewriteOrShim[0])) {
           return visitEachChild(node, visitor, context);

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.8.0-pr-61144-2",
+  "version": "5.8.0-pr-60434-6",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -62,7 +62,7 @@
     "chokidar": "^3.6.0",
     "diff": "^5.2.0",
     "dprint": "^0.47.6",
-    "esbuild": "^0.24.0",
+    "esbuild": "^0.25.0",
     "eslint": "^9.17.0",
     "eslint-formatter-autolinkable-stylish": "^1.4.0",
     "eslint-plugin-regexp": "^2.7.0",