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

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.20230615`;
+var version = `${versionMajorMinor}.0-insiders.20230617`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -2315,7 +2315,7 @@ var prereleasePartRegExp = /^(?:0|[1-9]\d*|[a-z-][a-z0-9-]*)$/i;
 var buildRegExp = /^[a-z0-9-]+(?:\.[a-z0-9-]+)*$/i;
 var buildPartRegExp = /^[a-z0-9-]+$/i;
 var numericIdentifierRegExp = /^(0|[1-9]\d*)$/;
-var _Version = class {
+var _Version = class _Version {
   constructor(major, minor = 0, patch = 0, prerelease = "", build2 = "") {
     if (typeof major === "string") {
       const result = Debug.checkDefined(tryParseComponents(major), "Invalid version");
@@ -2379,8 +2379,8 @@ var _Version = class {
     return result;
   }
 };
+_Version.zero = new _Version(0, 0, 0, ["0"]);
 var Version = _Version;
-Version.zero = new _Version(0, 0, 0, ["0"]);
 function tryParseComponents(text) {
   const match = versionRegExp.exec(text);
   if (!match)
@@ -2427,14 +2427,14 @@ function comparePrereleaseIdentifiers(left, right) {
   }
   return compareValues(left.length, right.length);
 }
-var VersionRange = class {
+var VersionRange = class _VersionRange {
   constructor(spec) {
     this._alternatives = spec ? Debug.checkDefined(parseRange(spec), "Invalid range spec.") : emptyArray;
   }
   static tryParse(text) {
     const sets = parseRange(text);
     if (sets) {
-      const range = new VersionRange("");
+      const range = new _VersionRange("");
       range._alternatives = sets;
       return range;
     }
@@ -6808,6 +6808,7 @@ 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."),
@@ -47706,18 +47707,19 @@ function createTypeChecker(host) {
             const arity = getTypeReferenceArity(type2);
             const tupleConstituentNodes = mapToTypeNodes(typeArguments.slice(0, arity), context);
             if (tupleConstituentNodes) {
-              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) {
+              if (type2.target.labeledElementDeclarations) {
+                for (let i = 0; i < tupleConstituentNodes.length; i++) {
+                  const flags = type2.target.elementFlags[i];
                   tupleConstituentNodes[i] = factory.createNamedTupleMember(
                     flags & 12 /* Variable */ ? factory.createToken(26 /* DotDotDotToken */) : void 0,
-                    factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(labeledElementDeclaration))),
+                    factory.createIdentifier(unescapeLeadingUnderscores(getTupleElementLabel(type2.target.labeledElementDeclarations[i]))),
                     flags & 2 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0,
                     flags & 4 /* Rest */ ? factory.createArrayTypeNode(tupleConstituentNodes[i]) : tupleConstituentNodes[i]
                   );
-                } else {
+                }
+              } else {
+                for (let i = 0; i < Math.min(arity, tupleConstituentNodes.length); i++) {
+                  const flags = type2.target.elementFlags[i];
                   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];
                 }
               }
@@ -52824,18 +52826,17 @@ 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, restName)];
+        return [expandSignatureParametersWithTupleMembers(restType, restIndex)];
       } else if (!skipUnionExpanding && restType.flags & 1048576 /* Union */ && every(restType.types, isTupleType)) {
-        return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex, restName));
+        return map(restType.types, (t) => expandSignatureParametersWithTupleMembers(t, restIndex));
       }
     }
     return [sig.parameters];
-    function expandSignatureParametersWithTupleMembers(restType, restIndex, restName) {
-      const elementTypes = getTypeArguments(restType);
-      const associatedNames = getUniqAssociatedNamesFromTupleType(restType, restName);
+    function expandSignatureParametersWithTupleMembers(restType, restIndex) {
+      const elementTypes = getElementTypes(restType);
+      const associatedNames = getUniqAssociatedNamesFromTupleType(restType);
       const restParams = map(elementTypes, (t, i) => {
         const name = associatedNames && associatedNames[i] ? associatedNames[i] : getParameterNameAtPosition(sig, restIndex + i, restType);
         const flags = restType.target.elementFlags[i];
@@ -52846,10 +52847,10 @@ function createTypeChecker(host) {
       });
       return concatenate(sig.parameters.slice(0, restIndex), restParams);
     }
-    function getUniqAssociatedNamesFromTupleType(type, restName) {
+    function getUniqAssociatedNamesFromTupleType(type) {
       const associatedNamesMap = /* @__PURE__ */ new Map();
-      return map(type.target.labeledElementDeclarations, (labeledElement, i) => {
-        const name = getTupleElementLabel(labeledElement, i, restName);
+      return map(type.target.labeledElementDeclarations, (labeledElement) => {
+        const name = getTupleElementLabel(labeledElement);
         const prevCounter = associatedNamesMap.get(name);
         if (prevCounter === void 0) {
           associatedNamesMap.set(name, 1);
@@ -53648,9 +53649,9 @@ function createTypeChecker(host) {
   function getConstraintOfTypeParameter(typeParameter) {
     return hasNonCircularBaseConstraint(typeParameter) ? getConstraintFromTypeParameter(typeParameter) : void 0;
   }
-  function isConstTypeVariable(type) {
+  function isConstTypeVariable(type, depth = 0) {
     var _a;
-    return !!(type && (type.flags & 262144 /* TypeParameter */ && some((_a = type.symbol) == null ? void 0 : _a.declarations, (d) => hasSyntacticModifier(d, 2048 /* Const */)) || type.flags & 1048576 /* Union */ && some(type.types, isConstTypeVariable) || type.flags & 8388608 /* IndexedAccess */ && isConstTypeVariable(type.objectType) || type.flags & 16777216 /* Conditional */ && isConstTypeVariable(getConstraintOfConditionalType(type)) || type.flags & 33554432 /* Substitution */ && isConstTypeVariable(type.baseType) || isGenericTupleType(type) && findIndex(getElementTypes(type), (t, i) => !!(type.target.elementFlags[i] & 8 /* Variadic */) && isConstTypeVariable(t)) >= 0));
+    return depth < 5 && !!(type && (type.flags & 262144 /* TypeParameter */ && some((_a = type.symbol) == null ? void 0 : _a.declarations, (d) => hasSyntacticModifier(d, 2048 /* Const */)) || type.flags & 1048576 /* Union */ && some(type.types, (t) => isConstTypeVariable(t, depth)) || type.flags & 8388608 /* IndexedAccess */ && isConstTypeVariable(type.objectType, depth + 1) || type.flags & 16777216 /* Conditional */ && isConstTypeVariable(getConstraintOfConditionalType(type), depth + 1) || type.flags & 33554432 /* Substitution */ && isConstTypeVariable(type.baseType, depth) || isGenericTupleType(type) && findIndex(getElementTypes(type), (t, i) => !!(type.target.elementFlags[i] & 8 /* Variadic */) && isConstTypeVariable(t, depth)) >= 0));
   }
   function getConstraintOfIndexedAccess(type) {
     return hasNonCircularBaseConstraint(type) ? getConstraintFromIndexedAccess(type) : void 0;
@@ -55767,10 +55768,13 @@ function createTypeChecker(host) {
       return readonly ? globalReadonlyArrayType : globalArrayType;
     }
     const elementFlags = map(node.elements, getTupleElementFlags);
-    return getTupleTargetType(elementFlags, readonly, map(node.elements, memberIfLabeledElementDeclaration));
-  }
-  function memberIfLabeledElementDeclaration(member) {
-    return isNamedTupleMember(member) || isParameter(member) ? member : void 0;
+    const missingName = some(node.elements, (e) => e.kind !== 201 /* NamedTupleMember */);
+    return getTupleTargetType(
+      elementFlags,
+      readonly,
+      /*associatedNames*/
+      missingName ? void 0 : node.elements
+    );
   }
   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));
@@ -55845,7 +55849,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;
   }
@@ -55853,8 +55857,7 @@ function createTypeChecker(host) {
     if (elementFlags.length === 1 && elementFlags[0] & 4 /* Rest */) {
       return readonly ? globalReadonlyArrayType : globalArrayType;
     }
-    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(",") : "");
+    const key = map(elementFlags, (f) => f & 1 /* Required */ ? "#" : f & 2 /* Optional */ ? "?" : f & 4 /* Rest */ ? "." : "*").join() + (readonly ? "R" : "") + (namedMemberDeclarations && namedMemberDeclarations.length ? "," + map(namedMemberDeclarations, getNodeId).join(",") : "");
     let type = tupleTypes.get(key);
     if (!type) {
       tupleTypes.set(key, type = createTupleTargetType(elementFlags, readonly, namedMemberDeclarations));
@@ -55936,7 +55939,7 @@ function createTypeChecker(host) {
     }
     const expandedTypes = [];
     const expandedFlags = [];
-    const expandedDeclarations = [];
+    let expandedDeclarations = [];
     let lastRequiredIndex = -1;
     let firstRestIndex = -1;
     let lastOptionalOrRestIndex = -1;
@@ -55974,7 +55977,7 @@ function createTypeChecker(host) {
       ));
       expandedTypes.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
       expandedFlags.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
-      expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
+      expandedDeclarations == null ? void 0 : expandedDeclarations.splice(firstRestIndex + 1, lastOptionalOrRestIndex - firstRestIndex);
     }
     const tupleTarget = getTupleTargetType(expandedFlags, target.readonly, expandedDeclarations);
     return tupleTarget === emptyGenericType ? emptyObjectType : expandedFlags.length ? createTypeReference(tupleTarget, expandedTypes) : tupleTarget;
@@ -55994,7 +55997,11 @@ function createTypeChecker(host) {
         true
       ) : type);
       expandedFlags.push(flags);
-      expandedDeclarations.push(declaration);
+      if (expandedDeclarations && declaration) {
+        expandedDeclarations.push(declaration);
+      } else {
+        expandedDeclarations = void 0;
+      }
     }
   }
   function sliceTupleType(type, index, endSkipCount = 0) {
@@ -67195,7 +67202,7 @@ function createTypeChecker(host) {
   function instantiateContextualType(contextualType, node, contextFlags) {
     if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* Instantiable */)) {
       const inferenceContext = getInferenceContext(node);
-      if (inferenceContext && contextFlags & 1 /* Signature */ && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
+      if (inferenceContext && (contextFlags & 1 /* Signature */ || maybeTypeOfKind(contextualType, 25165824 /* Simplifiable */)) && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
         return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
       }
       if (inferenceContext == null ? void 0 : inferenceContext.returnMapper) {
@@ -71726,10 +71733,7 @@ function createTypeChecker(host) {
     }
     return type;
   }
-  function getTupleElementLabel(d, index, restParameterName = "arg") {
-    if (!d) {
-      return `${restParameterName}_${index}`;
-    }
+  function getTupleElementLabel(d) {
     Debug.assert(isIdentifier(d.name));
     return d.name.escapedText;
   }
@@ -71743,7 +71747,7 @@ function createTypeChecker(host) {
     if (isTupleType(restType)) {
       const associatedNames = restType.target.labeledElementDeclarations;
       const index = pos - paramCount;
-      return getTupleElementLabel(associatedNames == null ? void 0 : associatedNames[index], index, restParameter.escapedName);
+      return associatedNames && getTupleElementLabel(associatedNames[index]) || restParameter.escapedName + "_" + index;
     }
     return restParameter.escapedName;
   }
@@ -75098,7 +75102,12 @@ 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);
@@ -83349,13 +83358,13 @@ function createBasicNodeBuilderModuleSpecifierResolutionHost(host) {
     readFile: host.readFile ? (fileName) => host.readFile(fileName) : void 0
   };
 }
-var SymbolTrackerImpl = class {
+var SymbolTrackerImpl = class _SymbolTrackerImpl {
   constructor(context, tracker, moduleResolverHost) {
     this.moduleResolverHost = void 0;
     this.inner = void 0;
     this.disableTrackSymbol = false;
     var _a;
-    while (tracker instanceof SymbolTrackerImpl) {
+    while (tracker instanceof _SymbolTrackerImpl) {
       tracker = tracker.inner;
     }
     this.inner = tracker;