@typescript-deploys/pr-build 5.1.0-pr-50092-15 → 5.1.0-pr-53739-12

package/lib/lib.es5.d.ts

@@ -1832,7 +1832,7 @@ interface DataView {
 
 interface DataViewConstructor {
     readonly prototype: DataView;
-    new(buffer: ArrayBufferLike, byteOffset?: number, byteLength?: number): DataView;
+    new(buffer: ArrayBufferLike & { BYTES_PER_ELEMENT?: never }, byteOffset?: number, byteLength?: number): DataView;
 }
 declare var DataView: DataViewConstructor;
 

package/lib/tsc.js

@@ -42568,6 +42568,7 @@ function isInstantiatedModule(node, preserveConstEnums) {
   const moduleState = getModuleInstanceState(node);
   return moduleState === 1 /* Instantiated */ || preserveConstEnums && moduleState === 2 /* ConstEnumOnly */;
 }
+var UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
 function createTypeChecker(host) {
   var getPackagesMap = memoize(() => {
     var map2 = /* @__PURE__ */ new Map();
@@ -51740,7 +51741,12 @@ function createTypeChecker(host) {
     if (!links.type) {
       Debug.assertIsDefined(links.deferralParent);
       Debug.assertIsDefined(links.deferralConstituents);
-      links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
+      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+      let result = operation(links.deferralConstituents);
+      for (const part of links.deferredMismatchedParts || emptyArray) {
+        result = operation([result, getTypeOfSymbol(part)]);
+      }
+      links.type = result;
     }
     return links.type;
   }
@@ -51748,8 +51754,12 @@ function createTypeChecker(host) {
     const links = getSymbolLinks(symbol);
     if (!links.writeType && links.deferralWriteConstituents) {
       Debug.assertIsDefined(links.deferralParent);
-      Debug.assertIsDefined(links.deferralConstituents);
-      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+      let result = operation(links.deferralWriteConstituents);
+      for (const part of links.deferredMismatchedParts || emptyArray) {
+        result = operation([result, getTypeOfSymbol(part)]);
+      }
+      links.writeType = result;
     }
     return links.writeType;
   }
@@ -53786,7 +53796,7 @@ function createTypeChecker(host) {
     return getReducedType(getApparentType(getReducedType(type)));
   }
   function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-    var _a2, _b, _c;
+    var _a2, _b, _c, _d;
     let singleProp;
     let propSet;
     let indexTypes;
@@ -53868,8 +53878,9 @@ function createTypeChecker(host) {
     let declarations;
     let firstType;
     let nameType;
-    const propTypes = [];
+    let propTypes = [];
     let writeTypes;
+    let deferredMismatchedParts;
     let firstValueDeclaration;
     let hasNonUniformValueDeclaration = false;
     for (const prop of props) {
@@ -53879,6 +53890,24 @@ function createTypeChecker(host) {
         hasNonUniformValueDeclaration = true;
       }
       declarations = addRange(declarations, prop.declarations);
+      if (getCheckFlags(prop) & 65536 /* DeferredType */) {
+        checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
+        if (!nameType) {
+          nameType = getSymbolLinks(prop).nameType;
+        }
+        if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
+          const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
+          if (deferredWriteTypes) {
+            writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
+          }
+          propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
+          deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
+          break;
+        } else {
+          deferredMismatchedParts = append(deferredMismatchedParts, prop);
+          break;
+        }
+      }
       const type = getTypeOfSymbol(prop);
       if (!firstType) {
         firstType = type;
@@ -53909,11 +53938,12 @@ function createTypeChecker(host) {
     }
     result.declarations = declarations;
     result.links.nameType = nameType;
-    if (propTypes.length > 2) {
+    if (propTypes.length > 2 || deferredMismatchedParts) {
       result.links.checkFlags |= 65536 /* DeferredType */;
       result.links.deferralParent = containingType;
       result.links.deferralConstituents = propTypes;
       result.links.deferralWriteConstituents = writeTypes;
+      result.links.deferredMismatchedParts = deferredMismatchedParts;
     } else {
       result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
       if (writeTypes) {
@@ -56270,7 +56300,7 @@ function createTypeChecker(host) {
   function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
     const typeMembershipMap = /* @__PURE__ */ new Map();
     const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-    const typeSet = arrayFrom(typeMembershipMap.values());
+    let typeSet = arrayFrom(typeMembershipMap.values());
     if (includes & 131072 /* Never */) {
       return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
     }
@@ -56302,6 +56332,8 @@ function createTypeChecker(host) {
     const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
     let result = intersectionTypes.get(id);
     if (!result) {
+      const originalSet = typeSet;
+      let runningResult;
       if (includes & 1048576 /* Union */) {
         if (intersectUnionsOfPrimitiveTypes(typeSet)) {
           result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -56313,12 +56345,32 @@ function createTypeChecker(host) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
         } else {
+          if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
+            if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
+              runningResult = getReducedType(typeSet[0]);
+              for (let i = 1; i < typeSet.length; i++) {
+                const reducedElem = getReducedType(typeSet[i]);
+                runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
+                if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
+                  return runningResult;
+                }
+                if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
+                  typeSet = typeSet.slice(i + 1);
+                  break;
+                }
+              }
+            }
+          }
           if (!checkCrossProductUnion(typeSet)) {
             return errorType;
           }
           const constituents = getCrossProductIntersections(typeSet);
-          const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
-          result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+          if (runningResult && runningResult !== typeSet[0]) {
+            result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
+          } else {
+            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
+            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+          }
         }
       } else {
         result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -56333,7 +56385,7 @@ function createTypeChecker(host) {
   function checkCrossProductUnion(types) {
     var _a2;
     const size = getCrossProductUnionSize(types);
-    if (size >= 1e5) {
+    if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
       (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
       error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
       return false;

package/lib/tsserver.js

@@ -47218,6 +47218,7 @@ function isInstantiatedModule(node, preserveConstEnums) {
   const moduleState = getModuleInstanceState(node);
   return moduleState === 1 /* Instantiated */ || preserveConstEnums && moduleState === 2 /* ConstEnumOnly */;
 }
+var UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
 function createTypeChecker(host) {
   var getPackagesMap = memoize(() => {
     var map2 = /* @__PURE__ */ new Map();
@@ -56390,7 +56391,12 @@ function createTypeChecker(host) {
     if (!links.type) {
       Debug.assertIsDefined(links.deferralParent);
       Debug.assertIsDefined(links.deferralConstituents);
-      links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
+      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+      let result = operation(links.deferralConstituents);
+      for (const part of links.deferredMismatchedParts || emptyArray) {
+        result = operation([result, getTypeOfSymbol(part)]);
+      }
+      links.type = result;
     }
     return links.type;
   }
@@ -56398,8 +56404,12 @@ function createTypeChecker(host) {
     const links = getSymbolLinks(symbol);
     if (!links.writeType && links.deferralWriteConstituents) {
       Debug.assertIsDefined(links.deferralParent);
-      Debug.assertIsDefined(links.deferralConstituents);
-      links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+      const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+      let result = operation(links.deferralWriteConstituents);
+      for (const part of links.deferredMismatchedParts || emptyArray) {
+        result = operation([result, getTypeOfSymbol(part)]);
+      }
+      links.writeType = result;
     }
     return links.writeType;
   }
@@ -58436,7 +58446,7 @@ function createTypeChecker(host) {
     return getReducedType(getApparentType(getReducedType(type)));
   }
   function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-    var _a2, _b, _c;
+    var _a2, _b, _c, _d;
     let singleProp;
     let propSet;
     let indexTypes;
@@ -58518,8 +58528,9 @@ function createTypeChecker(host) {
     let declarations;
     let firstType;
     let nameType;
-    const propTypes = [];
+    let propTypes = [];
     let writeTypes;
+    let deferredMismatchedParts;
     let firstValueDeclaration;
     let hasNonUniformValueDeclaration = false;
     for (const prop of props) {
@@ -58529,6 +58540,24 @@ function createTypeChecker(host) {
         hasNonUniformValueDeclaration = true;
       }
       declarations = addRange(declarations, prop.declarations);
+      if (getCheckFlags(prop) & 65536 /* DeferredType */) {
+        checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
+        if (!nameType) {
+          nameType = getSymbolLinks(prop).nameType;
+        }
+        if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
+          const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
+          if (deferredWriteTypes) {
+            writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
+          }
+          propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
+          deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
+          break;
+        } else {
+          deferredMismatchedParts = append(deferredMismatchedParts, prop);
+          break;
+        }
+      }
       const type = getTypeOfSymbol(prop);
       if (!firstType) {
         firstType = type;
@@ -58559,11 +58588,12 @@ function createTypeChecker(host) {
     }
     result.declarations = declarations;
     result.links.nameType = nameType;
-    if (propTypes.length > 2) {
+    if (propTypes.length > 2 || deferredMismatchedParts) {
       result.links.checkFlags |= 65536 /* DeferredType */;
       result.links.deferralParent = containingType;
       result.links.deferralConstituents = propTypes;
       result.links.deferralWriteConstituents = writeTypes;
+      result.links.deferredMismatchedParts = deferredMismatchedParts;
     } else {
       result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
       if (writeTypes) {
@@ -60920,7 +60950,7 @@ function createTypeChecker(host) {
   function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
     const typeMembershipMap = /* @__PURE__ */ new Map();
     const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-    const typeSet = arrayFrom(typeMembershipMap.values());
+    let typeSet = arrayFrom(typeMembershipMap.values());
     if (includes & 131072 /* Never */) {
       return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
     }
@@ -60952,6 +60982,8 @@ function createTypeChecker(host) {
     const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
     let result = intersectionTypes.get(id);
     if (!result) {
+      const originalSet = typeSet;
+      let runningResult;
       if (includes & 1048576 /* Union */) {
         if (intersectUnionsOfPrimitiveTypes(typeSet)) {
           result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -60963,12 +60995,32 @@ function createTypeChecker(host) {
           removeFromEach(typeSet, 65536 /* Null */);
           result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
         } else {
+          if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
+            if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
+              runningResult = getReducedType(typeSet[0]);
+              for (let i = 1; i < typeSet.length; i++) {
+                const reducedElem = getReducedType(typeSet[i]);
+                runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
+                if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
+                  return runningResult;
+                }
+                if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
+                  typeSet = typeSet.slice(i + 1);
+                  break;
+                }
+              }
+            }
+          }
           if (!checkCrossProductUnion(typeSet)) {
             return errorType;
           }
           const constituents = getCrossProductIntersections(typeSet);
-          const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
-          result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+          if (runningResult && runningResult !== typeSet[0]) {
+            result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
+          } else {
+            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
+            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+          }
         }
       } else {
         result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -60983,7 +61035,7 @@ function createTypeChecker(host) {
   function checkCrossProductUnion(types) {
     var _a2;
     const size = getCrossProductUnionSize(types);
-    if (size >= 1e5) {
+    if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
       (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
       error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
       return false;

package/lib/tsserverlibrary.js

@@ -54191,7 +54191,12 @@ ${lanes.join("\n")}
       if (!links.type) {
         Debug.assertIsDefined(links.deferralParent);
         Debug.assertIsDefined(links.deferralConstituents);
-        links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
+        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+        let result = operation(links.deferralConstituents);
+        for (const part of links.deferredMismatchedParts || emptyArray) {
+          result = operation([result, getTypeOfSymbol(part)]);
+        }
+        links.type = result;
       }
       return links.type;
     }
@@ -54199,8 +54204,12 @@ ${lanes.join("\n")}
       const links = getSymbolLinks(symbol);
       if (!links.writeType && links.deferralWriteConstituents) {
         Debug.assertIsDefined(links.deferralParent);
-        Debug.assertIsDefined(links.deferralConstituents);
-        links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+        let result = operation(links.deferralWriteConstituents);
+        for (const part of links.deferredMismatchedParts || emptyArray) {
+          result = operation([result, getTypeOfSymbol(part)]);
+        }
+        links.writeType = result;
       }
       return links.writeType;
     }
@@ -56237,7 +56246,7 @@ ${lanes.join("\n")}
       return getReducedType(getApparentType(getReducedType(type)));
     }
     function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-      var _a2, _b, _c;
+      var _a2, _b, _c, _d;
       let singleProp;
       let propSet;
       let indexTypes;
@@ -56319,8 +56328,9 @@ ${lanes.join("\n")}
       let declarations;
       let firstType;
       let nameType;
-      const propTypes = [];
+      let propTypes = [];
       let writeTypes;
+      let deferredMismatchedParts;
       let firstValueDeclaration;
       let hasNonUniformValueDeclaration = false;
       for (const prop of props) {
@@ -56330,6 +56340,24 @@ ${lanes.join("\n")}
           hasNonUniformValueDeclaration = true;
         }
         declarations = addRange(declarations, prop.declarations);
+        if (getCheckFlags(prop) & 65536 /* DeferredType */) {
+          checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
+          if (!nameType) {
+            nameType = getSymbolLinks(prop).nameType;
+          }
+          if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
+            const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
+            if (deferredWriteTypes) {
+              writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
+            }
+            propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
+            deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
+            break;
+          } else {
+            deferredMismatchedParts = append(deferredMismatchedParts, prop);
+            break;
+          }
+        }
         const type = getTypeOfSymbol(prop);
         if (!firstType) {
           firstType = type;
@@ -56360,11 +56388,12 @@ ${lanes.join("\n")}
       }
       result.declarations = declarations;
       result.links.nameType = nameType;
-      if (propTypes.length > 2) {
+      if (propTypes.length > 2 || deferredMismatchedParts) {
         result.links.checkFlags |= 65536 /* DeferredType */;
         result.links.deferralParent = containingType;
         result.links.deferralConstituents = propTypes;
         result.links.deferralWriteConstituents = writeTypes;
+        result.links.deferredMismatchedParts = deferredMismatchedParts;
       } else {
         result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
         if (writeTypes) {
@@ -58721,7 +58750,7 @@ ${lanes.join("\n")}
     function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
       const typeMembershipMap = /* @__PURE__ */ new Map();
       const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-      const typeSet = arrayFrom(typeMembershipMap.values());
+      let typeSet = arrayFrom(typeMembershipMap.values());
       if (includes & 131072 /* Never */) {
         return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
       }
@@ -58753,6 +58782,8 @@ ${lanes.join("\n")}
       const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
       let result = intersectionTypes.get(id);
       if (!result) {
+        const originalSet = typeSet;
+        let runningResult;
         if (includes & 1048576 /* Union */) {
           if (intersectUnionsOfPrimitiveTypes(typeSet)) {
             result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58764,12 +58795,32 @@ ${lanes.join("\n")}
             removeFromEach(typeSet, 65536 /* Null */);
             result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
           } else {
+            if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
+              if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
+                runningResult = getReducedType(typeSet[0]);
+                for (let i = 1; i < typeSet.length; i++) {
+                  const reducedElem = getReducedType(typeSet[i]);
+                  runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
+                  if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
+                    return runningResult;
+                  }
+                  if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
+                    typeSet = typeSet.slice(i + 1);
+                    break;
+                  }
+                }
+              }
+            }
             if (!checkCrossProductUnion(typeSet)) {
               return errorType;
             }
             const constituents = getCrossProductIntersections(typeSet);
-            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
-            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+            if (runningResult && runningResult !== typeSet[0]) {
+              result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
+            } else {
+              const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
+              result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+            }
           }
         } else {
           result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58784,7 +58835,7 @@ ${lanes.join("\n")}
     function checkCrossProductUnion(types) {
       var _a2;
       const size = getCrossProductUnionSize(types);
-      if (size >= 1e5) {
+      if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
         (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
         error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
         return false;
@@ -85470,7 +85521,7 @@ ${lanes.join("\n")}
       readFile: host.readFile ? (fileName) => host.readFile(fileName) : void 0
     };
   }
-  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, JsxNames, SymbolTrackerImpl;
+  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, UNION_CROSS_PRODUCT_SIZE_LIMIT, JsxNames, SymbolTrackerImpl;
   var init_checker = __esm({
     "src/compiler/checker.ts"() {
       "use strict";
@@ -85602,6 +85653,7 @@ ${lanes.join("\n")}
       }));
       SymbolLinks = class {
       };
+      UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
       ((JsxNames2) => {
         JsxNames2.JSX = "JSX";
         JsxNames2.IntrinsicElements = "IntrinsicElements";

package/lib/typescript.js

@@ -54191,7 +54191,12 @@ ${lanes.join("\n")}
       if (!links.type) {
         Debug.assertIsDefined(links.deferralParent);
         Debug.assertIsDefined(links.deferralConstituents);
-        links.type = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralConstituents) : getIntersectionType(links.deferralConstituents);
+        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+        let result = operation(links.deferralConstituents);
+        for (const part of links.deferredMismatchedParts || emptyArray) {
+          result = operation([result, getTypeOfSymbol(part)]);
+        }
+        links.type = result;
       }
       return links.type;
     }
@@ -54199,8 +54204,12 @@ ${lanes.join("\n")}
       const links = getSymbolLinks(symbol);
       if (!links.writeType && links.deferralWriteConstituents) {
         Debug.assertIsDefined(links.deferralParent);
-        Debug.assertIsDefined(links.deferralConstituents);
-        links.writeType = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType(links.deferralWriteConstituents) : getIntersectionType(links.deferralWriteConstituents);
+        const operation = links.deferralParent.flags & 1048576 /* Union */ ? getUnionType : getIntersectionType;
+        let result = operation(links.deferralWriteConstituents);
+        for (const part of links.deferredMismatchedParts || emptyArray) {
+          result = operation([result, getTypeOfSymbol(part)]);
+        }
+        links.writeType = result;
       }
       return links.writeType;
     }
@@ -56237,7 +56246,7 @@ ${lanes.join("\n")}
       return getReducedType(getApparentType(getReducedType(type)));
     }
     function createUnionOrIntersectionProperty(containingType, name, skipObjectFunctionPropertyAugment) {
-      var _a2, _b, _c;
+      var _a2, _b, _c, _d;
       let singleProp;
       let propSet;
       let indexTypes;
@@ -56319,8 +56328,9 @@ ${lanes.join("\n")}
       let declarations;
       let firstType;
       let nameType;
-      const propTypes = [];
+      let propTypes = [];
       let writeTypes;
+      let deferredMismatchedParts;
       let firstValueDeclaration;
       let hasNonUniformValueDeclaration = false;
       for (const prop of props) {
@@ -56330,6 +56340,24 @@ ${lanes.join("\n")}
           hasNonUniformValueDeclaration = true;
         }
         declarations = addRange(declarations, prop.declarations);
+        if (getCheckFlags(prop) & 65536 /* DeferredType */) {
+          checkFlags |= getCheckFlags(prop) & (131072 /* HasNeverType */ | 64 /* HasNonUniformType */ | 128 /* HasLiteralType */);
+          if (!nameType) {
+            nameType = getSymbolLinks(prop).nameType;
+          }
+          if ((((_d = getSymbolLinks(prop).deferralParent) == null ? void 0 : _d.flags) & 3145728 /* UnionOrIntersection */) === (containingType.flags & 3145728 /* UnionOrIntersection */)) {
+            const deferredWriteTypes = getSymbolLinks(prop).deferralWriteConstituents;
+            if (deferredWriteTypes) {
+              writeTypes = concatenate(!writeTypes ? propTypes.slice() : writeTypes, deferredWriteTypes);
+            }
+            propTypes = concatenate(propTypes, getSymbolLinks(prop).deferralConstituents);
+            deferredMismatchedParts = concatenate(deferredMismatchedParts, getSymbolLinks(prop).deferredMismatchedParts);
+            break;
+          } else {
+            deferredMismatchedParts = append(deferredMismatchedParts, prop);
+            break;
+          }
+        }
         const type = getTypeOfSymbol(prop);
         if (!firstType) {
           firstType = type;
@@ -56360,11 +56388,12 @@ ${lanes.join("\n")}
       }
       result.declarations = declarations;
       result.links.nameType = nameType;
-      if (propTypes.length > 2) {
+      if (propTypes.length > 2 || deferredMismatchedParts) {
         result.links.checkFlags |= 65536 /* DeferredType */;
         result.links.deferralParent = containingType;
         result.links.deferralConstituents = propTypes;
         result.links.deferralWriteConstituents = writeTypes;
+        result.links.deferredMismatchedParts = deferredMismatchedParts;
       } else {
         result.links.type = isUnion ? getUnionType(propTypes) : getIntersectionType(propTypes);
         if (writeTypes) {
@@ -58721,7 +58750,7 @@ ${lanes.join("\n")}
     function getIntersectionType(types, aliasSymbol, aliasTypeArguments, noSupertypeReduction) {
       const typeMembershipMap = /* @__PURE__ */ new Map();
       const includes = addTypesToIntersection(typeMembershipMap, 0, types);
-      const typeSet = arrayFrom(typeMembershipMap.values());
+      let typeSet = arrayFrom(typeMembershipMap.values());
       if (includes & 131072 /* Never */) {
         return contains(typeSet, silentNeverType) ? silentNeverType : neverType;
       }
@@ -58753,6 +58782,8 @@ ${lanes.join("\n")}
       const id = getTypeListId(typeSet) + getAliasId(aliasSymbol, aliasTypeArguments);
       let result = intersectionTypes.get(id);
       if (!result) {
+        const originalSet = typeSet;
+        let runningResult;
         if (includes & 1048576 /* Union */) {
           if (intersectUnionsOfPrimitiveTypes(typeSet)) {
             result = getIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58764,12 +58795,32 @@ ${lanes.join("\n")}
             removeFromEach(typeSet, 65536 /* Null */);
             result = getUnionType([getIntersectionType(typeSet), nullType], 1 /* Literal */, aliasSymbol, aliasTypeArguments);
           } else {
+            if (getCrossProductUnionSize(typeSet) >= UNION_CROSS_PRODUCT_SIZE_LIMIT && every(typeSet, (t) => !!(t.flags & 1048576 /* Union */) || !!(t.flags & 402784252 /* Primitive */))) {
+              if (typeSet.length > 2 || some(typeSet, (t) => getReducedType(t) !== t)) {
+                runningResult = getReducedType(typeSet[0]);
+                for (let i = 1; i < typeSet.length; i++) {
+                  const reducedElem = getReducedType(typeSet[i]);
+                  runningResult = reducedElem.flags & 402784252 /* Primitive */ && everyType(runningResult, (t) => !!(t.flags & 524288 /* Object */)) ? neverType : getReducedType(intersectTypes(runningResult, reducedElem));
+                  if (i === typeSet.length - 1 || isTypeAny(runningResult) || runningResult.flags & 131072 /* Never */) {
+                    return runningResult;
+                  }
+                  if (!(runningResult.flags & 1048576 /* Union */) || runningResult.types.length > typeSet.length) {
+                    typeSet = typeSet.slice(i + 1);
+                    break;
+                  }
+                }
+              }
+            }
             if (!checkCrossProductUnion(typeSet)) {
               return errorType;
             }
             const constituents = getCrossProductIntersections(typeSet);
-            const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, typeSet) : void 0;
-            result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+            if (runningResult && runningResult !== typeSet[0]) {
+              result = getIntersectionType([runningResult, getUnionType(constituents, 1 /* Literal */)], aliasSymbol, aliasTypeArguments);
+            } else {
+              const origin = some(constituents, (t) => !!(t.flags & 2097152 /* Intersection */)) && getConstituentCountOfTypes(constituents) > getConstituentCountOfTypes(typeSet) ? createOriginUnionOrIntersectionType(2097152 /* Intersection */, originalSet) : void 0;
+              result = getUnionType(constituents, 1 /* Literal */, aliasSymbol, aliasTypeArguments, origin);
+            }
           }
         } else {
           result = createIntersectionType(typeSet, aliasSymbol, aliasTypeArguments);
@@ -58784,7 +58835,7 @@ ${lanes.join("\n")}
     function checkCrossProductUnion(types) {
       var _a2;
       const size = getCrossProductUnionSize(types);
-      if (size >= 1e5) {
+      if (size >= UNION_CROSS_PRODUCT_SIZE_LIMIT) {
         (_a2 = tracing) == null ? void 0 : _a2.instant(tracing.Phase.CheckTypes, "checkCrossProductUnion_DepthLimit", { typeIds: types.map((t) => t.id), size });
         error(currentNode, Diagnostics.Expression_produces_a_union_type_that_is_too_complex_to_represent);
         return false;
@@ -85470,7 +85521,7 @@ ${lanes.join("\n")}
       readFile: host.readFile ? (fileName) => host.readFile(fileName) : void 0
     };
   }
-  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, JsxNames, SymbolTrackerImpl;
+  var ambientModuleSymbolRegex, anon, nextSymbolId, nextNodeId, nextMergeId, nextFlowId, TypeFacts, typeofNEFacts, CheckMode, SignatureCheckMode, isNotOverloadAndNotAccessor, intrinsicTypeKinds, SymbolLinks, UNION_CROSS_PRODUCT_SIZE_LIMIT, JsxNames, SymbolTrackerImpl;
   var init_checker = __esm({
     "src/compiler/checker.ts"() {
       "use strict";
@@ -85602,6 +85653,7 @@ ${lanes.join("\n")}
       }));
       SymbolLinks = class {
       };
+      UNION_CROSS_PRODUCT_SIZE_LIMIT = 1e5;
       ((JsxNames2) => {
         JsxNames2.JSX = "JSX";
         JsxNames2.IntrinsicElements = "IntrinsicElements";

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.1.0-pr-50092-15",
+  "version": "5.1.0-pr-53739-12",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "14.21.1",
     "npm": "8.19.3"
   },
-  "gitHead": "b815a5be102643c893685ca4b757f39774646d20"
+  "gitHead": "2493625c9c4fae9f224de64cf587825d651468c6"
 }