@typescript-deploys/pr-build 5.2.0-pr-54922-6 → 5.2.0-pr-49218-24

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.20230707`;
+var version = `${versionMajorMinor}.0-insiders.20230710`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -59467,7 +59467,37 @@ function createTypeChecker(host) {
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
       const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
+        targetType = mapType(targetType, (t) => {
+          if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
+          // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
+          //
+          // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
+          //
+          // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
+          // as that doesn't affect the contextual type of the parameter
+          isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
+            return t;
+          }
+          const elementTypes = [];
+          const elementFlags = [];
+          const sourceArity = getTypeReferenceArity(sourceType);
+          const targetArity = getTypeReferenceArity(t);
+          for (let i2 = 0; i2 < sourceArity; i2++) {
+            if (i2 >= targetArity) {
+              if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
+                elementTypes.push(undefinedType);
+                elementFlags.push(sourceType.target.elementFlags[i2]);
+              }
+              continue;
+            }
+            elementTypes.push(getTupleElementType(t, i2));
+            elementFlags.push(sourceType.target.elementFlags[i2]);
+          }
+          return createTupleType(elementTypes, elementFlags);
+        });
+      }
       if (sourceType && targetType) {
         const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
         const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -62650,8 +62680,11 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
-  function isTupleTypeStructureMatching(t1, t2) {
-    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
+  function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
+    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
+      const f2 = t2.target.elementFlags[i];
+      return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
+    });
   }
   function isZeroBigInt({ value }) {
     return value.base10Value === "0";
@@ -63847,7 +63880,7 @@ function createTypeChecker(host) {
             const targetArity = getTypeReferenceArity(target);
             const elementTypes = getTypeArguments(target);
             const elementFlags = target.target.elementFlags;
-            if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
+            if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
               for (let i = 0; i < targetArity; i++) {
                 inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
               }
@@ -118420,9 +118453,6 @@ function parseConfigHostFromCompilerHostLike(host, directoryStructureHost = host
       return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
     },
     readFile: (f) => directoryStructureHost.readFile(f),
-    directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
-    getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
-    realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
     useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
     getCurrentDirectory: () => host.getCurrentDirectory(),
     onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,

package/lib/tsserver.js

@@ -2327,7 +2327,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230707`;
+var version = `${versionMajorMinor}.0-insiders.20230710`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -64174,7 +64174,37 @@ function createTypeChecker(host) {
     const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
     for (let i = 0; i < paramCount; i++) {
       const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-      const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+      if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
+        targetType = mapType(targetType, (t) => {
+          if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
+          // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
+          //
+          // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
+          //
+          // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
+          // as that doesn't affect the contextual type of the parameter
+          isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
+            return t;
+          }
+          const elementTypes = [];
+          const elementFlags = [];
+          const sourceArity = getTypeReferenceArity(sourceType);
+          const targetArity = getTypeReferenceArity(t);
+          for (let i2 = 0; i2 < sourceArity; i2++) {
+            if (i2 >= targetArity) {
+              if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
+                elementTypes.push(undefinedType);
+                elementFlags.push(sourceType.target.elementFlags[i2]);
+              }
+              continue;
+            }
+            elementTypes.push(getTupleElementType(t, i2));
+            elementFlags.push(sourceType.target.elementFlags[i2]);
+          }
+          return createTupleType(elementTypes, elementFlags);
+        });
+      }
       if (sourceType && targetType) {
         const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
         const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -67357,8 +67387,11 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
-  function isTupleTypeStructureMatching(t1, t2) {
-    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
+  function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
+    return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
+      const f2 = t2.target.elementFlags[i];
+      return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
+    });
   }
   function isZeroBigInt({ value }) {
     return value.base10Value === "0";
@@ -68554,7 +68587,7 @@ function createTypeChecker(host) {
             const targetArity = getTypeReferenceArity(target);
             const elementTypes = getTypeArguments(target);
             const elementFlags = target.target.elementFlags;
-            if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
+            if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
               for (let i = 0; i < targetArity; i++) {
                 inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
               }
@@ -123363,9 +123396,6 @@ function parseConfigHostFromCompilerHostLike(host, directoryStructureHost = host
       return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
     },
     readFile: (f) => directoryStructureHost.readFile(f),
-    directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
-    getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
-    realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
     useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
     getCurrentDirectory: () => host.getCurrentDirectory(),
     onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,
@@ -130133,6 +130163,8 @@ var ScriptElementKind = /* @__PURE__ */ ((ScriptElementKind2) => {
   ScriptElementKind2["enumMemberElement"] = "enum member";
   ScriptElementKind2["variableElement"] = "var";
   ScriptElementKind2["localVariableElement"] = "local var";
+  ScriptElementKind2["variableUsingElement"] = "using";
+  ScriptElementKind2["variableAwaitUsingElement"] = "await using";
   ScriptElementKind2["functionElement"] = "function";
   ScriptElementKind2["localFunctionElement"] = "local function";
   ScriptElementKind2["memberFunctionElement"] = "method";
@@ -132868,13 +132900,16 @@ function needsNameFromDeclaration(symbol) {
   return !(symbol.flags & 33554432 /* Transient */) && (symbol.escapedName === "export=" /* ExportEquals */ || symbol.escapedName === "default" /* Default */);
 }
 function getDefaultLikeExportNameFromDeclaration(symbol) {
-  return firstDefined(
-    symbol.declarations,
-    (d) => {
-      var _a, _b;
-      return isExportAssignment(d) ? (_a = tryCast(skipOuterExpressions(d.expression), isIdentifier)) == null ? void 0 : _a.text : (_b = tryCast(getNameOfDeclaration(d), isIdentifier)) == null ? void 0 : _b.text;
+  return firstDefined(symbol.declarations, (d) => {
+    var _a, _b, _c;
+    if (isExportAssignment(d)) {
+      return (_a = tryCast(skipOuterExpressions(d.expression), isIdentifier)) == null ? void 0 : _a.text;
     }
-  );
+    if (isExportSpecifier(d) && d.symbol.flags === 2097152 /* Alias */) {
+      return (_b = tryCast(d.propertyName, isIdentifier)) == null ? void 0 : _b.text;
+    }
+    return (_c = tryCast(getNameOfDeclaration(d), isIdentifier)) == null ? void 0 : _c.text;
+  });
 }
 function getSymbolParentOrFail(symbol) {
   var _a;
@@ -143743,9 +143778,6 @@ function createLanguageService(host, documentRegistry = createDocumentRegistry(h
       useCaseSensitiveFileNames: useCaseSensitiveFileNames2,
       fileExists: (fileName) => compilerHost.fileExists(fileName),
       readFile: (fileName) => compilerHost.readFile(fileName),
-      directoryExists: (f) => compilerHost.directoryExists(f),
-      getDirectories: (f) => compilerHost.getDirectories(f),
-      realpath: compilerHost.realpath,
       readDirectory: (...args) => compilerHost.readDirectory(...args),
       trace: compilerHost.trace,
       getCurrentDirectory: compilerHost.getCurrentDirectory,
@@ -167126,6 +167158,10 @@ function getSymbolKindOfConstructorPropertyMethodAccessorFunctionOrVar(typeCheck
       return "parameter" /* parameterElement */;
     } else if (symbol.valueDeclaration && isVarConst(symbol.valueDeclaration)) {
       return "const" /* constElement */;
+    } else if (symbol.valueDeclaration && isVarUsing(symbol.valueDeclaration)) {
+      return "using" /* variableUsingElement */;
+    } else if (symbol.valueDeclaration && isVarAwaitUsing(symbol.valueDeclaration)) {
+      return "await using" /* variableAwaitUsingElement */;
     } else if (forEach(symbol.declarations, isLet)) {
       return "let" /* letElement */;
     }
@@ -167519,7 +167555,7 @@ function getSymbolDisplayPartsDocumentationAndSymbolKind(typeChecker, symbol, so
         } else {
           addPrefixForAnyFunctionOrVar(symbol, symbolKind);
         }
-        if (symbolKind === "property" /* memberVariableElement */ || symbolKind === "accessor" /* memberAccessorVariableElement */ || symbolKind === "getter" /* memberGetAccessorElement */ || symbolKind === "setter" /* memberSetAccessorElement */ || symbolKind === "JSX attribute" /* jsxAttribute */ || symbolFlags & 3 /* Variable */ || symbolKind === "local var" /* localVariableElement */ || symbolKind === "index" /* indexSignatureElement */ || isThisExpression) {
+        if (symbolKind === "property" /* memberVariableElement */ || symbolKind === "accessor" /* memberAccessorVariableElement */ || symbolKind === "getter" /* memberGetAccessorElement */ || symbolKind === "setter" /* memberSetAccessorElement */ || symbolKind === "JSX attribute" /* jsxAttribute */ || symbolFlags & 3 /* Variable */ || symbolKind === "local var" /* localVariableElement */ || symbolKind === "index" /* indexSignatureElement */ || symbolKind === "using" /* variableUsingElement */ || symbolKind === "await using" /* variableAwaitUsingElement */ || isThisExpression) {
           displayParts.push(punctuationPart(59 /* ColonToken */));
           displayParts.push(spacePart());
           if (type.symbol && type.symbol.flags & 262144 /* TypeParameter */ && symbolKind !== "index" /* indexSignatureElement */) {
@@ -167669,6 +167705,8 @@ function getSymbolDisplayPartsDocumentationAndSymbolKind(typeChecker, symbol, so
       case "let" /* letElement */:
       case "const" /* constElement */:
       case "constructor" /* constructorImplementationElement */:
+      case "using" /* variableUsingElement */:
+      case "await using" /* variableAwaitUsingElement */:
         displayParts.push(textOrKeywordPart(symbolKind2));
         return;
       default:

package/lib/tsserverlibrary.d.ts

@@ -6274,7 +6274,7 @@ declare namespace ts {
         getSourceFileByPath(path: Path): SourceFile | undefined;
         getCurrentDirectory(): string;
     }
-    interface ParseConfigHost extends ModuleResolutionHost {
+    interface ParseConfigHost {
         useCaseSensitiveFileNames: boolean;
         readDirectory(rootDir: string, extensions: readonly string[], excludes: readonly string[] | undefined, includes: readonly string[], depth?: number): readonly string[];
         /**
@@ -10978,6 +10978,10 @@ declare namespace ts {
         variableElement = "var",
         /** Inside function */
         localVariableElement = "local var",
+        /** using foo = ... */
+        variableUsingElement = "using",
+        /** await using foo = ... */
+        variableAwaitUsingElement = "await using",
         /**
          * Inside module and script only
          * function f() { }

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230707`;
+      version = `${versionMajorMinor}.0-insiders.20230710`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -61941,7 +61941,37 @@ ${lanes.join("\n")}
       const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
       for (let i = 0; i < paramCount; i++) {
         const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-        const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+        let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+        if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
+          targetType = mapType(targetType, (t) => {
+            if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
+            // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
+            //
+            // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
+            //
+            // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
+            // as that doesn't affect the contextual type of the parameter
+            isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
+              return t;
+            }
+            const elementTypes = [];
+            const elementFlags = [];
+            const sourceArity = getTypeReferenceArity(sourceType);
+            const targetArity = getTypeReferenceArity(t);
+            for (let i2 = 0; i2 < sourceArity; i2++) {
+              if (i2 >= targetArity) {
+                if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
+                  elementTypes.push(undefinedType);
+                  elementFlags.push(sourceType.target.elementFlags[i2]);
+                }
+                continue;
+              }
+              elementTypes.push(getTupleElementType(t, i2));
+              elementFlags.push(sourceType.target.elementFlags[i2]);
+            }
+            return createTupleType(elementTypes, elementFlags);
+          });
+        }
         if (sourceType && targetType) {
           const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
           const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -65124,8 +65154,11 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
-    function isTupleTypeStructureMatching(t1, t2) {
-      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
+    function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
+      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
+        const f2 = t2.target.elementFlags[i];
+        return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
+      });
     }
     function isZeroBigInt({ value }) {
       return value.base10Value === "0";
@@ -66321,7 +66354,7 @@ ${lanes.join("\n")}
               const targetArity = getTypeReferenceArity(target);
               const elementTypes = getTypeArguments(target);
               const elementFlags = target.target.elementFlags;
-              if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
+              if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
                 for (let i = 0; i < targetArity; i++) {
                   inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
                 }
@@ -121348,9 +121381,6 @@ ${lanes.join("\n")}
         return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
       },
       readFile: (f) => directoryStructureHost.readFile(f),
-      directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
-      getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
-      realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
       useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
       getCurrentDirectory: () => host.getCurrentDirectory(),
       onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,
@@ -128439,6 +128469,8 @@ ${lanes.join("\n")}
         ScriptElementKind2["enumMemberElement"] = "enum member";
         ScriptElementKind2["variableElement"] = "var";
         ScriptElementKind2["localVariableElement"] = "local var";
+        ScriptElementKind2["variableUsingElement"] = "using";
+        ScriptElementKind2["variableAwaitUsingElement"] = "await using";
         ScriptElementKind2["functionElement"] = "function";
         ScriptElementKind2["localFunctionElement"] = "local function";
         ScriptElementKind2["memberFunctionElement"] = "method";
@@ -131126,13 +131158,16 @@ ${lanes.join("\n")}
     return !(symbol.flags & 33554432 /* Transient */) && (symbol.escapedName === "export=" /* ExportEquals */ || symbol.escapedName === "default" /* Default */);
   }
   function getDefaultLikeExportNameFromDeclaration(symbol) {
-    return firstDefined(
-      symbol.declarations,
-      (d) => {
-        var _a, _b;
-        return isExportAssignment(d) ? (_a = tryCast(skipOuterExpressions(d.expression), isIdentifier)) == null ? void 0 : _a.text : (_b = tryCast(getNameOfDeclaration(d), isIdentifier)) == null ? void 0 : _b.text;
+    return firstDefined(symbol.declarations, (d) => {
+      var _a, _b, _c;
+      if (isExportAssignment(d)) {
+        return (_a = tryCast(skipOuterExpressions(d.expression), isIdentifier)) == null ? void 0 : _a.text;
       }
-    );
+      if (isExportSpecifier(d) && d.symbol.flags === 2097152 /* Alias */) {
+        return (_b = tryCast(d.propertyName, isIdentifier)) == null ? void 0 : _b.text;
+      }
+      return (_c = tryCast(getNameOfDeclaration(d), isIdentifier)) == null ? void 0 : _c.text;
+    });
   }
   function getSymbolParentOrFail(symbol) {
     var _a;
@@ -141688,9 +141723,6 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         useCaseSensitiveFileNames: useCaseSensitiveFileNames2,
         fileExists: (fileName) => compilerHost.fileExists(fileName),
         readFile: (fileName) => compilerHost.readFile(fileName),
-        directoryExists: (f) => compilerHost.directoryExists(f),
-        getDirectories: (f) => compilerHost.getDirectories(f),
-        realpath: compilerHost.realpath,
         readDirectory: (...args) => compilerHost.readDirectory(...args),
         trace: compilerHost.trace,
         getCurrentDirectory: compilerHost.getCurrentDirectory,
@@ -166567,6 +166599,10 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         return "parameter" /* parameterElement */;
       } else if (symbol.valueDeclaration && isVarConst(symbol.valueDeclaration)) {
         return "const" /* constElement */;
+      } else if (symbol.valueDeclaration && isVarUsing(symbol.valueDeclaration)) {
+        return "using" /* variableUsingElement */;
+      } else if (symbol.valueDeclaration && isVarAwaitUsing(symbol.valueDeclaration)) {
+        return "await using" /* variableAwaitUsingElement */;
       } else if (forEach(symbol.declarations, isLet)) {
         return "let" /* letElement */;
       }
@@ -166960,7 +166996,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
           } else {
             addPrefixForAnyFunctionOrVar(symbol, symbolKind);
           }
-          if (symbolKind === "property" /* memberVariableElement */ || symbolKind === "accessor" /* memberAccessorVariableElement */ || symbolKind === "getter" /* memberGetAccessorElement */ || symbolKind === "setter" /* memberSetAccessorElement */ || symbolKind === "JSX attribute" /* jsxAttribute */ || symbolFlags & 3 /* Variable */ || symbolKind === "local var" /* localVariableElement */ || symbolKind === "index" /* indexSignatureElement */ || isThisExpression) {
+          if (symbolKind === "property" /* memberVariableElement */ || symbolKind === "accessor" /* memberAccessorVariableElement */ || symbolKind === "getter" /* memberGetAccessorElement */ || symbolKind === "setter" /* memberSetAccessorElement */ || symbolKind === "JSX attribute" /* jsxAttribute */ || symbolFlags & 3 /* Variable */ || symbolKind === "local var" /* localVariableElement */ || symbolKind === "index" /* indexSignatureElement */ || symbolKind === "using" /* variableUsingElement */ || symbolKind === "await using" /* variableAwaitUsingElement */ || isThisExpression) {
             displayParts.push(punctuationPart(59 /* ColonToken */));
             displayParts.push(spacePart());
             if (type.symbol && type.symbol.flags & 262144 /* TypeParameter */ && symbolKind !== "index" /* indexSignatureElement */) {
@@ -167110,6 +167146,8 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         case "let" /* letElement */:
         case "const" /* constElement */:
         case "constructor" /* constructorImplementationElement */:
+        case "using" /* variableUsingElement */:
+        case "await using" /* variableAwaitUsingElement */:
           displayParts.push(textOrKeywordPart(symbolKind2));
           return;
         default:

package/lib/typescript.d.ts

@@ -2221,7 +2221,7 @@ declare namespace ts {
         getSourceFileByPath(path: Path): SourceFile | undefined;
         getCurrentDirectory(): string;
     }
-    interface ParseConfigHost extends ModuleResolutionHost {
+    interface ParseConfigHost {
         useCaseSensitiveFileNames: boolean;
         readDirectory(rootDir: string, extensions: readonly string[], excludes: readonly string[] | undefined, includes: readonly string[], depth?: number): readonly string[];
         /**
@@ -7009,6 +7009,10 @@ declare namespace ts {
         variableElement = "var",
         /** Inside function */
         localVariableElement = "local var",
+        /** using foo = ... */
+        variableUsingElement = "using",
+        /** await using foo = ... */
+        variableAwaitUsingElement = "await using",
         /**
          * Inside module and script only
          * function f() { }

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230707`;
+      version = `${versionMajorMinor}.0-insiders.20230710`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -61941,7 +61941,37 @@ ${lanes.join("\n")}
       const restIndex = sourceRestType || targetRestType ? paramCount - 1 : -1;
       for (let i = 0; i < paramCount; i++) {
         const sourceType = i === restIndex ? getRestTypeAtPosition(source, i) : tryGetTypeAtPosition(source, i);
-        const targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+        let targetType = i === restIndex ? getRestTypeAtPosition(target, i) : tryGetTypeAtPosition(target, i);
+        if (i === restIndex && targetType && sourceType && isTupleType(sourceType)) {
+          targetType = mapType(targetType, (t) => {
+            if (!isTupleType(t) || // When both sides are tuples of the same structure, we don't want to "propagate" types from elements of variable positions
+            // to the following positions as that would disallow signatures of the exact same structures when trailing fixed elements are involved:
+            //
+            // let fn: (...rest: [...string[], number]) => void = (...rest: [...string[], number]) => {}; // ok
+            //
+            // Since we want to allow contextual types to flow into paremeters, we don't need to differentiate between rest and variadic elements
+            // as that doesn't affect the contextual type of the parameter
+            isTupleTypeStructureMatching(sourceType, t, 2 /* MatchVariable */)) {
+              return t;
+            }
+            const elementTypes = [];
+            const elementFlags = [];
+            const sourceArity = getTypeReferenceArity(sourceType);
+            const targetArity = getTypeReferenceArity(t);
+            for (let i2 = 0; i2 < sourceArity; i2++) {
+              if (i2 >= targetArity) {
+                if (sourceType.target.elementFlags[i2] & 3 /* Fixed */) {
+                  elementTypes.push(undefinedType);
+                  elementFlags.push(sourceType.target.elementFlags[i2]);
+                }
+                continue;
+              }
+              elementTypes.push(getTupleElementType(t, i2));
+              elementFlags.push(sourceType.target.elementFlags[i2]);
+            }
+            return createTupleType(elementTypes, elementFlags);
+          });
+        }
         if (sourceType && targetType) {
           const sourceSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(sourceType));
           const targetSig = checkMode & 3 /* Callback */ ? void 0 : getSingleCallSignature(getNonNullableType(targetType));
@@ -65124,8 +65154,11 @@ ${lanes.join("\n")}
       }
       return void 0;
     }
-    function isTupleTypeStructureMatching(t1, t2) {
-      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f, i) => (f & 12 /* Variable */) === (t2.target.elementFlags[i] & 12 /* Variable */));
+    function isTupleTypeStructureMatching(t1, t2, tupleStructureComparisonKind) {
+      return getTypeReferenceArity(t1) === getTypeReferenceArity(t2) && every(t1.target.elementFlags, (f1, i) => {
+        const f2 = t2.target.elementFlags[i];
+        return f1 === f2 || !!(tupleStructureComparisonKind & 1 /* MatchFixed */ && f1 & 3 /* Fixed */ && f2 & 3 /* Fixed */) || !!(tupleStructureComparisonKind & 2 /* MatchVariable */ && f1 & 12 /* Variable */ && f2 & 12 /* Variable */);
+      });
     }
     function isZeroBigInt({ value }) {
       return value.base10Value === "0";
@@ -66321,7 +66354,7 @@ ${lanes.join("\n")}
               const targetArity = getTypeReferenceArity(target);
               const elementTypes = getTypeArguments(target);
               const elementFlags = target.target.elementFlags;
-              if (isTupleType(source) && isTupleTypeStructureMatching(source, target)) {
+              if (isTupleType(source) && isTupleTypeStructureMatching(source, target, 1 /* MatchFixed */)) {
                 for (let i = 0; i < targetArity; i++) {
                   inferFromTypes(getTypeArguments(source)[i], elementTypes[i]);
                 }
@@ -121348,9 +121381,6 @@ ${lanes.join("\n")}
         return directoryStructureHost.readDirectory(root, extensions, excludes, includes, depth);
       },
       readFile: (f) => directoryStructureHost.readFile(f),
-      directoryExists: maybeBind(directoryStructureHost, directoryStructureHost.directoryExists),
-      getDirectories: maybeBind(directoryStructureHost, directoryStructureHost.getDirectories),
-      realpath: maybeBind(directoryStructureHost, directoryStructureHost.realpath),
       useCaseSensitiveFileNames: host.useCaseSensitiveFileNames(),
       getCurrentDirectory: () => host.getCurrentDirectory(),
       onUnRecoverableConfigFileDiagnostic: host.onUnRecoverableConfigFileDiagnostic || returnUndefined,
@@ -128454,6 +128484,8 @@ ${lanes.join("\n")}
         ScriptElementKind2["enumMemberElement"] = "enum member";
         ScriptElementKind2["variableElement"] = "var";
         ScriptElementKind2["localVariableElement"] = "local var";
+        ScriptElementKind2["variableUsingElement"] = "using";
+        ScriptElementKind2["variableAwaitUsingElement"] = "await using";
         ScriptElementKind2["functionElement"] = "function";
         ScriptElementKind2["localFunctionElement"] = "local function";
         ScriptElementKind2["memberFunctionElement"] = "method";
@@ -131141,13 +131173,16 @@ ${lanes.join("\n")}
     return !(symbol.flags & 33554432 /* Transient */) && (symbol.escapedName === "export=" /* ExportEquals */ || symbol.escapedName === "default" /* Default */);
   }
   function getDefaultLikeExportNameFromDeclaration(symbol) {
-    return firstDefined(
-      symbol.declarations,
-      (d) => {
-        var _a, _b;
-        return isExportAssignment(d) ? (_a = tryCast(skipOuterExpressions(d.expression), isIdentifier)) == null ? void 0 : _a.text : (_b = tryCast(getNameOfDeclaration(d), isIdentifier)) == null ? void 0 : _b.text;
+    return firstDefined(symbol.declarations, (d) => {
+      var _a, _b, _c;
+      if (isExportAssignment(d)) {
+        return (_a = tryCast(skipOuterExpressions(d.expression), isIdentifier)) == null ? void 0 : _a.text;
       }
-    );
+      if (isExportSpecifier(d) && d.symbol.flags === 2097152 /* Alias */) {
+        return (_b = tryCast(d.propertyName, isIdentifier)) == null ? void 0 : _b.text;
+      }
+      return (_c = tryCast(getNameOfDeclaration(d), isIdentifier)) == null ? void 0 : _c.text;
+    });
   }
   function getSymbolParentOrFail(symbol) {
     var _a;
@@ -141703,9 +141738,6 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         useCaseSensitiveFileNames: useCaseSensitiveFileNames2,
         fileExists: (fileName) => compilerHost.fileExists(fileName),
         readFile: (fileName) => compilerHost.readFile(fileName),
-        directoryExists: (f) => compilerHost.directoryExists(f),
-        getDirectories: (f) => compilerHost.getDirectories(f),
-        realpath: compilerHost.realpath,
         readDirectory: (...args) => compilerHost.readDirectory(...args),
         trace: compilerHost.trace,
         getCurrentDirectory: compilerHost.getCurrentDirectory,
@@ -166582,6 +166614,10 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         return "parameter" /* parameterElement */;
       } else if (symbol.valueDeclaration && isVarConst(symbol.valueDeclaration)) {
         return "const" /* constElement */;
+      } else if (symbol.valueDeclaration && isVarUsing(symbol.valueDeclaration)) {
+        return "using" /* variableUsingElement */;
+      } else if (symbol.valueDeclaration && isVarAwaitUsing(symbol.valueDeclaration)) {
+        return "await using" /* variableAwaitUsingElement */;
       } else if (forEach(symbol.declarations, isLet)) {
         return "let" /* letElement */;
       }
@@ -166975,7 +167011,7 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
           } else {
             addPrefixForAnyFunctionOrVar(symbol, symbolKind);
           }
-          if (symbolKind === "property" /* memberVariableElement */ || symbolKind === "accessor" /* memberAccessorVariableElement */ || symbolKind === "getter" /* memberGetAccessorElement */ || symbolKind === "setter" /* memberSetAccessorElement */ || symbolKind === "JSX attribute" /* jsxAttribute */ || symbolFlags & 3 /* Variable */ || symbolKind === "local var" /* localVariableElement */ || symbolKind === "index" /* indexSignatureElement */ || isThisExpression) {
+          if (symbolKind === "property" /* memberVariableElement */ || symbolKind === "accessor" /* memberAccessorVariableElement */ || symbolKind === "getter" /* memberGetAccessorElement */ || symbolKind === "setter" /* memberSetAccessorElement */ || symbolKind === "JSX attribute" /* jsxAttribute */ || symbolFlags & 3 /* Variable */ || symbolKind === "local var" /* localVariableElement */ || symbolKind === "index" /* indexSignatureElement */ || symbolKind === "using" /* variableUsingElement */ || symbolKind === "await using" /* variableAwaitUsingElement */ || isThisExpression) {
             displayParts.push(punctuationPart(59 /* ColonToken */));
             displayParts.push(spacePart());
             if (type.symbol && type.symbol.flags & 262144 /* TypeParameter */ && symbolKind !== "index" /* indexSignatureElement */) {
@@ -167125,6 +167161,8 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         case "let" /* letElement */:
         case "const" /* constElement */:
         case "constructor" /* constructorImplementationElement */:
+        case "using" /* variableUsingElement */:
+        case "await using" /* variableAwaitUsingElement */:
           displayParts.push(textOrKeywordPart(symbolKind2));
           return;
         default:

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.20230707`;
+var version = `${versionMajorMinor}.0-insiders.20230710`;
 
 // src/compiler/core.ts
 var emptyArray = [];

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-54922-6",
+  "version": "5.2.0-pr-49218-24",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -115,5 +115,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "163fb7959da8123962233530da125814c6a3f2c3"
+  "gitHead": "f606b3c7639589dc74f8db612faba767e394c163"
 }