@typescript-deploys/pr-build 5.2.0-pr-54935-7 → 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.20230709`;
+var version = `${versionMajorMinor}.0-insiders.20230710`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -48184,7 +48184,7 @@ function createTypeChecker(host) {
       return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
     }
     function addPropertyToElementList(propertySymbol, context, typeElements) {
-      var _a, _b;
+      var _a;
       const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
       const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
       const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -48234,54 +48234,17 @@ function createTypeChecker(host) {
           context.reverseMappedStack.pop();
         }
       }
-      if (propertySymbol.flags & 98304 /* Accessor */) {
-        const modifierFlags = getDeclarationModifierFlagsFromSymbol(propertySymbol);
-        const flags = modifierFlags & ~(512 /* Async */ | 32 /* Static */ | 128 /* Accessor */);
-        if (propertySymbol.flags & 32768 /* GetAccessor */) {
-          const getAccessorSignature = factory.createGetAccessorDeclaration(
-            factory.createModifiersFromModifierFlags(flags),
-            propertyName,
-            [],
-            propertyTypeNode,
-            /*body*/
-            void 0
-          );
-          typeElements.push(preserveCommentsOn(getAccessorSignature));
-        }
-        if (propertySymbol.flags & 65536 /* SetAccessor */) {
-          const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-          const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-          const setAccessorSignature = factory.createSetAccessorDeclaration(
-            factory.createModifiersFromModifierFlags(flags),
-            propertyName,
-            [factory.createParameterDeclaration(
-              /*modifiers*/
-              void 0,
-              /*dotDotDotToken*/
-              void 0,
-              parameterName,
-              /*questionToken*/
-              void 0,
-              propertyTypeNode
-            )],
-            /*body*/
-            void 0
-          );
-          typeElements.push(preserveCommentsOn(setAccessorSignature));
-        }
-      } else {
-        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-        if (modifiers) {
-          context.approximateLength += 9;
-        }
-        const propertySignature = factory.createPropertySignature(
-          modifiers,
-          propertyName,
-          optionalToken,
-          propertyTypeNode
-        );
-        typeElements.push(preserveCommentsOn(propertySignature));
+      const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+      if (modifiers) {
+        context.approximateLength += 9;
       }
+      const propertySignature = factory.createPropertySignature(
+        modifiers,
+        propertyName,
+        optionalToken,
+        propertyTypeNode
+      );
+      typeElements.push(preserveCommentsOn(propertySignature));
       function preserveCommentsOn(node) {
         var _a2;
         if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -59504,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));
@@ -62687,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";
@@ -63884,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]);
               }

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.20230709`;
+var version = `${versionMajorMinor}.0-insiders.20230710`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -52891,7 +52891,7 @@ function createTypeChecker(host) {
       return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
     }
     function addPropertyToElementList(propertySymbol, context, typeElements) {
-      var _a, _b;
+      var _a;
       const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
       const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
       const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -52941,54 +52941,17 @@ function createTypeChecker(host) {
           context.reverseMappedStack.pop();
         }
       }
-      if (propertySymbol.flags & 98304 /* Accessor */) {
-        const modifierFlags = getDeclarationModifierFlagsFromSymbol(propertySymbol);
-        const flags = modifierFlags & ~(512 /* Async */ | 32 /* Static */ | 128 /* Accessor */);
-        if (propertySymbol.flags & 32768 /* GetAccessor */) {
-          const getAccessorSignature = factory.createGetAccessorDeclaration(
-            factory.createModifiersFromModifierFlags(flags),
-            propertyName,
-            [],
-            propertyTypeNode,
-            /*body*/
-            void 0
-          );
-          typeElements.push(preserveCommentsOn(getAccessorSignature));
-        }
-        if (propertySymbol.flags & 65536 /* SetAccessor */) {
-          const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-          const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-          const setAccessorSignature = factory.createSetAccessorDeclaration(
-            factory.createModifiersFromModifierFlags(flags),
-            propertyName,
-            [factory.createParameterDeclaration(
-              /*modifiers*/
-              void 0,
-              /*dotDotDotToken*/
-              void 0,
-              parameterName,
-              /*questionToken*/
-              void 0,
-              propertyTypeNode
-            )],
-            /*body*/
-            void 0
-          );
-          typeElements.push(preserveCommentsOn(setAccessorSignature));
-        }
-      } else {
-        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-        if (modifiers) {
-          context.approximateLength += 9;
-        }
-        const propertySignature = factory.createPropertySignature(
-          modifiers,
-          propertyName,
-          optionalToken,
-          propertyTypeNode
-        );
-        typeElements.push(preserveCommentsOn(propertySignature));
+      const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+      if (modifiers) {
+        context.approximateLength += 9;
       }
+      const propertySignature = factory.createPropertySignature(
+        modifiers,
+        propertyName,
+        optionalToken,
+        propertyTypeNode
+      );
+      typeElements.push(preserveCommentsOn(propertySignature));
       function preserveCommentsOn(node) {
         var _a2;
         if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -64211,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));
@@ -67394,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";
@@ -68591,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]);
               }
@@ -132904,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;

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230709`;
+      version = `${versionMajorMinor}.0-insiders.20230710`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -50658,7 +50658,7 @@ ${lanes.join("\n")}
         return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
       }
       function addPropertyToElementList(propertySymbol, context, typeElements) {
-        var _a, _b;
+        var _a;
         const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
         const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
         const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -50708,54 +50708,17 @@ ${lanes.join("\n")}
             context.reverseMappedStack.pop();
           }
         }
-        if (propertySymbol.flags & 98304 /* Accessor */) {
-          const modifierFlags = getDeclarationModifierFlagsFromSymbol(propertySymbol);
-          const flags = modifierFlags & ~(512 /* Async */ | 32 /* Static */ | 128 /* Accessor */);
-          if (propertySymbol.flags & 32768 /* GetAccessor */) {
-            const getAccessorSignature = factory.createGetAccessorDeclaration(
-              factory.createModifiersFromModifierFlags(flags),
-              propertyName,
-              [],
-              propertyTypeNode,
-              /*body*/
-              void 0
-            );
-            typeElements.push(preserveCommentsOn(getAccessorSignature));
-          }
-          if (propertySymbol.flags & 65536 /* SetAccessor */) {
-            const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-            const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-            const setAccessorSignature = factory.createSetAccessorDeclaration(
-              factory.createModifiersFromModifierFlags(flags),
-              propertyName,
-              [factory.createParameterDeclaration(
-                /*modifiers*/
-                void 0,
-                /*dotDotDotToken*/
-                void 0,
-                parameterName,
-                /*questionToken*/
-                void 0,
-                propertyTypeNode
-              )],
-              /*body*/
-              void 0
-            );
-            typeElements.push(preserveCommentsOn(setAccessorSignature));
-          }
-        } else {
-          const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-          if (modifiers) {
-            context.approximateLength += 9;
-          }
-          const propertySignature = factory.createPropertySignature(
-            modifiers,
-            propertyName,
-            optionalToken,
-            propertyTypeNode
-          );
-          typeElements.push(preserveCommentsOn(propertySignature));
+        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+        if (modifiers) {
+          context.approximateLength += 9;
         }
+        const propertySignature = factory.createPropertySignature(
+          modifiers,
+          propertyName,
+          optionalToken,
+          propertyTypeNode
+        );
+        typeElements.push(preserveCommentsOn(propertySignature));
         function preserveCommentsOn(node) {
           var _a2;
           if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -61978,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));
@@ -65161,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";
@@ -66358,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]);
                 }
@@ -131162,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;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230709`;
+      version = `${versionMajorMinor}.0-insiders.20230710`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -50658,7 +50658,7 @@ ${lanes.join("\n")}
         return !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */) && (contains(context.reverseMappedStack, propertySymbol) || ((_a = context.reverseMappedStack) == null ? void 0 : _a[0]) && !(getObjectFlags(last(context.reverseMappedStack).links.propertyType) & 16 /* Anonymous */));
       }
       function addPropertyToElementList(propertySymbol, context, typeElements) {
-        var _a, _b;
+        var _a;
         const propertyIsReverseMapped = !!(getCheckFlags(propertySymbol) & 8192 /* ReverseMapped */);
         const propertyType = shouldUsePlaceholderForProperty(propertySymbol, context) ? anyType : getNonMissingTypeOfSymbol(propertySymbol);
         const saveEnclosingDeclaration = context.enclosingDeclaration;
@@ -50708,54 +50708,17 @@ ${lanes.join("\n")}
             context.reverseMappedStack.pop();
           }
         }
-        if (propertySymbol.flags & 98304 /* Accessor */) {
-          const modifierFlags = getDeclarationModifierFlagsFromSymbol(propertySymbol);
-          const flags = modifierFlags & ~(512 /* Async */ | 32 /* Static */ | 128 /* Accessor */);
-          if (propertySymbol.flags & 32768 /* GetAccessor */) {
-            const getAccessorSignature = factory.createGetAccessorDeclaration(
-              factory.createModifiersFromModifierFlags(flags),
-              propertyName,
-              [],
-              propertyTypeNode,
-              /*body*/
-              void 0
-            );
-            typeElements.push(preserveCommentsOn(getAccessorSignature));
-          }
-          if (propertySymbol.flags & 65536 /* SetAccessor */) {
-            const setAccessorDecl = find(propertySymbol.declarations, (decl) => decl.kind === 178 /* SetAccessor */);
-            const parameterName = ((_b = setAccessorDecl == null ? void 0 : setAccessorDecl.parameters) == null ? void 0 : _b.length) > 0 ? setAccessorDecl.parameters[0].name : "arg";
-            const setAccessorSignature = factory.createSetAccessorDeclaration(
-              factory.createModifiersFromModifierFlags(flags),
-              propertyName,
-              [factory.createParameterDeclaration(
-                /*modifiers*/
-                void 0,
-                /*dotDotDotToken*/
-                void 0,
-                parameterName,
-                /*questionToken*/
-                void 0,
-                propertyTypeNode
-              )],
-              /*body*/
-              void 0
-            );
-            typeElements.push(preserveCommentsOn(setAccessorSignature));
-          }
-        } else {
-          const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
-          if (modifiers) {
-            context.approximateLength += 9;
-          }
-          const propertySignature = factory.createPropertySignature(
-            modifiers,
-            propertyName,
-            optionalToken,
-            propertyTypeNode
-          );
-          typeElements.push(preserveCommentsOn(propertySignature));
+        const modifiers = isReadonlySymbol(propertySymbol) ? [factory.createToken(148 /* ReadonlyKeyword */)] : void 0;
+        if (modifiers) {
+          context.approximateLength += 9;
         }
+        const propertySignature = factory.createPropertySignature(
+          modifiers,
+          propertyName,
+          optionalToken,
+          propertyTypeNode
+        );
+        typeElements.push(preserveCommentsOn(propertySignature));
         function preserveCommentsOn(node) {
           var _a2;
           if (some(propertySymbol.declarations, (d) => d.kind === 355 /* JSDocPropertyTag */)) {
@@ -61978,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));
@@ -65161,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";
@@ -66358,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]);
                 }
@@ -131177,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;

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.20230709`;
+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-54935-7",
+  "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": "4c1de3dcfe54b0cff2d2cfa69bc608b47083fe5b"
+  "gitHead": "f606b3c7639589dc74f8db612faba767e394c163"
 }