@typescript-deploys/pr-build 5.2.0-pr-53804-5 → 5.2.0-pr-53356-21

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.20230613`;
+var version = `${versionMajorMinor}.0-insiders.20230615`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6808,7 +6808,6 @@ var Diagnostics = {
   Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0: diag(5081, 1 /* Error */, "Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0_5081", "Cannot find a tsconfig.json file at the current directory: {0}."),
   _0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1: diag(5082, 1 /* Error */, "_0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1_5082", "'{0}' could be instantiated with an arbitrary type which could be unrelated to '{1}'."),
   Cannot_read_file_0: diag(5083, 1 /* Error */, "Cannot_read_file_0_5083", "Cannot read file '{0}'."),
-  Tuple_members_must_all_have_names_or_all_not_have_names: diag(5084, 1 /* Error */, "Tuple_members_must_all_have_names_or_all_not_have_names_5084", "Tuple members must all have names or all not have names."),
   A_tuple_member_cannot_be_both_optional_and_rest: diag(5085, 1 /* Error */, "A_tuple_member_cannot_be_both_optional_and_rest_5085", "A tuple member cannot be both optional and rest."),
   A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_colon_rather_than_after_the_type: diag(5086, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_c_5086", "A labeled tuple element is declared as optional with a question mark after the name and before the colon, rather than after the type."),
   A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type: diag(5087, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type_5087", "A labeled tuple element is declared as rest with a '...' before the name, rather than before the type."),
@@ -47707,19 +47706,18 @@ function createTypeChecker(host) {
             const arity = getTypeReferenceArity(type2);
             const tupleConstituentNodes = mapToTypeNodes(typeArguments.slice(0, arity), context);
             if (tupleConstituentNodes) {
-              if (type2.target.labeledElementDeclarations) {
-                for (let i = 0; i < tupleConstituentNodes.length; i++) {
-                  const flags = type2.target.elementFlags[i];
+              const { labeledElementDeclarations } = type2.target;
+              for (let i = 0; i < tupleConstituentNodes.length; i++) {
+                const flags = type2.target.elementFlags[i];
+                const labeledElementDeclaration = labeledElementDeclarations == null ? void 0 : labeledElementDeclarations[i];
+                if (labeledElementDeclaration) {
                   tupleConstituentNodes[i] = factory.createNamedTupleMember(
                     flags & 12 /* Variable */ ? factory.createToken(26 /* DotDotDotToken */) : void 0,
-                    factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(type2.target.labeledElementDeclarations[i]))),
+                    factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(labeledElementDeclaration))),
                     flags & 2 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0,
                     flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]
                   );
-                }
-              } else {
-                for (let i = 0; i < Math.min(arity, tupleConstituentNodes.length); i++) {
-                  const flags = type2.target.elementFlags[i];
+                } else {
                   tupleConstituentNodes[i] = flags & 12 /* Variable */ ? factory.createRestTypeNode(flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]) : flags & 2 /* Optional */ ? factory.createOptionalTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i];
                 }
               }
@@ -52826,17 +52824,18 @@ function createTypeChecker(host) {
   function getExpandedParameters(sig, skipUnionExpanding) {
     if (signatureHasRestParameter(sig)) {
       const restIndex = sig.parameters.length - 1;
+      const restName = sig.parameters[restIndex].escapedName;
       const restType = getTypeOfSymbol(sig.parameters[restIndex]);
       if (isTupleType(restType)) {
-        return [expandSignatureParametersWithTupleMembers(restType, restIndex)];
+        return [expandSignatureParametersWithTupleMembers(restType, restIndex, restName)];
       } else if (!skipUnionExpanding && restType.flags & 1048576 /* Union */ && every(restType.types, isTupleType)) {
-        return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex));
+        return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex, restName));
       }
     }
     return [sig.parameters];
-    function expandSignatureParametersWithTupleMembers(restType, restIndex) {
-      const elementTypes = getElementTypes(restType);
-      const associatedNames = getUniqAssociatedNamesFromTupleType(restType);
+    function expandSignatureParametersWithTupleMembers(restType, restIndex, restName) {
+      const elementTypes = getTypeArguments(restType);
+      const associatedNames = getUniqAssociatedNamesFromTupleType(restType, restName);
       const restParams = map(elementTypes, (t, i) => {
         const name = associatedNames && associatedNames[i] ? associatedNames[i] : getParameterNameAtPosition(sig, restIndex + i, restType);
         const flags = restType.target.elementFlags[i];
@@ -52847,10 +52846,10 @@ function createTypeChecker(host) {
       });
       return concatenate(sig.parameters.slice(0, restIndex), restParams);
     }
-    function getUniqAssociatedNamesFromTupleType(type) {
+    function getUniqAssociatedNamesFromTupleType(type, restName) {
       const associatedNamesMap = /* @__PURE__ */ new Map();
-      return map(type.target.labeledElementDeclarations, (labeledElement) => {
-        const name = getTupleElementLabel(labeledElement);
+      return map(type.target.labeledElementDeclarations, (labeledElement, i) => {
+        const name = getTupleElementLabel(labeledElement, i, restName);
         const prevCounter = associatedNamesMap.get(name);
         if (prevCounter === void 0) {
           associatedNamesMap.set(name, 1);
@@ -55768,13 +55767,10 @@ function createTypeChecker(host) {
       return readonly ? globalReadonlyArrayType : globalArrayType;
     }
     const elementFlags = map(node.elements, getTupleElementFlags);
-    const missingName = some(node.elements, (e) => e.kind !== 201 /* NamedTupleMember */);
-    return getTupleTargetType(
-      elementFlags,
-      readonly,
-      /*associatedNames*/
-      missingName ? void 0 : node.elements
-    );
+    return getTupleTargetType(elementFlags, readonly, map(node.elements, memberIfLabeledElementDeclaration));
+  }
+  function memberIfLabeledElementDeclaration(member) {
+    return isNamedTupleMember(member) || isParameter(member) ? member : void 0;
   }
   function isDeferredTypeReferenceNode(node, hasDefaultTypeArguments) {
     return !!getAliasSymbolForTypeNode(node) || isResolvedByTypeAlias(node) && (node.kind === 187 /* ArrayType */ ? mayResolveTypeAlias(node.elementType) : node.kind === 188 /* TupleType */ ? some(node.elements, mayResolveTypeAlias) : hasDefaultTypeArguments || some(node.typeArguments, mayResolveTypeAlias));
@@ -55849,7 +55845,7 @@ function createTypeChecker(host) {
   function isReadonlyTypeOperator(node) {
     return isTypeOperatorNode(node) && node.operator === 148 /* ReadonlyKeyword */;
   }
-  function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations) {
+  function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations = []) {
     const tupleTarget = getTupleTargetType(elementFlags || map(elementTypes, (_) => 1 /* Required */), readonly, namedMemberDeclarations);
     return tupleTarget === emptyGenericType ? emptyObjectType : elementTypes.length ? createNormalizedTypeReference(tupleTarget, elementTypes) : tupleTarget;
   }
@@ -55857,7 +55853,8 @@ function createTypeChecker(host) {
     if (elementFlags.length === 1 && elementFlags[0] & 4 /* Rest */) {
       return readonly ? globalReadonlyArrayType : globalArrayType;
     }
-    const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (namedMemberDeclarations && namedMemberDeclarations.length ? "," + map(namedMemberDeclarations, getNodeId).join(",") : "");
+    const memberIds = mapDefined(namedMemberDeclarations, (node) => node ? getNodeId(node) : void 0);
+    const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (memberIds.length ? "," + memberIds.join(",") : "");
     let type = tupleTypes.get(key);
     if (!type) {
       tupleTypes.set(key, type = createTupleTargetType(elementFlags, readonly, namedMemberDeclarations));
@@ -55939,7 +55936,7 @@ function createTypeChecker(host) {
     }
     const expandedTypes = [];
     const expandedFlags = [];
-    let expandedDeclarations = [];
+    const expandedDeclarations = [];
     let lastRequiredIndex = -1;
     let firstRestIndex = -1;
     let lastOptionalOrRestIndex = -1;
@@ -55977,7 +55974,7 @@ function createTypeChecker(host) {
       ));
       expandedTypes.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
       expandedFlags.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
-      expandedDeclarations == null ? void 0 : expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
+      expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
     }
     const tupleTarget = getTupleTargetType(expandedFlags, target.readonly, expandedDeclarations);
     return tupleTarget === emptyGenericType ? emptyObjectType : expandedFlags.length ? createTypeReference(tupleTarget, expandedTypes) : tupleTarget;
@@ -55997,11 +55994,7 @@ function createTypeChecker(host) {
         true
       ) : type);
       expandedFlags.push(flags);
-      if (expandedDeclarations && declaration) {
-        expandedDeclarations.push(declaration);
-      } else {
-        expandedDeclarations = void 0;
-      }
+      expandedDeclarations.push(declaration);
     }
   }
   function sliceTupleType(type, index, endSkipCount = 0) {
@@ -65774,7 +65767,7 @@ function createTypeChecker(host) {
         location = location.parent;
       }
       if (isExpressionNode(location) && (!isAssignmentTarget(location) || isWriteAccess(location))) {
-        const type = removeOptionalTypeMarker(getTypeOfExpression(location));
+        const type = getTypeOfExpression(location);
         if (getExportSymbolOfValueSymbolIfExported(getNodeLinks(location).resolvedSymbol) === symbol) {
           return type;
         }
@@ -71733,7 +71726,10 @@ function createTypeChecker(host) {
     }
     return type;
   }
-  function getTupleElementLabel(d) {
+  function getTupleElementLabel(d, index, restParameterName = "arg") {
+    if (!d) {
+      return `${restParameterName}_${index}`;
+    }
     Debug.assert(isIdentifier(d.name));
     return d.name.escapedText;
   }
@@ -71747,7 +71743,7 @@ function createTypeChecker(host) {
     if (isTupleType(restType)) {
       const associatedNames = restType.target.labeledElementDeclarations;
       const index = pos - paramCount;
-      return associatedNames && getTupleElementLabel(associatedNames[index]) || restParameter.escapedName + "_" + index;
+      return getTupleElementLabel(associatedNames == null ? void 0 : associatedNames[index], index, restParameter.escapedName);
     }
     return restParameter.escapedName;
   }
@@ -75102,12 +75098,7 @@ function createTypeChecker(host) {
     const elementTypes = node.elements;
     let seenOptionalElement = false;
     let seenRestElement = false;
-    const hasNamedElement = some(elementTypes, isNamedTupleMember);
     for (const e of elementTypes) {
-      if (e.kind !== 201 /* NamedTupleMember */ && hasNamedElement) {
-        grammarErrorOnNode(e, Diagnostics.Tuple_members_must_all_have_names_or_all_not_have_names);
-        break;
-      }
       const flags = getTupleElementFlags(e);
       if (flags & 8 /* Variadic */) {
         const type = getTypeFromTypeNode(e.type);

package/lib/tsserver.js

@@ -2305,7 +2305,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230613`;
+var version = `${versionMajorMinor}.0-insiders.20230615`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10306,7 +10306,6 @@ var Diagnostics = {
   Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0: diag(5081, 1 /* Error */, "Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0_5081", "Cannot find a tsconfig.json file at the current directory: {0}."),
   _0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1: diag(5082, 1 /* Error */, "_0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1_5082", "'{0}' could be instantiated with an arbitrary type which could be unrelated to '{1}'."),
   Cannot_read_file_0: diag(5083, 1 /* Error */, "Cannot_read_file_0_5083", "Cannot read file '{0}'."),
-  Tuple_members_must_all_have_names_or_all_not_have_names: diag(5084, 1 /* Error */, "Tuple_members_must_all_have_names_or_all_not_have_names_5084", "Tuple members must all have names or all not have names."),
   A_tuple_member_cannot_be_both_optional_and_rest: diag(5085, 1 /* Error */, "A_tuple_member_cannot_be_both_optional_and_rest_5085", "A tuple member cannot be both optional and rest."),
   A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_colon_rather_than_after_the_type: diag(5086, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_c_5086", "A labeled tuple element is declared as optional with a question mark after the name and before the colon, rather than after the type."),
   A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type: diag(5087, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type_5087", "A labeled tuple element is declared as rest with a '...' before the name, rather than before the type."),
@@ -52348,19 +52347,18 @@ function createTypeChecker(host) {
             const arity = getTypeReferenceArity(type2);
             const tupleConstituentNodes = mapToTypeNodes(typeArguments.slice(0, arity), context);
             if (tupleConstituentNodes) {
-              if (type2.target.labeledElementDeclarations) {
-                for (let i = 0; i < tupleConstituentNodes.length; i++) {
-                  const flags = type2.target.elementFlags[i];
+              const { labeledElementDeclarations } = type2.target;
+              for (let i = 0; i < tupleConstituentNodes.length; i++) {
+                const flags = type2.target.elementFlags[i];
+                const labeledElementDeclaration = labeledElementDeclarations == null ? void 0 : labeledElementDeclarations[i];
+                if (labeledElementDeclaration) {
                   tupleConstituentNodes[i] = factory.createNamedTupleMember(
                     flags & 12 /* Variable */ ? factory.createToken(26 /* DotDotDotToken */) : void 0,
-                    factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(type2.target.labeledElementDeclarations[i]))),
+                    factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(labeledElementDeclaration))),
                     flags & 2 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0,
                     flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]
                   );
-                }
-              } else {
-                for (let i = 0; i < Math.min(arity, tupleConstituentNodes.length); i++) {
-                  const flags = type2.target.elementFlags[i];
+                } else {
                   tupleConstituentNodes[i] = flags & 12 /* Variable */ ? factory.createRestTypeNode(flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]) : flags & 2 /* Optional */ ? factory.createOptionalTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i];
                 }
               }
@@ -57467,17 +57465,18 @@ function createTypeChecker(host) {
   function getExpandedParameters(sig, skipUnionExpanding) {
     if (signatureHasRestParameter(sig)) {
       const restIndex = sig.parameters.length - 1;
+      const restName = sig.parameters[restIndex].escapedName;
       const restType = getTypeOfSymbol(sig.parameters[restIndex]);
       if (isTupleType(restType)) {
-        return [expandSignatureParametersWithTupleMembers(restType, restIndex)];
+        return [expandSignatureParametersWithTupleMembers(restType, restIndex, restName)];
       } else if (!skipUnionExpanding && restType.flags & 1048576 /* Union */ && every(restType.types, isTupleType)) {
-        return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex));
+        return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex, restName));
       }
     }
     return [sig.parameters];
-    function expandSignatureParametersWithTupleMembers(restType, restIndex) {
-      const elementTypes = getElementTypes(restType);
-      const associatedNames = getUniqAssociatedNamesFromTupleType(restType);
+    function expandSignatureParametersWithTupleMembers(restType, restIndex, restName) {
+      const elementTypes = getTypeArguments(restType);
+      const associatedNames = getUniqAssociatedNamesFromTupleType(restType, restName);
       const restParams = map(elementTypes, (t, i) => {
         const name = associatedNames && associatedNames[i] ? associatedNames[i] : getParameterNameAtPosition(sig, restIndex + i, restType);
         const flags = restType.target.elementFlags[i];
@@ -57488,10 +57487,10 @@ function createTypeChecker(host) {
       });
       return concatenate(sig.parameters.slice(0, restIndex), restParams);
     }
-    function getUniqAssociatedNamesFromTupleType(type) {
+    function getUniqAssociatedNamesFromTupleType(type, restName) {
       const associatedNamesMap = /* @__PURE__ */ new Map();
-      return map(type.target.labeledElementDeclarations, (labeledElement) => {
-        const name = getTupleElementLabel(labeledElement);
+      return map(type.target.labeledElementDeclarations, (labeledElement, i) => {
+        const name = getTupleElementLabel(labeledElement, i, restName);
         const prevCounter = associatedNamesMap.get(name);
         if (prevCounter === void 0) {
           associatedNamesMap.set(name, 1);
@@ -60409,13 +60408,10 @@ function createTypeChecker(host) {
       return readonly ? globalReadonlyArrayType : globalArrayType;
     }
     const elementFlags = map(node.elements, getTupleElementFlags);
-    const missingName = some(node.elements, (e) => e.kind !== 201 /* NamedTupleMember */);
-    return getTupleTargetType(
-      elementFlags,
-      readonly,
-      /*associatedNames*/
-      missingName ? void 0 : node.elements
-    );
+    return getTupleTargetType(elementFlags, readonly, map(node.elements, memberIfLabeledElementDeclaration));
+  }
+  function memberIfLabeledElementDeclaration(member) {
+    return isNamedTupleMember(member) || isParameter(member) ? member : void 0;
   }
   function isDeferredTypeReferenceNode(node, hasDefaultTypeArguments) {
     return !!getAliasSymbolForTypeNode(node) || isResolvedByTypeAlias(node) && (node.kind === 187 /* ArrayType */ ? mayResolveTypeAlias(node.elementType) : node.kind === 188 /* TupleType */ ? some(node.elements, mayResolveTypeAlias) : hasDefaultTypeArguments || some(node.typeArguments, mayResolveTypeAlias));
@@ -60490,7 +60486,7 @@ function createTypeChecker(host) {
   function isReadonlyTypeOperator(node) {
     return isTypeOperatorNode(node) && node.operator === 148 /* ReadonlyKeyword */;
   }
-  function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations) {
+  function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations = []) {
     const tupleTarget = getTupleTargetType(elementFlags || map(elementTypes, (_) => 1 /* Required */), readonly, namedMemberDeclarations);
     return tupleTarget === emptyGenericType ? emptyObjectType : elementTypes.length ? createNormalizedTypeReference(tupleTarget, elementTypes) : tupleTarget;
   }
@@ -60498,7 +60494,8 @@ function createTypeChecker(host) {
     if (elementFlags.length === 1 && elementFlags[0] & 4 /* Rest */) {
       return readonly ? globalReadonlyArrayType : globalArrayType;
     }
-    const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (namedMemberDeclarations && namedMemberDeclarations.length ? "," + map(namedMemberDeclarations, getNodeId).join(",") : "");
+    const memberIds = mapDefined(namedMemberDeclarations, (node) => node ? getNodeId(node) : void 0);
+    const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (memberIds.length ? "," + memberIds.join(",") : "");
     let type = tupleTypes.get(key);
     if (!type) {
       tupleTypes.set(key, type = createTupleTargetType(elementFlags, readonly, namedMemberDeclarations));
@@ -60580,7 +60577,7 @@ function createTypeChecker(host) {
     }
     const expandedTypes = [];
     const expandedFlags = [];
-    let expandedDeclarations = [];
+    const expandedDeclarations = [];
     let lastRequiredIndex = -1;
     let firstRestIndex = -1;
     let lastOptionalOrRestIndex = -1;
@@ -60618,7 +60615,7 @@ function createTypeChecker(host) {
       ));
       expandedTypes.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
       expandedFlags.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
-      expandedDeclarations == null ? void 0 : expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
+      expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
     }
     const tupleTarget = getTupleTargetType(expandedFlags, target.readonly, expandedDeclarations);
     return tupleTarget === emptyGenericType ? emptyObjectType : expandedFlags.length ? createTypeReference(tupleTarget, expandedTypes) : tupleTarget;
@@ -60638,11 +60635,7 @@ function createTypeChecker(host) {
         true
       ) : type);
       expandedFlags.push(flags);
-      if (expandedDeclarations && declaration) {
-        expandedDeclarations.push(declaration);
-      } else {
-        expandedDeclarations = void 0;
-      }
+      expandedDeclarations.push(declaration);
     }
   }
   function sliceTupleType(type, index, endSkipCount = 0) {
@@ -70415,7 +70408,7 @@ function createTypeChecker(host) {
         location = location.parent;
       }
       if (isExpressionNode(location) && (!isAssignmentTarget(location) || isWriteAccess(location))) {
-        const type = removeOptionalTypeMarker(getTypeOfExpression(location));
+        const type = getTypeOfExpression(location);
         if (getExportSymbolOfValueSymbolIfExported(getNodeLinks(location).resolvedSymbol) === symbol) {
           return type;
         }
@@ -76374,7 +76367,10 @@ function createTypeChecker(host) {
     }
     return type;
   }
-  function getTupleElementLabel(d) {
+  function getTupleElementLabel(d, index, restParameterName = "arg") {
+    if (!d) {
+      return `${restParameterName}_${index}`;
+    }
     Debug.assert(isIdentifier(d.name));
     return d.name.escapedText;
   }
@@ -76388,7 +76384,7 @@ function createTypeChecker(host) {
     if (isTupleType(restType)) {
       const associatedNames = restType.target.labeledElementDeclarations;
       const index = pos - paramCount;
-      return associatedNames && getTupleElementLabel(associatedNames[index]) || restParameter.escapedName + "_" + index;
+      return getTupleElementLabel(associatedNames == null ? void 0 : associatedNames[index], index, restParameter.escapedName);
     }
     return restParameter.escapedName;
   }
@@ -79743,12 +79739,7 @@ function createTypeChecker(host) {
     const elementTypes = node.elements;
     let seenOptionalElement = false;
     let seenRestElement = false;
-    const hasNamedElement = some(elementTypes, isNamedTupleMember);
     for (const e of elementTypes) {
-      if (e.kind !== 201 /* NamedTupleMember */ && hasNamedElement) {
-        grammarErrorOnNode(e, Diagnostics.Tuple_members_must_all_have_names_or_all_not_have_names);
-        break;
-      }
       const flags = getTupleElementFlags(e);
       if (flags & 8 /* Variadic */) {
         const type = getTypeFromTypeNode(e.type);

package/lib/tsserverlibrary.d.ts

@@ -6948,7 +6948,7 @@ declare namespace ts {
         hasRestElement: boolean;
         combinedFlags: ElementFlags;
         readonly: boolean;
-        labeledElementDeclarations?: readonly (NamedTupleMember | ParameterDeclaration)[];
+        labeledElementDeclarations?: readonly (NamedTupleMember | ParameterDeclaration | undefined)[];
     }
     interface TupleTypeReference extends TypeReference {
         target: TupleType;

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230613`;
+      version = `${versionMajorMinor}.0-insiders.20230615`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -8111,7 +8111,6 @@ ${lanes.join("\n")}
         Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0: diag(5081, 1 /* Error */, "Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0_5081", "Cannot find a tsconfig.json file at the current directory: {0}."),
         _0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1: diag(5082, 1 /* Error */, "_0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1_5082", "'{0}' could be instantiated with an arbitrary type which could be unrelated to '{1}'."),
         Cannot_read_file_0: diag(5083, 1 /* Error */, "Cannot_read_file_0_5083", "Cannot read file '{0}'."),
-        Tuple_members_must_all_have_names_or_all_not_have_names: diag(5084, 1 /* Error */, "Tuple_members_must_all_have_names_or_all_not_have_names_5084", "Tuple members must all have names or all not have names."),
         A_tuple_member_cannot_be_both_optional_and_rest: diag(5085, 1 /* Error */, "A_tuple_member_cannot_be_both_optional_and_rest_5085", "A tuple member cannot be both optional and rest."),
         A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_colon_rather_than_after_the_type: diag(5086, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_c_5086", "A labeled tuple element is declared as optional with a question mark after the name and before the colon, rather than after the type."),
         A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type: diag(5087, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type_5087", "A labeled tuple element is declared as rest with a '...' before the name, rather than before the type."),
@@ -50137,19 +50136,18 @@ ${lanes.join("\n")}
               const arity = getTypeReferenceArity(type2);
               const tupleConstituentNodes = mapToTypeNodes(typeArguments.slice(0, arity), context);
               if (tupleConstituentNodes) {
-                if (type2.target.labeledElementDeclarations) {
-                  for (let i = 0; i < tupleConstituentNodes.length; i++) {
-                    const flags = type2.target.elementFlags[i];
+                const { labeledElementDeclarations } = type2.target;
+                for (let i = 0; i < tupleConstituentNodes.length; i++) {
+                  const flags = type2.target.elementFlags[i];
+                  const labeledElementDeclaration = labeledElementDeclarations == null ? void 0 : labeledElementDeclarations[i];
+                  if (labeledElementDeclaration) {
                     tupleConstituentNodes[i] = factory.createNamedTupleMember(
                       flags & 12 /* Variable */ ? factory.createToken(26 /* DotDotDotToken */) : void 0,
-                      factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(type2.target.labeledElementDeclarations[i]))),
+                      factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(labeledElementDeclaration))),
                       flags & 2 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0,
                       flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]
                     );
-                  }
-                } else {
-                  for (let i = 0; i < Math.min(arity, tupleConstituentNodes.length); i++) {
-                    const flags = type2.target.elementFlags[i];
+                  } else {
                     tupleConstituentNodes[i] = flags & 12 /* Variable */ ? factory.createRestTypeNode(flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]) : flags & 2 /* Optional */ ? factory.createOptionalTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i];
                   }
                 }
@@ -55256,17 +55254,18 @@ ${lanes.join("\n")}
     function getExpandedParameters(sig, skipUnionExpanding) {
       if (signatureHasRestParameter(sig)) {
         const restIndex = sig.parameters.length - 1;
+        const restName = sig.parameters[restIndex].escapedName;
         const restType = getTypeOfSymbol(sig.parameters[restIndex]);
         if (isTupleType(restType)) {
-          return [expandSignatureParametersWithTupleMembers(restType, restIndex)];
+          return [expandSignatureParametersWithTupleMembers(restType, restIndex, restName)];
         } else if (!skipUnionExpanding && restType.flags & 1048576 /* Union */ && every(restType.types, isTupleType)) {
-          return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex));
+          return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex, restName));
         }
       }
       return [sig.parameters];
-      function expandSignatureParametersWithTupleMembers(restType, restIndex) {
-        const elementTypes = getElementTypes(restType);
-        const associatedNames = getUniqAssociatedNamesFromTupleType(restType);
+      function expandSignatureParametersWithTupleMembers(restType, restIndex, restName) {
+        const elementTypes = getTypeArguments(restType);
+        const associatedNames = getUniqAssociatedNamesFromTupleType(restType, restName);
         const restParams = map(elementTypes, (t, i) => {
           const name = associatedNames && associatedNames[i] ? associatedNames[i] : getParameterNameAtPosition(sig, restIndex + i, restType);
           const flags = restType.target.elementFlags[i];
@@ -55277,10 +55276,10 @@ ${lanes.join("\n")}
         });
         return concatenate(sig.parameters.slice(0, restIndex), restParams);
       }
-      function getUniqAssociatedNamesFromTupleType(type) {
+      function getUniqAssociatedNamesFromTupleType(type, restName) {
         const associatedNamesMap = /* @__PURE__ */ new Map();
-        return map(type.target.labeledElementDeclarations, (labeledElement) => {
-          const name = getTupleElementLabel(labeledElement);
+        return map(type.target.labeledElementDeclarations, (labeledElement, i) => {
+          const name = getTupleElementLabel(labeledElement, i, restName);
           const prevCounter = associatedNamesMap.get(name);
           if (prevCounter === void 0) {
             associatedNamesMap.set(name, 1);
@@ -58198,13 +58197,10 @@ ${lanes.join("\n")}
         return readonly ? globalReadonlyArrayType : globalArrayType;
       }
       const elementFlags = map(node.elements, getTupleElementFlags);
-      const missingName = some(node.elements, (e) => e.kind !== 201 /* NamedTupleMember */);
-      return getTupleTargetType(
-        elementFlags,
-        readonly,
-        /*associatedNames*/
-        missingName ? void 0 : node.elements
-      );
+      return getTupleTargetType(elementFlags, readonly, map(node.elements, memberIfLabeledElementDeclaration));
+    }
+    function memberIfLabeledElementDeclaration(member) {
+      return isNamedTupleMember(member) || isParameter(member) ? member : void 0;
     }
     function isDeferredTypeReferenceNode(node, hasDefaultTypeArguments) {
       return !!getAliasSymbolForTypeNode(node) || isResolvedByTypeAlias(node) && (node.kind === 187 /* ArrayType */ ? mayResolveTypeAlias(node.elementType) : node.kind === 188 /* TupleType */ ? some(node.elements, mayResolveTypeAlias) : hasDefaultTypeArguments || some(node.typeArguments, mayResolveTypeAlias));
@@ -58279,7 +58275,7 @@ ${lanes.join("\n")}
     function isReadonlyTypeOperator(node) {
       return isTypeOperatorNode(node) && node.operator === 148 /* ReadonlyKeyword */;
     }
-    function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations) {
+    function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations = []) {
       const tupleTarget = getTupleTargetType(elementFlags || map(elementTypes, (_) => 1 /* Required */), readonly, namedMemberDeclarations);
       return tupleTarget === emptyGenericType ? emptyObjectType : elementTypes.length ? createNormalizedTypeReference(tupleTarget, elementTypes) : tupleTarget;
     }
@@ -58287,7 +58283,8 @@ ${lanes.join("\n")}
       if (elementFlags.length === 1 && elementFlags[0] & 4 /* Rest */) {
         return readonly ? globalReadonlyArrayType : globalArrayType;
       }
-      const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (namedMemberDeclarations && namedMemberDeclarations.length ? "," + map(namedMemberDeclarations, getNodeId).join(",") : "");
+      const memberIds = mapDefined(namedMemberDeclarations, (node) => node ? getNodeId(node) : void 0);
+      const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (memberIds.length ? "," + memberIds.join(",") : "");
       let type = tupleTypes.get(key);
       if (!type) {
         tupleTypes.set(key, type = createTupleTargetType(elementFlags, readonly, namedMemberDeclarations));
@@ -58369,7 +58366,7 @@ ${lanes.join("\n")}
       }
       const expandedTypes = [];
       const expandedFlags = [];
-      let expandedDeclarations = [];
+      const expandedDeclarations = [];
       let lastRequiredIndex = -1;
       let firstRestIndex = -1;
       let lastOptionalOrRestIndex = -1;
@@ -58407,7 +58404,7 @@ ${lanes.join("\n")}
         ));
         expandedTypes.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
         expandedFlags.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
-        expandedDeclarations == null ? void 0 : expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
+        expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
       }
       const tupleTarget = getTupleTargetType(expandedFlags, target.readonly, expandedDeclarations);
       return tupleTarget === emptyGenericType ? emptyObjectType : expandedFlags.length ? createTypeReference(tupleTarget, expandedTypes) : tupleTarget;
@@ -58427,11 +58424,7 @@ ${lanes.join("\n")}
           true
         ) : type);
         expandedFlags.push(flags);
-        if (expandedDeclarations && declaration) {
-          expandedDeclarations.push(declaration);
-        } else {
-          expandedDeclarations = void 0;
-        }
+        expandedDeclarations.push(declaration);
       }
     }
     function sliceTupleType(type, index, endSkipCount = 0) {
@@ -68204,7 +68197,7 @@ ${lanes.join("\n")}
           location = location.parent;
         }
         if (isExpressionNode(location) && (!isAssignmentTarget(location) || isWriteAccess(location))) {
-          const type = removeOptionalTypeMarker(getTypeOfExpression(location));
+          const type = getTypeOfExpression(location);
           if (getExportSymbolOfValueSymbolIfExported(getNodeLinks(location).resolvedSymbol) === symbol) {
             return type;
           }
@@ -74163,7 +74156,10 @@ ${lanes.join("\n")}
       }
       return type;
     }
-    function getTupleElementLabel(d) {
+    function getTupleElementLabel(d, index, restParameterName = "arg") {
+      if (!d) {
+        return `${restParameterName}_${index}`;
+      }
       Debug.assert(isIdentifier(d.name));
       return d.name.escapedText;
     }
@@ -74177,7 +74173,7 @@ ${lanes.join("\n")}
       if (isTupleType(restType)) {
         const associatedNames = restType.target.labeledElementDeclarations;
         const index = pos - paramCount;
-        return associatedNames && getTupleElementLabel(associatedNames[index]) || restParameter.escapedName + "_" + index;
+        return getTupleElementLabel(associatedNames == null ? void 0 : associatedNames[index], index, restParameter.escapedName);
       }
       return restParameter.escapedName;
     }
@@ -77532,12 +77528,7 @@ ${lanes.join("\n")}
       const elementTypes = node.elements;
       let seenOptionalElement = false;
       let seenRestElement = false;
-      const hasNamedElement = some(elementTypes, isNamedTupleMember);
       for (const e of elementTypes) {
-        if (e.kind !== 201 /* NamedTupleMember */ && hasNamedElement) {
-          grammarErrorOnNode(e, Diagnostics.Tuple_members_must_all_have_names_or_all_not_have_names);
-          break;
-        }
         const flags = getTupleElementFlags(e);
         if (flags & 8 /* Variadic */) {
           const type = getTypeFromTypeNode(e.type);

package/lib/typescript.d.ts

@@ -2895,7 +2895,7 @@ declare namespace ts {
         hasRestElement: boolean;
         combinedFlags: ElementFlags;
         readonly: boolean;
-        labeledElementDeclarations?: readonly (NamedTupleMember | ParameterDeclaration)[];
+        labeledElementDeclarations?: readonly (NamedTupleMember | ParameterDeclaration | undefined)[];
     }
     interface TupleTypeReference extends TypeReference {
         target: TupleType;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230613`;
+      version = `${versionMajorMinor}.0-insiders.20230615`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -8111,7 +8111,6 @@ ${lanes.join("\n")}
         Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0: diag(5081, 1 /* Error */, "Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0_5081", "Cannot find a tsconfig.json file at the current directory: {0}."),
         _0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1: diag(5082, 1 /* Error */, "_0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1_5082", "'{0}' could be instantiated with an arbitrary type which could be unrelated to '{1}'."),
         Cannot_read_file_0: diag(5083, 1 /* Error */, "Cannot_read_file_0_5083", "Cannot read file '{0}'."),
-        Tuple_members_must_all_have_names_or_all_not_have_names: diag(5084, 1 /* Error */, "Tuple_members_must_all_have_names_or_all_not_have_names_5084", "Tuple members must all have names or all not have names."),
         A_tuple_member_cannot_be_both_optional_and_rest: diag(5085, 1 /* Error */, "A_tuple_member_cannot_be_both_optional_and_rest_5085", "A tuple member cannot be both optional and rest."),
         A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_colon_rather_than_after_the_type: diag(5086, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_c_5086", "A labeled tuple element is declared as optional with a question mark after the name and before the colon, rather than after the type."),
         A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type: diag(5087, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type_5087", "A labeled tuple element is declared as rest with a '...' before the name, rather than before the type."),
@@ -50137,19 +50136,18 @@ ${lanes.join("\n")}
               const arity = getTypeReferenceArity(type2);
               const tupleConstituentNodes = mapToTypeNodes(typeArguments.slice(0, arity), context);
               if (tupleConstituentNodes) {
-                if (type2.target.labeledElementDeclarations) {
-                  for (let i = 0; i < tupleConstituentNodes.length; i++) {
-                    const flags = type2.target.elementFlags[i];
+                const { labeledElementDeclarations } = type2.target;
+                for (let i = 0; i < tupleConstituentNodes.length; i++) {
+                  const flags = type2.target.elementFlags[i];
+                  const labeledElementDeclaration = labeledElementDeclarations == null ? void 0 : labeledElementDeclarations[i];
+                  if (labeledElementDeclaration) {
                     tupleConstituentNodes[i] = factory.createNamedTupleMember(
                       flags & 12 /* Variable */ ? factory.createToken(26 /* DotDotDotToken */) : void 0,
-                      factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(type2.target.labeledElementDeclarations[i]))),
+                      factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(labeledElementDeclaration))),
                       flags & 2 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0,
                       flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]
                     );
-                  }
-                } else {
-                  for (let i = 0; i < Math.min(arity, tupleConstituentNodes.length); i++) {
-                    const flags = type2.target.elementFlags[i];
+                  } else {
                     tupleConstituentNodes[i] = flags & 12 /* Variable */ ? factory.createRestTypeNode(flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]) : flags & 2 /* Optional */ ? factory.createOptionalTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i];
                   }
                 }
@@ -55256,17 +55254,18 @@ ${lanes.join("\n")}
     function getExpandedParameters(sig, skipUnionExpanding) {
       if (signatureHasRestParameter(sig)) {
         const restIndex = sig.parameters.length - 1;
+        const restName = sig.parameters[restIndex].escapedName;
         const restType = getTypeOfSymbol(sig.parameters[restIndex]);
         if (isTupleType(restType)) {
-          return [expandSignatureParametersWithTupleMembers(restType, restIndex)];
+          return [expandSignatureParametersWithTupleMembers(restType, restIndex, restName)];
         } else if (!skipUnionExpanding && restType.flags & 1048576 /* Union */ && every(restType.types, isTupleType)) {
-          return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex));
+          return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex, restName));
         }
       }
       return [sig.parameters];
-      function expandSignatureParametersWithTupleMembers(restType, restIndex) {
-        const elementTypes = getElementTypes(restType);
-        const associatedNames = getUniqAssociatedNamesFromTupleType(restType);
+      function expandSignatureParametersWithTupleMembers(restType, restIndex, restName) {
+        const elementTypes = getTypeArguments(restType);
+        const associatedNames = getUniqAssociatedNamesFromTupleType(restType, restName);
         const restParams = map(elementTypes, (t, i) => {
           const name = associatedNames && associatedNames[i] ? associatedNames[i] : getParameterNameAtPosition(sig, restIndex + i, restType);
           const flags = restType.target.elementFlags[i];
@@ -55277,10 +55276,10 @@ ${lanes.join("\n")}
         });
         return concatenate(sig.parameters.slice(0, restIndex), restParams);
       }
-      function getUniqAssociatedNamesFromTupleType(type) {
+      function getUniqAssociatedNamesFromTupleType(type, restName) {
         const associatedNamesMap = /* @__PURE__ */ new Map();
-        return map(type.target.labeledElementDeclarations, (labeledElement) => {
-          const name = getTupleElementLabel(labeledElement);
+        return map(type.target.labeledElementDeclarations, (labeledElement, i) => {
+          const name = getTupleElementLabel(labeledElement, i, restName);
           const prevCounter = associatedNamesMap.get(name);
           if (prevCounter === void 0) {
             associatedNamesMap.set(name, 1);
@@ -58198,13 +58197,10 @@ ${lanes.join("\n")}
         return readonly ? globalReadonlyArrayType : globalArrayType;
       }
       const elementFlags = map(node.elements, getTupleElementFlags);
-      const missingName = some(node.elements, (e) => e.kind !== 201 /* NamedTupleMember */);
-      return getTupleTargetType(
-        elementFlags,
-        readonly,
-        /*associatedNames*/
-        missingName ? void 0 : node.elements
-      );
+      return getTupleTargetType(elementFlags, readonly, map(node.elements, memberIfLabeledElementDeclaration));
+    }
+    function memberIfLabeledElementDeclaration(member) {
+      return isNamedTupleMember(member) || isParameter(member) ? member : void 0;
     }
     function isDeferredTypeReferenceNode(node, hasDefaultTypeArguments) {
       return !!getAliasSymbolForTypeNode(node) || isResolvedByTypeAlias(node) && (node.kind === 187 /* ArrayType */ ? mayResolveTypeAlias(node.elementType) : node.kind === 188 /* TupleType */ ? some(node.elements, mayResolveTypeAlias) : hasDefaultTypeArguments || some(node.typeArguments, mayResolveTypeAlias));
@@ -58279,7 +58275,7 @@ ${lanes.join("\n")}
     function isReadonlyTypeOperator(node) {
       return isTypeOperatorNode(node) && node.operator === 148 /* ReadonlyKeyword */;
     }
-    function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations) {
+    function createTupleType(elementTypes, elementFlags, readonly = false, namedMemberDeclarations = []) {
       const tupleTarget = getTupleTargetType(elementFlags || map(elementTypes, (_) => 1 /* Required */), readonly, namedMemberDeclarations);
       return tupleTarget === emptyGenericType ? emptyObjectType : elementTypes.length ? createNormalizedTypeReference(tupleTarget, elementTypes) : tupleTarget;
     }
@@ -58287,7 +58283,8 @@ ${lanes.join("\n")}
       if (elementFlags.length === 1 && elementFlags[0] & 4 /* Rest */) {
         return readonly ? globalReadonlyArrayType : globalArrayType;
       }
-      const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (namedMemberDeclarations && namedMemberDeclarations.length ? "," + map(namedMemberDeclarations, getNodeId).join(",") : "");
+      const memberIds = mapDefined(namedMemberDeclarations, (node) => node ? getNodeId(node) : void 0);
+      const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (memberIds.length ? "," + memberIds.join(",") : "");
       let type = tupleTypes.get(key);
       if (!type) {
         tupleTypes.set(key, type = createTupleTargetType(elementFlags, readonly, namedMemberDeclarations));
@@ -58369,7 +58366,7 @@ ${lanes.join("\n")}
       }
       const expandedTypes = [];
       const expandedFlags = [];
-      let expandedDeclarations = [];
+      const expandedDeclarations = [];
       let lastRequiredIndex = -1;
       let firstRestIndex = -1;
       let lastOptionalOrRestIndex = -1;
@@ -58407,7 +58404,7 @@ ${lanes.join("\n")}
         ));
         expandedTypes.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
         expandedFlags.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
-        expandedDeclarations == null ? void 0 : expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
+        expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
       }
       const tupleTarget = getTupleTargetType(expandedFlags, target.readonly, expandedDeclarations);
       return tupleTarget === emptyGenericType ? emptyObjectType : expandedFlags.length ? createTypeReference(tupleTarget, expandedTypes) : tupleTarget;
@@ -58427,11 +58424,7 @@ ${lanes.join("\n")}
           true
         ) : type);
         expandedFlags.push(flags);
-        if (expandedDeclarations && declaration) {
-          expandedDeclarations.push(declaration);
-        } else {
-          expandedDeclarations = void 0;
-        }
+        expandedDeclarations.push(declaration);
       }
     }
     function sliceTupleType(type, index, endSkipCount = 0) {
@@ -68204,7 +68197,7 @@ ${lanes.join("\n")}
           location = location.parent;
         }
         if (isExpressionNode(location) && (!isAssignmentTarget(location) || isWriteAccess(location))) {
-          const type = removeOptionalTypeMarker(getTypeOfExpression(location));
+          const type = getTypeOfExpression(location);
           if (getExportSymbolOfValueSymbolIfExported(getNodeLinks(location).resolvedSymbol) === symbol) {
             return type;
           }
@@ -74163,7 +74156,10 @@ ${lanes.join("\n")}
       }
       return type;
     }
-    function getTupleElementLabel(d) {
+    function getTupleElementLabel(d, index, restParameterName = "arg") {
+      if (!d) {
+        return `${restParameterName}_${index}`;
+      }
       Debug.assert(isIdentifier(d.name));
       return d.name.escapedText;
     }
@@ -74177,7 +74173,7 @@ ${lanes.join("\n")}
       if (isTupleType(restType)) {
         const associatedNames = restType.target.labeledElementDeclarations;
         const index = pos - paramCount;
-        return associatedNames && getTupleElementLabel(associatedNames[index]) || restParameter.escapedName + "_" + index;
+        return getTupleElementLabel(associatedNames == null ? void 0 : associatedNames[index], index, restParameter.escapedName);
       }
       return restParameter.escapedName;
     }
@@ -77532,12 +77528,7 @@ ${lanes.join("\n")}
       const elementTypes = node.elements;
       let seenOptionalElement = false;
       let seenRestElement = false;
-      const hasNamedElement = some(elementTypes, isNamedTupleMember);
       for (const e of elementTypes) {
-        if (e.kind !== 201 /* NamedTupleMember */ && hasNamedElement) {
-          grammarErrorOnNode(e, Diagnostics.Tuple_members_must_all_have_names_or_all_not_have_names);
-          break;
-        }
         const flags = getTupleElementFlags(e);
         if (flags & 8 /* Variadic */) {
           const type = getTypeFromTypeNode(e.type);

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.20230613`;
+var version = `${versionMajorMinor}.0-insiders.20230615`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6182,7 +6182,6 @@ var Diagnostics = {
   Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0: diag(5081, 1 /* Error */, "Cannot_find_a_tsconfig_json_file_at_the_current_directory_Colon_0_5081", "Cannot find a tsconfig.json file at the current directory: {0}."),
   _0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1: diag(5082, 1 /* Error */, "_0_could_be_instantiated_with_an_arbitrary_type_which_could_be_unrelated_to_1_5082", "'{0}' could be instantiated with an arbitrary type which could be unrelated to '{1}'."),
   Cannot_read_file_0: diag(5083, 1 /* Error */, "Cannot_read_file_0_5083", "Cannot read file '{0}'."),
-  Tuple_members_must_all_have_names_or_all_not_have_names: diag(5084, 1 /* Error */, "Tuple_members_must_all_have_names_or_all_not_have_names_5084", "Tuple members must all have names or all not have names."),
   A_tuple_member_cannot_be_both_optional_and_rest: diag(5085, 1 /* Error */, "A_tuple_member_cannot_be_both_optional_and_rest_5085", "A tuple member cannot be both optional and rest."),
   A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_colon_rather_than_after_the_type: diag(5086, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_optional_with_a_question_mark_after_the_name_and_before_the_c_5086", "A labeled tuple element is declared as optional with a question mark after the name and before the colon, rather than after the type."),
   A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type: diag(5087, 1 /* Error */, "A_labeled_tuple_element_is_declared_as_rest_with_a_before_the_name_rather_than_before_the_type_5087", "A labeled tuple element is declared as rest with a '...' before the name, rather than before the type."),

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-53804-5",
+  "version": "5.2.0-pr-53356-21",
   "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": "ce97e292eee1cc68a0a3c9c92472259247e48a1f"
+  "gitHead": "0003af0701202d3feb29063d5e5073970dca9f6d"
 }