@typescript-deploys/pr-build 5.2.0-pr-55224-27 → 5.2.0-pr-54188-13

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230801`;
+var version = `${versionMajorMinor}.0-insiders.20230802`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -1302,31 +1302,6 @@ function trimEndImpl(s) {
 function isNodeLikeSystem() {
   return typeof process !== "undefined" && !!process.nextTick && !process.browser && typeof module === "object";
 }
-function createStackSet() {
-  var set = /* @__PURE__ */ new Set();
-  var stack = [];
-  var end = 0;
-  return {
-    has(value) {
-      return set.has(value);
-    },
-    push(value) {
-      set.add(value);
-      stack[end] = value;
-      end++;
-    },
-    popAll(callback) {
-      while (end > 0) {
-        end--;
-        const value = stack[end];
-        set.delete(value);
-        if (callback(value)) {
-          break;
-        }
-      }
-    }
-  };
-}
 
 // src/compiler/debug.ts
 var Debug;
@@ -34386,7 +34361,7 @@ var commandOptionsWithoutBuild = [
     strictFlag: true,
     category: Diagnostics.Type_Checking,
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
-    defaultValueDescription: false
+    defaultValueDescription: Diagnostics.false_unless_strict_is_set
   },
   {
     name: "alwaysStrict",
@@ -56525,7 +56500,10 @@ function createTypeChecker(host) {
     }
   }
   function removeStringLiteralsMatchedByTemplateLiterals(types) {
-    const templates = filter(types, (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t));
+    const templates = filter(
+      types,
+      (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t) && t.types.every((t2) => !(t2.flags & 2097152 /* Intersection */) || !areIntersectedTypesAvoidingPrimitiveReduction(t2.types))
+    );
     if (templates.length) {
       let i = types.length;
       while (i > 0) {
@@ -56930,15 +56908,19 @@ function createTypeChecker(host) {
   function getConstituentCountOfTypes(types) {
     return reduceLeft(types, (n, t) => n + getConstituentCount(t), 0);
   }
-  function areIntersectedTypesAvoidingPrimitiveReduction(t1, t2) {
-    return !!(t1.flags & (4 /* String */ | 8 /* Number */ | 64 /* BigInt */)) && t2 === emptyTypeLiteralType;
+  function areIntersectedTypesAvoidingPrimitiveReduction(types, primitiveFlags = 4 /* String */ | 8 /* Number */ | 64 /* BigInt */) {
+    if (types.length !== 2) {
+      return false;
+    }
+    const [t1, t2] = types;
+    return !!(t1.flags & primitiveFlags) && t2 === emptyTypeLiteralType || !!(t2.flags & primitiveFlags) && t1 === emptyTypeLiteralType;
   }
   function getTypeFromIntersectionTypeNode(node) {
     const links = getNodeLinks(node);
     if (!links.resolvedType) {
       const aliasSymbol = getAliasSymbolForTypeNode(node);
       const types = map(node.types, getTypeFromTypeNode);
-      const noSupertypeReduction = types.length === 2 && (areIntersectedTypesAvoidingPrimitiveReduction(types[0], types[1]) || areIntersectedTypesAvoidingPrimitiveReduction(types[1], types[0]));
+      const noSupertypeReduction = areIntersectedTypesAvoidingPrimitiveReduction(types);
       links.resolvedType = getIntersectionType(types, aliasSymbol, getTypeArgumentsForAliasSymbol(aliasSymbol), noSupertypeReduction);
     }
     return links.resolvedType;
@@ -59830,6 +59812,7 @@ function createTypeChecker(host) {
     let maybeKeys;
     let sourceStack;
     let targetStack;
+    let maybeCount = 0;
     let sourceDepth = 0;
     let targetDepth = 0;
     let expandingFlags = 0 /* None */;
@@ -60695,13 +60678,10 @@ function createTypeChecker(host) {
         }
       }
       if (!maybeKeys) {
-        maybeKeys = createStackSet();
+        maybeKeys = [];
         sourceStack = [];
         targetStack = [];
       } else {
-        if (maybeKeys.has(id)) {
-          return 3 /* Maybe */;
-        }
         const broadestEquivalentId = id.startsWith("*") ? getRelationKey(
           source2,
           target2,
@@ -60710,15 +60690,19 @@ function createTypeChecker(host) {
           /*ignoreConstraints*/
           true
         ) : void 0;
-        if (broadestEquivalentId && maybeKeys.has(broadestEquivalentId)) {
-          return 3 /* Maybe */;
+        for (let i = 0; i < maybeCount; i++) {
+          if (id === maybeKeys[i] || broadestEquivalentId && broadestEquivalentId === maybeKeys[i]) {
+            return 3 /* Maybe */;
+          }
         }
         if (sourceDepth === 100 || targetDepth === 100) {
           overflow = true;
           return 0 /* False */;
         }
       }
-      maybeKeys.push(id);
+      const maybeStart = maybeCount;
+      maybeKeys[maybeCount] = id;
+      maybeCount++;
       const saveExpandingFlags = expandingFlags;
       if (recursionFlags & 1 /* Source */) {
         sourceStack[sourceDepth] = source2;
@@ -60770,17 +60754,15 @@ function createTypeChecker(host) {
       if (result2) {
         if (result2 === -1 /* True */ || sourceDepth === 0 && targetDepth === 0) {
           if (result2 === -1 /* True */ || result2 === 3 /* Maybe */) {
-            maybeKeys.popAll((v) => {
-              relation.set(v, 1 /* Succeeded */ | propagatingVarianceFlags);
-              return v === id;
-            });
-          } else {
-            maybeKeys.popAll((v) => v === id);
+            for (let i = maybeStart; i < maybeCount; i++) {
+              relation.set(maybeKeys[i], 1 /* Succeeded */ | propagatingVarianceFlags);
+            }
           }
+          maybeCount = maybeStart;
         }
       } else {
         relation.set(id, (reportErrors2 ? 4 /* Reported */ : 0) | 2 /* Failed */ | propagatingVarianceFlags);
-        maybeKeys.popAll((v) => v === id);
+        maybeCount = maybeStart;
       }
       return result2;
     }
@@ -63364,6 +63346,9 @@ function createTypeChecker(host) {
     if (source === target || target.flags & (1 /* Any */ | 4 /* String */)) {
       return true;
     }
+    if (target.flags & 2097152 /* Intersection */) {
+      return every(target.types, (t) => t === emptyTypeLiteralType || isValidTypeForTemplateLiteralPlaceholder(source, t));
+    }
     if (source.flags & 128 /* StringLiteral */) {
       const value = source.value;
       return !!(target.flags & 8 /* Number */ && isValidNumberString(
@@ -63374,7 +63359,7 @@ function createTypeChecker(host) {
         value,
         /*roundTripOnly*/
         false
-      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target));
+      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
     }
     if (source.flags & 134217728 /* TemplateLiteral */) {
       const texts = source.texts;
@@ -80607,7 +80592,7 @@ function createTypeChecker(host) {
     function copyLocallyVisibleExportSymbols(source, meaning2) {
       if (meaning2) {
         source.forEach((symbol) => {
-          if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */)) {
+          if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */) && symbol.escapedName !== "default" /* Default */) {
             copySymbol(symbol, meaning2);
           }
         });

package/lib/tsserver.js

@@ -465,7 +465,6 @@ __export(server_exports, {
   createSourceFile: () => createSourceFile,
   createSourceMapGenerator: () => createSourceMapGenerator,
   createSourceMapSource: () => createSourceMapSource,
-  createStackSet: () => createStackSet,
   createSuperAccessVariableStatement: () => createSuperAccessVariableStatement,
   createSymbolTable: () => createSymbolTable,
   createSymlinkCache: () => createSymlinkCache,
@@ -2332,7 +2331,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230801`;
+var version = `${versionMajorMinor}.0-insiders.20230802`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -4004,31 +4003,6 @@ function trimEndImpl(s) {
 function isNodeLikeSystem() {
   return typeof process !== "undefined" && !!process.nextTick && !process.browser && typeof module === "object";
 }
-function createStackSet() {
-  var set = /* @__PURE__ */ new Set();
-  var stack = [];
-  var end = 0;
-  return {
-    has(value) {
-      return set.has(value);
-    },
-    push(value) {
-      set.add(value);
-      stack[end] = value;
-      end++;
-    },
-    popAll(callback) {
-      while (end > 0) {
-        end--;
-        const value = stack[end];
-        set.delete(value);
-        if (callback(value)) {
-          break;
-        }
-      }
-    }
-  };
-}
 
 // src/compiler/debug.ts
 var LogLevel = /* @__PURE__ */ ((LogLevel3) => {
@@ -38789,7 +38763,7 @@ var commandOptionsWithoutBuild = [
     strictFlag: true,
     category: Diagnostics.Type_Checking,
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
-    defaultValueDescription: false
+    defaultValueDescription: Diagnostics.false_unless_strict_is_set
   },
   {
     name: "alwaysStrict",
@@ -61237,7 +61211,10 @@ function createTypeChecker(host) {
     }
   }
   function removeStringLiteralsMatchedByTemplateLiterals(types) {
-    const templates = filter(types, (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t));
+    const templates = filter(
+      types,
+      (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t) && t.types.every((t2) => !(t2.flags & 2097152 /* Intersection */) || !areIntersectedTypesAvoidingPrimitiveReduction(t2.types))
+    );
     if (templates.length) {
       let i = types.length;
       while (i > 0) {
@@ -61642,15 +61619,19 @@ function createTypeChecker(host) {
   function getConstituentCountOfTypes(types) {
     return reduceLeft(types, (n, t) => n + getConstituentCount(t), 0);
   }
-  function areIntersectedTypesAvoidingPrimitiveReduction(t1, t2) {
-    return !!(t1.flags & (4 /* String */ | 8 /* Number */ | 64 /* BigInt */)) && t2 === emptyTypeLiteralType;
+  function areIntersectedTypesAvoidingPrimitiveReduction(types, primitiveFlags = 4 /* String */ | 8 /* Number */ | 64 /* BigInt */) {
+    if (types.length !== 2) {
+      return false;
+    }
+    const [t1, t2] = types;
+    return !!(t1.flags & primitiveFlags) && t2 === emptyTypeLiteralType || !!(t2.flags & primitiveFlags) && t1 === emptyTypeLiteralType;
   }
   function getTypeFromIntersectionTypeNode(node) {
     const links = getNodeLinks(node);
     if (!links.resolvedType) {
       const aliasSymbol = getAliasSymbolForTypeNode(node);
       const types = map(node.types, getTypeFromTypeNode);
-      const noSupertypeReduction = types.length === 2 && (areIntersectedTypesAvoidingPrimitiveReduction(types[0], types[1]) || areIntersectedTypesAvoidingPrimitiveReduction(types[1], types[0]));
+      const noSupertypeReduction = areIntersectedTypesAvoidingPrimitiveReduction(types);
       links.resolvedType = getIntersectionType(types, aliasSymbol, getTypeArgumentsForAliasSymbol(aliasSymbol), noSupertypeReduction);
     }
     return links.resolvedType;
@@ -64542,6 +64523,7 @@ function createTypeChecker(host) {
     let maybeKeys;
     let sourceStack;
     let targetStack;
+    let maybeCount = 0;
     let sourceDepth = 0;
     let targetDepth = 0;
     let expandingFlags = 0 /* None */;
@@ -65407,13 +65389,10 @@ function createTypeChecker(host) {
         }
       }
       if (!maybeKeys) {
-        maybeKeys = createStackSet();
+        maybeKeys = [];
         sourceStack = [];
         targetStack = [];
       } else {
-        if (maybeKeys.has(id)) {
-          return 3 /* Maybe */;
-        }
         const broadestEquivalentId = id.startsWith("*") ? getRelationKey(
           source2,
           target2,
@@ -65422,15 +65401,19 @@ function createTypeChecker(host) {
           /*ignoreConstraints*/
           true
         ) : void 0;
-        if (broadestEquivalentId && maybeKeys.has(broadestEquivalentId)) {
-          return 3 /* Maybe */;
+        for (let i = 0; i < maybeCount; i++) {
+          if (id === maybeKeys[i] || broadestEquivalentId && broadestEquivalentId === maybeKeys[i]) {
+            return 3 /* Maybe */;
+          }
         }
         if (sourceDepth === 100 || targetDepth === 100) {
           overflow = true;
           return 0 /* False */;
         }
       }
-      maybeKeys.push(id);
+      const maybeStart = maybeCount;
+      maybeKeys[maybeCount] = id;
+      maybeCount++;
       const saveExpandingFlags = expandingFlags;
       if (recursionFlags & 1 /* Source */) {
         sourceStack[sourceDepth] = source2;
@@ -65482,17 +65465,15 @@ function createTypeChecker(host) {
       if (result2) {
         if (result2 === -1 /* True */ || sourceDepth === 0 && targetDepth === 0) {
           if (result2 === -1 /* True */ || result2 === 3 /* Maybe */) {
-            maybeKeys.popAll((v) => {
-              relation.set(v, 1 /* Succeeded */ | propagatingVarianceFlags);
-              return v === id;
-            });
-          } else {
-            maybeKeys.popAll((v) => v === id);
+            for (let i = maybeStart; i < maybeCount; i++) {
+              relation.set(maybeKeys[i], 1 /* Succeeded */ | propagatingVarianceFlags);
+            }
           }
+          maybeCount = maybeStart;
         }
       } else {
         relation.set(id, (reportErrors2 ? 4 /* Reported */ : 0) | 2 /* Failed */ | propagatingVarianceFlags);
-        maybeKeys.popAll((v) => v === id);
+        maybeCount = maybeStart;
       }
       return result2;
     }
@@ -68076,6 +68057,9 @@ function createTypeChecker(host) {
     if (source === target || target.flags & (1 /* Any */ | 4 /* String */)) {
       return true;
     }
+    if (target.flags & 2097152 /* Intersection */) {
+      return every(target.types, (t) => t === emptyTypeLiteralType || isValidTypeForTemplateLiteralPlaceholder(source, t));
+    }
     if (source.flags & 128 /* StringLiteral */) {
       const value = source.value;
       return !!(target.flags & 8 /* Number */ && isValidNumberString(
@@ -68086,7 +68070,7 @@ function createTypeChecker(host) {
         value,
         /*roundTripOnly*/
         false
-      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target));
+      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
     }
     if (source.flags & 134217728 /* TemplateLiteral */) {
       const texts = source.texts;
@@ -85319,7 +85303,7 @@ function createTypeChecker(host) {
     function copyLocallyVisibleExportSymbols(source, meaning2) {
       if (meaning2) {
         source.forEach((symbol) => {
-          if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */)) {
+          if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */) && symbol.escapedName !== "default" /* Default */) {
             copySymbol(symbol, meaning2);
           }
         });
@@ -172402,7 +172386,6 @@ __export(ts_exports2, {
   createSourceFile: () => createSourceFile,
   createSourceMapGenerator: () => createSourceMapGenerator,
   createSourceMapSource: () => createSourceMapSource,
-  createStackSet: () => createStackSet,
   createSuperAccessVariableStatement: () => createSuperAccessVariableStatement,
   createSymbolTable: () => createSymbolTable,
   createSymlinkCache: () => createSymlinkCache,
@@ -186933,7 +186916,6 @@ start(initializeNodeSystem(), require("os").platform());
   createSourceFile,
   createSourceMapGenerator,
   createSourceMapSource,
-  createStackSet,
   createSuperAccessVariableStatement,
   createSymbolTable,
   createSymlinkCache,

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230801`;
+      version = `${versionMajorMinor}.0-insiders.20230802`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -1621,31 +1621,6 @@ var ts = (() => {
   function isNodeLikeSystem() {
     return typeof process !== "undefined" && !!process.nextTick && !process.browser && typeof module === "object";
   }
-  function createStackSet() {
-    var set = /* @__PURE__ */ new Set();
-    var stack = [];
-    var end = 0;
-    return {
-      has(value) {
-        return set.has(value);
-      },
-      push(value) {
-        set.add(value);
-        stack[end] = value;
-        end++;
-      },
-      popAll(callback) {
-        while (end > 0) {
-          end--;
-          const value = stack[end];
-          set.delete(value);
-          if (callback(value)) {
-            break;
-          }
-        }
-      }
-    };
-  }
   var emptyArray, emptyMap, emptySet, SortKind, elementAt, hasOwnProperty, fileNameLowerCaseRegExp, AssertionLevel, createUIStringComparer, uiComparerCaseSensitive, uiLocale, trimString, trimStringEnd, trimStringStart;
   var init_core = __esm({
     "src/compiler/core.ts"() {
@@ -38266,7 +38241,7 @@ ${lanes.join("\n")}
           strictFlag: true,
           category: Diagnostics.Type_Checking,
           description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
-          defaultValueDescription: false
+          defaultValueDescription: Diagnostics.false_unless_strict_is_set
         },
         {
           name: "alwaysStrict",
@@ -58999,7 +58974,10 @@ ${lanes.join("\n")}
       }
     }
     function removeStringLiteralsMatchedByTemplateLiterals(types) {
-      const templates = filter(types, (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t));
+      const templates = filter(
+        types,
+        (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t) && t.types.every((t2) => !(t2.flags & 2097152 /* Intersection */) || !areIntersectedTypesAvoidingPrimitiveReduction(t2.types))
+      );
       if (templates.length) {
         let i = types.length;
         while (i > 0) {
@@ -59404,15 +59382,19 @@ ${lanes.join("\n")}
     function getConstituentCountOfTypes(types) {
       return reduceLeft(types, (n, t) => n + getConstituentCount(t), 0);
     }
-    function areIntersectedTypesAvoidingPrimitiveReduction(t1, t2) {
-      return !!(t1.flags & (4 /* String */ | 8 /* Number */ | 64 /* BigInt */)) && t2 === emptyTypeLiteralType;
+    function areIntersectedTypesAvoidingPrimitiveReduction(types, primitiveFlags = 4 /* String */ | 8 /* Number */ | 64 /* BigInt */) {
+      if (types.length !== 2) {
+        return false;
+      }
+      const [t1, t2] = types;
+      return !!(t1.flags & primitiveFlags) && t2 === emptyTypeLiteralType || !!(t2.flags & primitiveFlags) && t1 === emptyTypeLiteralType;
     }
     function getTypeFromIntersectionTypeNode(node) {
       const links = getNodeLinks(node);
       if (!links.resolvedType) {
         const aliasSymbol = getAliasSymbolForTypeNode(node);
         const types = map(node.types, getTypeFromTypeNode);
-        const noSupertypeReduction = types.length === 2 && (areIntersectedTypesAvoidingPrimitiveReduction(types[0], types[1]) || areIntersectedTypesAvoidingPrimitiveReduction(types[1], types[0]));
+        const noSupertypeReduction = areIntersectedTypesAvoidingPrimitiveReduction(types);
         links.resolvedType = getIntersectionType(types, aliasSymbol, getTypeArgumentsForAliasSymbol(aliasSymbol), noSupertypeReduction);
       }
       return links.resolvedType;
@@ -62304,6 +62286,7 @@ ${lanes.join("\n")}
       let maybeKeys;
       let sourceStack;
       let targetStack;
+      let maybeCount = 0;
       let sourceDepth = 0;
       let targetDepth = 0;
       let expandingFlags = 0 /* None */;
@@ -63169,13 +63152,10 @@ ${lanes.join("\n")}
           }
         }
         if (!maybeKeys) {
-          maybeKeys = createStackSet();
+          maybeKeys = [];
           sourceStack = [];
           targetStack = [];
         } else {
-          if (maybeKeys.has(id)) {
-            return 3 /* Maybe */;
-          }
           const broadestEquivalentId = id.startsWith("*") ? getRelationKey(
             source2,
             target2,
@@ -63184,15 +63164,19 @@ ${lanes.join("\n")}
             /*ignoreConstraints*/
             true
           ) : void 0;
-          if (broadestEquivalentId && maybeKeys.has(broadestEquivalentId)) {
-            return 3 /* Maybe */;
+          for (let i = 0; i < maybeCount; i++) {
+            if (id === maybeKeys[i] || broadestEquivalentId && broadestEquivalentId === maybeKeys[i]) {
+              return 3 /* Maybe */;
+            }
           }
           if (sourceDepth === 100 || targetDepth === 100) {
             overflow = true;
             return 0 /* False */;
           }
         }
-        maybeKeys.push(id);
+        const maybeStart = maybeCount;
+        maybeKeys[maybeCount] = id;
+        maybeCount++;
         const saveExpandingFlags = expandingFlags;
         if (recursionFlags & 1 /* Source */) {
           sourceStack[sourceDepth] = source2;
@@ -63244,17 +63228,15 @@ ${lanes.join("\n")}
         if (result2) {
           if (result2 === -1 /* True */ || sourceDepth === 0 && targetDepth === 0) {
             if (result2 === -1 /* True */ || result2 === 3 /* Maybe */) {
-              maybeKeys.popAll((v) => {
-                relation.set(v, 1 /* Succeeded */ | propagatingVarianceFlags);
-                return v === id;
-              });
-            } else {
-              maybeKeys.popAll((v) => v === id);
+              for (let i = maybeStart; i < maybeCount; i++) {
+                relation.set(maybeKeys[i], 1 /* Succeeded */ | propagatingVarianceFlags);
+              }
             }
+            maybeCount = maybeStart;
           }
         } else {
           relation.set(id, (reportErrors2 ? 4 /* Reported */ : 0) | 2 /* Failed */ | propagatingVarianceFlags);
-          maybeKeys.popAll((v) => v === id);
+          maybeCount = maybeStart;
         }
         return result2;
       }
@@ -65838,6 +65820,9 @@ ${lanes.join("\n")}
       if (source === target || target.flags & (1 /* Any */ | 4 /* String */)) {
         return true;
       }
+      if (target.flags & 2097152 /* Intersection */) {
+        return every(target.types, (t) => t === emptyTypeLiteralType || isValidTypeForTemplateLiteralPlaceholder(source, t));
+      }
       if (source.flags & 128 /* StringLiteral */) {
         const value = source.value;
         return !!(target.flags & 8 /* Number */ && isValidNumberString(
@@ -65848,7 +65833,7 @@ ${lanes.join("\n")}
           value,
           /*roundTripOnly*/
           false
-        ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target));
+        ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
       }
       if (source.flags & 134217728 /* TemplateLiteral */) {
         const texts = source.texts;
@@ -83081,7 +83066,7 @@ ${lanes.join("\n")}
       function copyLocallyVisibleExportSymbols(source, meaning2) {
         if (meaning2) {
           source.forEach((symbol) => {
-            if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */)) {
+            if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */) && symbol.escapedName !== "default" /* Default */) {
               copySymbol(symbol, meaning2);
             }
           });
@@ -183550,7 +183535,6 @@ ${e.message}`;
     createSourceFile: () => createSourceFile,
     createSourceMapGenerator: () => createSourceMapGenerator,
     createSourceMapSource: () => createSourceMapSource,
-    createStackSet: () => createStackSet,
     createSuperAccessVariableStatement: () => createSuperAccessVariableStatement,
     createSymbolTable: () => createSymbolTable,
     createSymlinkCache: () => createSymlinkCache,
@@ -185958,7 +185942,6 @@ ${e.message}`;
     createSourceFile: () => createSourceFile,
     createSourceMapGenerator: () => createSourceMapGenerator,
     createSourceMapSource: () => createSourceMapSource,
-    createStackSet: () => createStackSet,
     createSuperAccessVariableStatement: () => createSuperAccessVariableStatement,
     createSymbolTable: () => createSymbolTable,
     createSymlinkCache: () => createSymlinkCache,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230801`;
+      version = `${versionMajorMinor}.0-insiders.20230802`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -1621,31 +1621,6 @@ var ts = (() => {
   function isNodeLikeSystem() {
     return typeof process !== "undefined" && !!process.nextTick && !process.browser && typeof module === "object";
   }
-  function createStackSet() {
-    var set = /* @__PURE__ */ new Set();
-    var stack = [];
-    var end = 0;
-    return {
-      has(value) {
-        return set.has(value);
-      },
-      push(value) {
-        set.add(value);
-        stack[end] = value;
-        end++;
-      },
-      popAll(callback) {
-        while (end > 0) {
-          end--;
-          const value = stack[end];
-          set.delete(value);
-          if (callback(value)) {
-            break;
-          }
-        }
-      }
-    };
-  }
   var emptyArray, emptyMap, emptySet, SortKind, elementAt, hasOwnProperty, fileNameLowerCaseRegExp, AssertionLevel, createUIStringComparer, uiComparerCaseSensitive, uiLocale, trimString, trimStringEnd, trimStringStart;
   var init_core = __esm({
     "src/compiler/core.ts"() {
@@ -38266,7 +38241,7 @@ ${lanes.join("\n")}
           strictFlag: true,
           category: Diagnostics.Type_Checking,
           description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
-          defaultValueDescription: false
+          defaultValueDescription: Diagnostics.false_unless_strict_is_set
         },
         {
           name: "alwaysStrict",
@@ -58999,7 +58974,10 @@ ${lanes.join("\n")}
       }
     }
     function removeStringLiteralsMatchedByTemplateLiterals(types) {
-      const templates = filter(types, (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t));
+      const templates = filter(
+        types,
+        (t) => !!(t.flags & 134217728 /* TemplateLiteral */) && isPatternLiteralType(t) && t.types.every((t2) => !(t2.flags & 2097152 /* Intersection */) || !areIntersectedTypesAvoidingPrimitiveReduction(t2.types))
+      );
       if (templates.length) {
         let i = types.length;
         while (i > 0) {
@@ -59404,15 +59382,19 @@ ${lanes.join("\n")}
     function getConstituentCountOfTypes(types) {
       return reduceLeft(types, (n, t) => n + getConstituentCount(t), 0);
     }
-    function areIntersectedTypesAvoidingPrimitiveReduction(t1, t2) {
-      return !!(t1.flags & (4 /* String */ | 8 /* Number */ | 64 /* BigInt */)) && t2 === emptyTypeLiteralType;
+    function areIntersectedTypesAvoidingPrimitiveReduction(types, primitiveFlags = 4 /* String */ | 8 /* Number */ | 64 /* BigInt */) {
+      if (types.length !== 2) {
+        return false;
+      }
+      const [t1, t2] = types;
+      return !!(t1.flags & primitiveFlags) && t2 === emptyTypeLiteralType || !!(t2.flags & primitiveFlags) && t1 === emptyTypeLiteralType;
     }
     function getTypeFromIntersectionTypeNode(node) {
       const links = getNodeLinks(node);
       if (!links.resolvedType) {
         const aliasSymbol = getAliasSymbolForTypeNode(node);
         const types = map(node.types, getTypeFromTypeNode);
-        const noSupertypeReduction = types.length === 2 && (areIntersectedTypesAvoidingPrimitiveReduction(types[0], types[1]) || areIntersectedTypesAvoidingPrimitiveReduction(types[1], types[0]));
+        const noSupertypeReduction = areIntersectedTypesAvoidingPrimitiveReduction(types);
         links.resolvedType = getIntersectionType(types, aliasSymbol, getTypeArgumentsForAliasSymbol(aliasSymbol), noSupertypeReduction);
       }
       return links.resolvedType;
@@ -62304,6 +62286,7 @@ ${lanes.join("\n")}
       let maybeKeys;
       let sourceStack;
       let targetStack;
+      let maybeCount = 0;
       let sourceDepth = 0;
       let targetDepth = 0;
       let expandingFlags = 0 /* None */;
@@ -63169,13 +63152,10 @@ ${lanes.join("\n")}
           }
         }
         if (!maybeKeys) {
-          maybeKeys = createStackSet();
+          maybeKeys = [];
           sourceStack = [];
           targetStack = [];
         } else {
-          if (maybeKeys.has(id)) {
-            return 3 /* Maybe */;
-          }
           const broadestEquivalentId = id.startsWith("*") ? getRelationKey(
             source2,
             target2,
@@ -63184,15 +63164,19 @@ ${lanes.join("\n")}
             /*ignoreConstraints*/
             true
           ) : void 0;
-          if (broadestEquivalentId && maybeKeys.has(broadestEquivalentId)) {
-            return 3 /* Maybe */;
+          for (let i = 0; i < maybeCount; i++) {
+            if (id === maybeKeys[i] || broadestEquivalentId && broadestEquivalentId === maybeKeys[i]) {
+              return 3 /* Maybe */;
+            }
           }
           if (sourceDepth === 100 || targetDepth === 100) {
             overflow = true;
             return 0 /* False */;
           }
         }
-        maybeKeys.push(id);
+        const maybeStart = maybeCount;
+        maybeKeys[maybeCount] = id;
+        maybeCount++;
         const saveExpandingFlags = expandingFlags;
         if (recursionFlags & 1 /* Source */) {
           sourceStack[sourceDepth] = source2;
@@ -63244,17 +63228,15 @@ ${lanes.join("\n")}
         if (result2) {
           if (result2 === -1 /* True */ || sourceDepth === 0 && targetDepth === 0) {
             if (result2 === -1 /* True */ || result2 === 3 /* Maybe */) {
-              maybeKeys.popAll((v) => {
-                relation.set(v, 1 /* Succeeded */ | propagatingVarianceFlags);
-                return v === id;
-              });
-            } else {
-              maybeKeys.popAll((v) => v === id);
+              for (let i = maybeStart; i < maybeCount; i++) {
+                relation.set(maybeKeys[i], 1 /* Succeeded */ | propagatingVarianceFlags);
+              }
             }
+            maybeCount = maybeStart;
           }
         } else {
           relation.set(id, (reportErrors2 ? 4 /* Reported */ : 0) | 2 /* Failed */ | propagatingVarianceFlags);
-          maybeKeys.popAll((v) => v === id);
+          maybeCount = maybeStart;
         }
         return result2;
       }
@@ -65838,6 +65820,9 @@ ${lanes.join("\n")}
       if (source === target || target.flags & (1 /* Any */ | 4 /* String */)) {
         return true;
       }
+      if (target.flags & 2097152 /* Intersection */) {
+        return every(target.types, (t) => t === emptyTypeLiteralType || isValidTypeForTemplateLiteralPlaceholder(source, t));
+      }
       if (source.flags & 128 /* StringLiteral */) {
         const value = source.value;
         return !!(target.flags & 8 /* Number */ && isValidNumberString(
@@ -65848,7 +65833,7 @@ ${lanes.join("\n")}
           value,
           /*roundTripOnly*/
           false
-        ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target));
+        ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
       }
       if (source.flags & 134217728 /* TemplateLiteral */) {
         const texts = source.texts;
@@ -83081,7 +83066,7 @@ ${lanes.join("\n")}
       function copyLocallyVisibleExportSymbols(source, meaning2) {
         if (meaning2) {
           source.forEach((symbol) => {
-            if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */)) {
+            if (!getDeclarationOfKind(symbol, 281 /* ExportSpecifier */) && !getDeclarationOfKind(symbol, 280 /* NamespaceExport */) && symbol.escapedName !== "default" /* Default */) {
               copySymbol(symbol, meaning2);
             }
           });
@@ -172159,7 +172144,6 @@ ${options.prefix}` : "\n" : options.prefix
     createSourceFile: () => createSourceFile,
     createSourceMapGenerator: () => createSourceMapGenerator,
     createSourceMapSource: () => createSourceMapSource,
-    createStackSet: () => createStackSet,
     createSuperAccessVariableStatement: () => createSuperAccessVariableStatement,
     createSymbolTable: () => createSymbolTable,
     createSymlinkCache: () => createSymlinkCache,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230801`;
+var version = `${versionMajorMinor}.0-insiders.20230802`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -26242,7 +26242,7 @@ var commandOptionsWithoutBuild = [
     strictFlag: true,
     category: Diagnostics.Type_Checking,
     description: Diagnostics.Default_catch_clause_variables_as_unknown_instead_of_any,
-    defaultValueDescription: false
+    defaultValueDescription: Diagnostics.false_unless_strict_is_set
   },
   {
     name: "alwaysStrict",

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.2.0-pr-55224-27",
+  "version": "5.2.0-pr-54188-13",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "2bce9b69a6292db56b1749abfefef52ea0e8fcbb"
+  "gitHead": "08166eec11a10ac63736bafab1dd536724efd765"
 }