@typescript-deploys/pr-build 5.1.0-pr-53996-2 → 5.1.0-pr-53907-15

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230503`;
+var version = `${versionMajorMinor}.0-insiders.20230505`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7450,6 +7450,7 @@ var Diagnostics = {
   You_cannot_rename_elements_that_are_defined_in_another_node_modules_folder: diag(8036, 1 /* Error */, "You_cannot_rename_elements_that_are_defined_in_another_node_modules_folder_8036", "You cannot rename elements that are defined in another 'node_modules' folder."),
   Type_satisfaction_expressions_can_only_be_used_in_TypeScript_files: diag(8037, 1 /* Error */, "Type_satisfaction_expressions_can_only_be_used_in_TypeScript_files_8037", "Type satisfaction expressions can only be used in TypeScript files."),
   Decorators_may_not_appear_after_export_or_export_default_if_they_also_appear_before_export: diag(8038, 1 /* Error */, "Decorators_may_not_appear_after_export_or_export_default_if_they_also_appear_before_export_8038", "Decorators may not appear after 'export' or 'export default' if they also appear before 'export'."),
+  A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag: diag(8039, 1 /* Error */, "A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag_8039", "A JSDoc '@template' tag may not follow a '@typedef', '@callback', or '@overload' tag"),
   Declaration_emit_for_this_file_requires_using_private_name_0_An_explicit_type_annotation_may_unblock_declaration_emit: diag(9005, 1 /* Error */, "Declaration_emit_for_this_file_requires_using_private_name_0_An_explicit_type_annotation_may_unblock_9005", "Declaration emit for this file requires using private name '{0}'. An explicit type annotation may unblock declaration emit."),
   Declaration_emit_for_this_file_requires_using_private_name_0_from_module_1_An_explicit_type_annotation_may_unblock_declaration_emit: diag(9006, 1 /* Error */, "Declaration_emit_for_this_file_requires_using_private_name_0_from_module_1_An_explicit_type_annotati_9006", "Declaration emit for this file requires using private name '{0}' from module '{1}'. An explicit type annotation may unblock declaration emit."),
   JSX_attributes_must_only_be_assigned_a_non_empty_expression: diag(17e3, 1 /* Error */, "JSX_attributes_must_only_be_assigned_a_non_empty_expression_17000", "JSX attributes must only be assigned a non-empty 'expression'."),
@@ -27168,8 +27169,13 @@ var Parser;
         return tokenIsIdentifierOrKeyword(token()) || token() === 19 /* OpenBraceToken */;
       case 14 /* JsxChildren */:
         return true;
+      case 25 /* JSDocComment */:
+        return true;
+      case 26 /* Count */:
+        return Debug.fail("ParsingContext.Count used as a context");
+      default:
+        Debug.assertNever(parsingContext2, "Non-exhaustive case in 'isListElement'.");
     }
-    return Debug.fail("Non-exhaustive case in 'isListElement'.");
   }
   function isValidHeritageClauseObjectLiteral() {
     Debug.assert(token() === 19 /* OpenBraceToken */);
@@ -27263,7 +27269,8 @@ var Parser;
     return false;
   }
   function isInSomeParsingContext() {
-    for (let kind = 0; kind < 25 /* Count */; kind++) {
+    Debug.assert(parsingContext, "Missing parsing context");
+    for (let kind = 0; kind < 26 /* Count */; kind++) {
       if (parsingContext & 1 << kind) {
         if (isListElement(
           kind,
@@ -27522,7 +27529,9 @@ var Parser;
         return parseErrorAtCurrentToken(Diagnostics.Identifier_expected);
       case 24 /* AssertEntries */:
         return parseErrorAtCurrentToken(Diagnostics.Identifier_or_string_literal_expected);
-      case 25 /* Count */:
+      case 25 /* JSDocComment */:
+        return parseErrorAtCurrentToken(Diagnostics.Identifier_expected);
+      case 26 /* Count */:
         return Debug.fail("ParsingContext.Count used as a context");
       default:
         Debug.assertNever(context);
@@ -31654,7 +31663,8 @@ var Parser;
     ParsingContext2[ParsingContext2["HeritageClauses"] = 22] = "HeritageClauses";
     ParsingContext2[ParsingContext2["ImportOrExportSpecifiers"] = 23] = "ImportOrExportSpecifiers";
     ParsingContext2[ParsingContext2["AssertEntries"] = 24] = "AssertEntries";
-    ParsingContext2[ParsingContext2["Count"] = 25] = "Count";
+    ParsingContext2[ParsingContext2["JSDocComment"] = 25] = "JSDocComment";
+    ParsingContext2[ParsingContext2["Count"] = 26] = "Count";
   })(ParsingContext || (ParsingContext = {}));
   let Tristate;
   ((Tristate2) => {
@@ -31776,6 +31786,8 @@ var Parser;
       PropertyLikeParse2[PropertyLikeParse2["CallbackParameter"] = 4] = "CallbackParameter";
     })(PropertyLikeParse || (PropertyLikeParse = {}));
     function parseJSDocCommentWorker(start = 0, length2) {
+      const saveParsingContext = parsingContext;
+      parsingContext |= 1 << 25 /* JSDocComment */;
       const content = sourceText;
       const end = length2 === void 0 ? content.length : start + length2;
       length2 = end - start;
@@ -31792,7 +31804,10 @@ var Parser;
       let commentsPos;
       let comments = [];
       const parts = [];
-      return scanner.scanRange(start + 3, length2 - 5, () => {
+      const result = scanner.scanRange(start + 3, length2 - 5, doJSDocScan);
+      parsingContext = saveParsingContext;
+      return result;
+      function doJSDocScan() {
         let state = 1 /* SawAsterisk */;
         let margin;
         let indent2 = start - (content.lastIndexOf("\n", start) + 1) + 4;
@@ -31888,7 +31903,7 @@ var Parser;
           Debug.assertIsDefined(commentsPos, "having parsed tags implies that the end of the comment span should be set");
         const tagsArray = tags && createNodeArray(tags, tagsPos, tagsEnd);
         return finishNode(factory2.createJSDocComment(parts.length ? createNodeArray(parts, start, commentsPos) : trimmedComments.length ? trimmedComments : void 0, tagsArray), start, end);
-      });
+      }
       function removeLeadingNewlines(comments2) {
         while (comments2.length && (comments2[0] === "\n" || comments2[0] === "\r")) {
           comments2.shift();
@@ -32247,8 +32262,8 @@ var Parser;
           typeExpression = nestedTypeLiteral;
           isNameFirst = true;
         }
-        const result = target === 1 /* Property */ ? factory2.createJSDocPropertyTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment) : factory2.createJSDocParameterTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment);
-        return finishNode(result, start2);
+        const result2 = target === 1 /* Property */ ? factory2.createJSDocPropertyTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment) : factory2.createJSDocParameterTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment);
+        return finishNode(result2, start2);
       }
       function parseNestedTypeLiteral(typeExpression, name, target, indent2) {
         if (typeExpression && isObjectOrObjectArrayTypeReference(typeExpression.type)) {
@@ -32258,6 +32273,8 @@ var Parser;
           while (child = tryParse(() => parseChildParameterOrPropertyTag(target, indent2, name))) {
             if (child.kind === 347 /* JSDocParameterTag */ || child.kind === 354 /* JSDocPropertyTag */) {
               children = append(children, child);
+            } else if (child.kind === 351 /* JSDocTemplateTag */) {
+              parseErrorAtRange(child.tagName, Diagnostics.A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag);
             }
           }
           if (children) {
@@ -32396,6 +32413,9 @@ var Parser;
           let jsDocPropertyTags;
           let hasChildren = false;
           while (child = tryParse(() => parseChildPropertyTag(indent2))) {
+            if (child.kind === 351 /* JSDocTemplateTag */) {
+              break;
+            }
             hasChildren = true;
             if (child.kind === 350 /* JSDocTypeTag */) {
               if (childTypeTag) {
@@ -32455,6 +32475,10 @@ var Parser;
         let child;
         let parameters;
         while (child = tryParse(() => parseChildParameterOrPropertyTag(4 /* CallbackParameter */, indent2))) {
+          if (child.kind === 351 /* JSDocTemplateTag */) {
+            parseErrorAtRange(child.tagName, Diagnostics.A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag);
+            break;
+          }
           parameters = append(parameters, child);
         }
         return createNodeArray(parameters || [], pos);
@@ -32549,7 +32573,7 @@ var Parser;
         const start2 = scanner.getTokenFullStart();
         nextTokenJSDoc();
         const tagName = parseJSDocIdentifierName();
-        skipWhitespace();
+        const indentText = skipWhitespaceOrAsterisk();
         let t;
         switch (tagName.escapedText) {
           case "type":
@@ -32563,6 +32587,8 @@ var Parser;
           case "param":
             t = 2 /* Parameter */ | 4 /* CallbackParameter */;
             break;
+          case "template":
+            return parseTemplateTag(start2, tagName, indent2, indentText);
           default:
             return false;
         }
@@ -32650,9 +32676,9 @@ var Parser;
         const end2 = scanner.getTokenEnd();
         const originalKeywordKind = token();
         const text = internIdentifier(scanner.getTokenValue());
-        const result = finishNode(factoryCreateIdentifier(text, originalKeywordKind), start2, end2);
+        const result2 = finishNode(factoryCreateIdentifier(text, originalKeywordKind), start2, end2);
         nextTokenJSDoc();
-        return result;
+        return result2;
       }
     }
   })(JSDocParser = Parser2.JSDocParser || (Parser2.JSDocParser = {}));
@@ -42861,24 +42887,13 @@ function createTypeChecker(host) {
     getTypeOfPropertyOfContextualType,
     getFullyQualifiedName,
     getResolvedSignature: (node, candidatesOutArray, argumentCount) => getResolvedSignatureWorker(node, candidatesOutArray, argumentCount, 0 /* Normal */),
-    getResolvedSignatureForStringLiteralCompletions: (call, editingArgument, candidatesOutArray, checkMode = 32 /* IsForStringLiteralArgumentCompletions */) => {
-      if (checkMode & 32 /* IsForStringLiteralArgumentCompletions */) {
-        return runWithInferenceBlockedFromSourceNode(editingArgument, () => getResolvedSignatureWorker(
-          call,
-          candidatesOutArray,
-          /*argumentCount*/
-          void 0,
-          checkMode & ~32 /* IsForStringLiteralArgumentCompletions */
-        ));
-      }
-      return runWithoutResolvedSignatureCaching(editingArgument, () => getResolvedSignatureWorker(
-        call,
-        candidatesOutArray,
-        /*argumentCount*/
-        void 0,
-        checkMode & ~32 /* IsForStringLiteralArgumentCompletions */
-      ));
-    },
+    getResolvedSignatureForStringLiteralCompletions: (call, editingArgument, candidatesOutArray) => runWithInferenceBlockedFromSourceNode(editingArgument, () => getResolvedSignatureWorker(
+      call,
+      candidatesOutArray,
+      /*argumentCount*/
+      void 0,
+      32 /* IsForStringLiteralArgumentCompletions */
+    )),
     getResolvedSignatureForSignatureHelp: (node, candidatesOutArray, argumentCount) => runWithoutResolvedSignatureCaching(node, () => getResolvedSignatureWorker(node, candidatesOutArray, argumentCount, 16 /* IsForSignatureHelp */)),
     getExpandedParameters,
     hasEffectiveRestParameter,
@@ -63621,7 +63636,7 @@ function createTypeChecker(host) {
       const constraint = getConstraintOfTypeParameter(inference.typeParameter);
       if (constraint) {
         const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
-        if (!inferredType || inferredType === wildcardType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
+        if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
           inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
         }
       }
@@ -66977,6 +66992,7 @@ function createTypeChecker(host) {
       case 9 /* NumericLiteral */:
       case 10 /* BigIntLiteral */:
       case 15 /* NoSubstitutionTemplateLiteral */:
+      case 227 /* TemplateExpression */:
       case 112 /* TrueKeyword */:
       case 97 /* FalseKeyword */:
       case 106 /* NullKeyword */:
@@ -69527,7 +69543,7 @@ function createTypeChecker(host) {
     }
     for (let i = 0; i < argCount; i++) {
       const arg = args[i];
-      if (arg.kind !== 231 /* OmittedExpression */) {
+      if (arg.kind !== 231 /* OmittedExpression */ && !(checkMode & 32 /* IsForStringLiteralArgumentCompletions */ && hasSkipDirectInferenceFlag(arg))) {
         const paramType = getTypeAtPosition(signature, i);
         if (couldContainTypeVariables(paramType)) {
           const argType = checkExpressionWithContextualType(arg, paramType, context, checkMode);
@@ -70139,6 +70155,7 @@ function createTypeChecker(host) {
     const args = getEffectiveCallArguments(node);
     const isSingleNonGenericCandidate = candidates.length === 1 && !candidates[0].typeParameters;
     let argCheckMode = !isDecorator2 && !isSingleNonGenericCandidate && some(args, isContextSensitive) ? 4 /* SkipContextSensitive */ : 0 /* Normal */;
+    argCheckMode |= checkMode & 32 /* IsForStringLiteralArgumentCompletions */;
     let candidatesForArgumentError;
     let candidateForArgumentArityError;
     let candidateForTypeArgumentError;
@@ -70362,7 +70379,7 @@ function createTypeChecker(host) {
           continue;
         }
         if (argCheckMode) {
-          argCheckMode = 0 /* Normal */;
+          argCheckMode = checkMode & 32 /* IsForStringLiteralArgumentCompletions */;
           if (inferenceContext) {
             const typeArgumentTypes = inferTypeArguments(node, candidate, args, argCheckMode, inferenceContext);
             checkCandidate = getSignatureInstantiation(candidate, typeArgumentTypes, isInJSFile(candidate.declaration), inferenceContext.inferredTypeParameters);
@@ -72370,6 +72387,10 @@ function createTypeChecker(host) {
     forEachReturnStatement(func.body, (returnStatement) => {
       const expr = returnStatement.expression;
       if (expr) {
+        if (expr.kind === 212 /* CallExpression */ && expr.expression.kind === 80 /* Identifier */ && checkExpressionCached(expr.expression).symbol === func.symbol) {
+          hasReturnOfTypeNever = true;
+          return;
+        }
         let type = checkExpressionCached(expr, checkMode && checkMode & ~8 /* SkipGenericFunctions */);
         if (functionFlags & 2 /* Async */) {
           type = unwrapAwaitedType(checkAwaitedType(
@@ -73769,11 +73790,15 @@ function createTypeChecker(host) {
       texts.push(span.literal.text);
       types.push(isTypeAssignableTo(type, templateConstraintType) ? type : stringType);
     }
-    return isConstContext(node) || isTemplateLiteralContext(node) || someType(getContextualType(
+    if (isConstContext(node) || isTemplateLiteralContext(node) || someType(getContextualType(
       node,
       /*contextFlags*/
       void 0
-    ) || unknownType, isTemplateLiteralContextualType) ? getTemplateLiteralType(texts, types) : stringType;
+    ) || unknownType, isTemplateLiteralContextualType)) {
+      return getTemplateLiteralType(texts, types);
+    }
+    const evaluated = node.parent.kind !== 214 /* TaggedTemplateExpression */ && evaluateTemplateExpression(node);
+    return evaluated ? getFreshTypeOfLiteralType(getStringLiteralType(evaluated)) : stringType;
   }
   function isTemplateLiteralContextualType(type) {
     return !!(type.flags & (128 /* StringLiteral */ | 134217728 /* TemplateLiteral */) || type.flags & 58982400 /* InstantiableNonPrimitive */ && maybeTypeOfKind(getBaseConstraintOfType(type) || unknownType, 402653316 /* StringLike */));
@@ -74200,7 +74225,7 @@ function createTypeChecker(host) {
         return nullWideningType;
       case 15 /* NoSubstitutionTemplateLiteral */:
       case 11 /* StringLiteral */:
-        return hasSkipDirectInferenceFlag(node) ? wildcardType : getFreshTypeOfLiteralType(getStringLiteralType(node.text));
+        return hasSkipDirectInferenceFlag(node) ? anyType : getFreshTypeOfLiteralType(getStringLiteralType(node.text));
       case 9 /* NumericLiteral */:
         checkGrammarNumericLiteral(node);
         return getFreshTypeOfLiteralType(getNumberLiteralType(+node.text));
@@ -78751,11 +78776,11 @@ function createTypeChecker(host) {
           );
           if (symbol) {
             if (symbol.flags & 8 /* EnumMember */) {
-              return evaluateEnumMember(expr, symbol, location);
+              return location ? evaluateEnumMember(expr, symbol, location) : getEnumMemberValue(symbol.valueDeclaration);
             }
             if (isConstVariable(symbol)) {
               const declaration = symbol.valueDeclaration;
-              if (declaration && !declaration.type && declaration.initializer && declaration !== location && isBlockScopedNameDeclaredBeforeUse(declaration, location)) {
+              if (declaration && !declaration.type && declaration.initializer && (!location || declaration !== location && isBlockScopedNameDeclaredBeforeUse(declaration, location))) {
                 return evaluate(declaration.initializer, declaration);
               }
             }
@@ -78775,7 +78800,7 @@ function createTypeChecker(host) {
             const name = escapeLeadingUnderscores(expr.argumentExpression.text);
             const member = rootSymbol.exports.get(name);
             if (member) {
-              return evaluateEnumMember(expr, member, location);
+              return location ? evaluateEnumMember(expr, member, location) : getEnumMemberValue(member.valueDeclaration);
             }
           }
         }

package/lib/tsserver.js

@@ -2303,7 +2303,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.1";
-var version = `${versionMajorMinor}.0-insiders.20230503`;
+var version = `${versionMajorMinor}.0-insiders.20230505`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10957,6 +10957,7 @@ var Diagnostics = {
   You_cannot_rename_elements_that_are_defined_in_another_node_modules_folder: diag(8036, 1 /* Error */, "You_cannot_rename_elements_that_are_defined_in_another_node_modules_folder_8036", "You cannot rename elements that are defined in another 'node_modules' folder."),
   Type_satisfaction_expressions_can_only_be_used_in_TypeScript_files: diag(8037, 1 /* Error */, "Type_satisfaction_expressions_can_only_be_used_in_TypeScript_files_8037", "Type satisfaction expressions can only be used in TypeScript files."),
   Decorators_may_not_appear_after_export_or_export_default_if_they_also_appear_before_export: diag(8038, 1 /* Error */, "Decorators_may_not_appear_after_export_or_export_default_if_they_also_appear_before_export_8038", "Decorators may not appear after 'export' or 'export default' if they also appear before 'export'."),
+  A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag: diag(8039, 1 /* Error */, "A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag_8039", "A JSDoc '@template' tag may not follow a '@typedef', '@callback', or '@overload' tag"),
   Declaration_emit_for_this_file_requires_using_private_name_0_An_explicit_type_annotation_may_unblock_declaration_emit: diag(9005, 1 /* Error */, "Declaration_emit_for_this_file_requires_using_private_name_0_An_explicit_type_annotation_may_unblock_9005", "Declaration emit for this file requires using private name '{0}'. An explicit type annotation may unblock declaration emit."),
   Declaration_emit_for_this_file_requires_using_private_name_0_from_module_1_An_explicit_type_annotation_may_unblock_declaration_emit: diag(9006, 1 /* Error */, "Declaration_emit_for_this_file_requires_using_private_name_0_from_module_1_An_explicit_type_annotati_9006", "Declaration emit for this file requires using private name '{0}' from module '{1}'. An explicit type annotation may unblock declaration emit."),
   JSX_attributes_must_only_be_assigned_a_non_empty_expression: diag(17e3, 1 /* Error */, "JSX_attributes_must_only_be_assigned_a_non_empty_expression_17000", "JSX attributes must only be assigned a non-empty 'expression'."),
@@ -31552,8 +31553,13 @@ var Parser;
         return tokenIsIdentifierOrKeyword(token()) || token() === 19 /* OpenBraceToken */;
       case 14 /* JsxChildren */:
         return true;
+      case 25 /* JSDocComment */:
+        return true;
+      case 26 /* Count */:
+        return Debug.fail("ParsingContext.Count used as a context");
+      default:
+        Debug.assertNever(parsingContext2, "Non-exhaustive case in 'isListElement'.");
     }
-    return Debug.fail("Non-exhaustive case in 'isListElement'.");
   }
   function isValidHeritageClauseObjectLiteral() {
     Debug.assert(token() === 19 /* OpenBraceToken */);
@@ -31647,7 +31653,8 @@ var Parser;
     return false;
   }
   function isInSomeParsingContext() {
-    for (let kind = 0; kind < 25 /* Count */; kind++) {
+    Debug.assert(parsingContext, "Missing parsing context");
+    for (let kind = 0; kind < 26 /* Count */; kind++) {
       if (parsingContext & 1 << kind) {
         if (isListElement2(
           kind,
@@ -31906,7 +31913,9 @@ var Parser;
         return parseErrorAtCurrentToken(Diagnostics.Identifier_expected);
       case 24 /* AssertEntries */:
         return parseErrorAtCurrentToken(Diagnostics.Identifier_or_string_literal_expected);
-      case 25 /* Count */:
+      case 25 /* JSDocComment */:
+        return parseErrorAtCurrentToken(Diagnostics.Identifier_expected);
+      case 26 /* Count */:
         return Debug.fail("ParsingContext.Count used as a context");
       default:
         Debug.assertNever(context);
@@ -36038,7 +36047,8 @@ var Parser;
     ParsingContext2[ParsingContext2["HeritageClauses"] = 22] = "HeritageClauses";
     ParsingContext2[ParsingContext2["ImportOrExportSpecifiers"] = 23] = "ImportOrExportSpecifiers";
     ParsingContext2[ParsingContext2["AssertEntries"] = 24] = "AssertEntries";
-    ParsingContext2[ParsingContext2["Count"] = 25] = "Count";
+    ParsingContext2[ParsingContext2["JSDocComment"] = 25] = "JSDocComment";
+    ParsingContext2[ParsingContext2["Count"] = 26] = "Count";
   })(ParsingContext || (ParsingContext = {}));
   let Tristate;
   ((Tristate2) => {
@@ -36160,6 +36170,8 @@ var Parser;
       PropertyLikeParse2[PropertyLikeParse2["CallbackParameter"] = 4] = "CallbackParameter";
     })(PropertyLikeParse || (PropertyLikeParse = {}));
     function parseJSDocCommentWorker(start2 = 0, length2) {
+      const saveParsingContext = parsingContext;
+      parsingContext |= 1 << 25 /* JSDocComment */;
       const content = sourceText;
       const end = length2 === void 0 ? content.length : start2 + length2;
       length2 = end - start2;
@@ -36176,7 +36188,10 @@ var Parser;
       let commentsPos;
       let comments = [];
       const parts = [];
-      return scanner2.scanRange(start2 + 3, length2 - 5, () => {
+      const result = scanner2.scanRange(start2 + 3, length2 - 5, doJSDocScan);
+      parsingContext = saveParsingContext;
+      return result;
+      function doJSDocScan() {
         let state = 1 /* SawAsterisk */;
         let margin;
         let indent3 = start2 - (content.lastIndexOf("\n", start2) + 1) + 4;
@@ -36272,7 +36287,7 @@ var Parser;
           Debug.assertIsDefined(commentsPos, "having parsed tags implies that the end of the comment span should be set");
         const tagsArray = tags && createNodeArray(tags, tagsPos, tagsEnd);
         return finishNode(factory2.createJSDocComment(parts.length ? createNodeArray(parts, start2, commentsPos) : trimmedComments.length ? trimmedComments : void 0, tagsArray), start2, end);
-      });
+      }
       function removeLeadingNewlines(comments2) {
         while (comments2.length && (comments2[0] === "\n" || comments2[0] === "\r")) {
           comments2.shift();
@@ -36631,8 +36646,8 @@ var Parser;
           typeExpression = nestedTypeLiteral;
           isNameFirst = true;
         }
-        const result = target === 1 /* Property */ ? factory2.createJSDocPropertyTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment) : factory2.createJSDocParameterTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment);
-        return finishNode(result, start3);
+        const result2 = target === 1 /* Property */ ? factory2.createJSDocPropertyTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment) : factory2.createJSDocParameterTag(tagName, name, isBracketed, typeExpression, isNameFirst, comment);
+        return finishNode(result2, start3);
       }
       function parseNestedTypeLiteral(typeExpression, name, target, indent3) {
         if (typeExpression && isObjectOrObjectArrayTypeReference(typeExpression.type)) {
@@ -36642,6 +36657,8 @@ var Parser;
           while (child = tryParse(() => parseChildParameterOrPropertyTag(target, indent3, name))) {
             if (child.kind === 347 /* JSDocParameterTag */ || child.kind === 354 /* JSDocPropertyTag */) {
               children = append(children, child);
+            } else if (child.kind === 351 /* JSDocTemplateTag */) {
+              parseErrorAtRange(child.tagName, Diagnostics.A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag);
             }
           }
           if (children) {
@@ -36780,6 +36797,9 @@ var Parser;
           let jsDocPropertyTags;
           let hasChildren = false;
           while (child = tryParse(() => parseChildPropertyTag(indent3))) {
+            if (child.kind === 351 /* JSDocTemplateTag */) {
+              break;
+            }
             hasChildren = true;
             if (child.kind === 350 /* JSDocTypeTag */) {
               if (childTypeTag) {
@@ -36839,6 +36859,10 @@ var Parser;
         let child;
         let parameters;
         while (child = tryParse(() => parseChildParameterOrPropertyTag(4 /* CallbackParameter */, indent3))) {
+          if (child.kind === 351 /* JSDocTemplateTag */) {
+            parseErrorAtRange(child.tagName, Diagnostics.A_JSDoc_template_tag_may_not_follow_a_typedef_callback_or_overload_tag);
+            break;
+          }
           parameters = append(parameters, child);
         }
         return createNodeArray(parameters || [], pos);
@@ -36933,7 +36957,7 @@ var Parser;
         const start3 = scanner2.getTokenFullStart();
         nextTokenJSDoc();
         const tagName = parseJSDocIdentifierName();
-        skipWhitespace();
+        const indentText = skipWhitespaceOrAsterisk();
         let t;
         switch (tagName.escapedText) {
           case "type":
@@ -36947,6 +36971,8 @@ var Parser;
           case "param":
             t = 2 /* Parameter */ | 4 /* CallbackParameter */;
             break;
+          case "template":
+            return parseTemplateTag(start3, tagName, indent3, indentText);
           default:
             return false;
         }
@@ -37034,9 +37060,9 @@ var Parser;
         const end2 = scanner2.getTokenEnd();
         const originalKeywordKind = token();
         const text = internIdentifier(scanner2.getTokenValue());
-        const result = finishNode(factoryCreateIdentifier(text, originalKeywordKind), start3, end2);
+        const result2 = finishNode(factoryCreateIdentifier(text, originalKeywordKind), start3, end2);
         nextTokenJSDoc();
-        return result;
+        return result2;
       }
     }
   })(JSDocParser = Parser2.JSDocParser || (Parser2.JSDocParser = {}));
@@ -47511,24 +47537,13 @@ function createTypeChecker(host) {
     getTypeOfPropertyOfContextualType,
     getFullyQualifiedName,
     getResolvedSignature: (node, candidatesOutArray, argumentCount) => getResolvedSignatureWorker(node, candidatesOutArray, argumentCount, 0 /* Normal */),
-    getResolvedSignatureForStringLiteralCompletions: (call, editingArgument, candidatesOutArray, checkMode = 32 /* IsForStringLiteralArgumentCompletions */) => {
-      if (checkMode & 32 /* IsForStringLiteralArgumentCompletions */) {
-        return runWithInferenceBlockedFromSourceNode(editingArgument, () => getResolvedSignatureWorker(
-          call,
-          candidatesOutArray,
-          /*argumentCount*/
-          void 0,
-          checkMode & ~32 /* IsForStringLiteralArgumentCompletions */
-        ));
-      }
-      return runWithoutResolvedSignatureCaching(editingArgument, () => getResolvedSignatureWorker(
-        call,
-        candidatesOutArray,
-        /*argumentCount*/
-        void 0,
-        checkMode & ~32 /* IsForStringLiteralArgumentCompletions */
-      ));
-    },
+    getResolvedSignatureForStringLiteralCompletions: (call, editingArgument, candidatesOutArray) => runWithInferenceBlockedFromSourceNode(editingArgument, () => getResolvedSignatureWorker(
+      call,
+      candidatesOutArray,
+      /*argumentCount*/
+      void 0,
+      32 /* IsForStringLiteralArgumentCompletions */
+    )),
     getResolvedSignatureForSignatureHelp: (node, candidatesOutArray, argumentCount) => runWithoutResolvedSignatureCaching(node, () => getResolvedSignatureWorker(node, candidatesOutArray, argumentCount, 16 /* IsForSignatureHelp */)),
     getExpandedParameters,
     hasEffectiveRestParameter,
@@ -68271,7 +68286,7 @@ function createTypeChecker(host) {
       const constraint = getConstraintOfTypeParameter(inference.typeParameter);
       if (constraint) {
         const instantiatedConstraint = instantiateType(constraint, context.nonFixingMapper);
-        if (!inferredType || inferredType === wildcardType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
+        if (!inferredType || !context.compareTypes(inferredType, getTypeWithThisArgument(instantiatedConstraint, inferredType))) {
           inference.inferredType = fallbackType && context.compareTypes(fallbackType, getTypeWithThisArgument(instantiatedConstraint, fallbackType)) ? fallbackType : instantiatedConstraint;
         }
       }
@@ -71627,6 +71642,7 @@ function createTypeChecker(host) {
       case 9 /* NumericLiteral */:
       case 10 /* BigIntLiteral */:
       case 15 /* NoSubstitutionTemplateLiteral */:
+      case 227 /* TemplateExpression */:
       case 112 /* TrueKeyword */:
       case 97 /* FalseKeyword */:
       case 106 /* NullKeyword */:
@@ -74177,7 +74193,7 @@ function createTypeChecker(host) {
     }
     for (let i = 0; i < argCount; i++) {
       const arg = args[i];
-      if (arg.kind !== 231 /* OmittedExpression */) {
+      if (arg.kind !== 231 /* OmittedExpression */ && !(checkMode & 32 /* IsForStringLiteralArgumentCompletions */ && hasSkipDirectInferenceFlag(arg))) {
         const paramType = getTypeAtPosition(signature, i);
         if (couldContainTypeVariables(paramType)) {
           const argType = checkExpressionWithContextualType(arg, paramType, context, checkMode);
@@ -74789,6 +74805,7 @@ function createTypeChecker(host) {
     const args = getEffectiveCallArguments(node);
     const isSingleNonGenericCandidate = candidates.length === 1 && !candidates[0].typeParameters;
     let argCheckMode = !isDecorator2 && !isSingleNonGenericCandidate && some(args, isContextSensitive) ? 4 /* SkipContextSensitive */ : 0 /* Normal */;
+    argCheckMode |= checkMode & 32 /* IsForStringLiteralArgumentCompletions */;
     let candidatesForArgumentError;
     let candidateForArgumentArityError;
     let candidateForTypeArgumentError;
@@ -75012,7 +75029,7 @@ function createTypeChecker(host) {
           continue;
         }
         if (argCheckMode) {
-          argCheckMode = 0 /* Normal */;
+          argCheckMode = checkMode & 32 /* IsForStringLiteralArgumentCompletions */;
           if (inferenceContext) {
             const typeArgumentTypes = inferTypeArguments(node, candidate, args, argCheckMode, inferenceContext);
             checkCandidate = getSignatureInstantiation(candidate, typeArgumentTypes, isInJSFile(candidate.declaration), inferenceContext.inferredTypeParameters);
@@ -77020,6 +77037,10 @@ function createTypeChecker(host) {
     forEachReturnStatement(func.body, (returnStatement) => {
       const expr = returnStatement.expression;
       if (expr) {
+        if (expr.kind === 212 /* CallExpression */ && expr.expression.kind === 80 /* Identifier */ && checkExpressionCached(expr.expression).symbol === func.symbol) {
+          hasReturnOfTypeNever = true;
+          return;
+        }
         let type = checkExpressionCached(expr, checkMode && checkMode & ~8 /* SkipGenericFunctions */);
         if (functionFlags & 2 /* Async */) {
           type = unwrapAwaitedType(checkAwaitedType(
@@ -78419,11 +78440,15 @@ function createTypeChecker(host) {
       texts.push(span.literal.text);
       types.push(isTypeAssignableTo(type, templateConstraintType) ? type : stringType);
     }
-    return isConstContext(node) || isTemplateLiteralContext(node) || someType(getContextualType2(
+    if (isConstContext(node) || isTemplateLiteralContext(node) || someType(getContextualType2(
       node,
       /*contextFlags*/
       void 0
-    ) || unknownType, isTemplateLiteralContextualType) ? getTemplateLiteralType(texts, types) : stringType;
+    ) || unknownType, isTemplateLiteralContextualType)) {
+      return getTemplateLiteralType(texts, types);
+    }
+    const evaluated = node.parent.kind !== 214 /* TaggedTemplateExpression */ && evaluateTemplateExpression(node);
+    return evaluated ? getFreshTypeOfLiteralType(getStringLiteralType(evaluated)) : stringType;
   }
   function isTemplateLiteralContextualType(type) {
     return !!(type.flags & (128 /* StringLiteral */ | 134217728 /* TemplateLiteral */) || type.flags & 58982400 /* InstantiableNonPrimitive */ && maybeTypeOfKind(getBaseConstraintOfType(type) || unknownType, 402653316 /* StringLike */));
@@ -78850,7 +78875,7 @@ function createTypeChecker(host) {
         return nullWideningType;
       case 15 /* NoSubstitutionTemplateLiteral */:
       case 11 /* StringLiteral */:
-        return hasSkipDirectInferenceFlag(node) ? wildcardType : getFreshTypeOfLiteralType(getStringLiteralType(node.text));
+        return hasSkipDirectInferenceFlag(node) ? anyType : getFreshTypeOfLiteralType(getStringLiteralType(node.text));
       case 9 /* NumericLiteral */:
         checkGrammarNumericLiteral(node);
         return getFreshTypeOfLiteralType(getNumberLiteralType(+node.text));
@@ -83401,11 +83426,11 @@ function createTypeChecker(host) {
           );
           if (symbol) {
             if (symbol.flags & 8 /* EnumMember */) {
-              return evaluateEnumMember(expr, symbol, location);
+              return location ? evaluateEnumMember(expr, symbol, location) : getEnumMemberValue(symbol.valueDeclaration);
             }
             if (isConstVariable(symbol)) {
               const declaration = symbol.valueDeclaration;
-              if (declaration && !declaration.type && declaration.initializer && declaration !== location && isBlockScopedNameDeclaredBeforeUse(declaration, location)) {
+              if (declaration && !declaration.type && declaration.initializer && (!location || declaration !== location && isBlockScopedNameDeclaredBeforeUse(declaration, location))) {
                 return evaluate(declaration.initializer, declaration);
               }
             }
@@ -83425,7 +83450,7 @@ function createTypeChecker(host) {
             const name = escapeLeadingUnderscores(expr.argumentExpression.text);
             const member = rootSymbol.exports.get(name);
             if (member) {
-              return evaluateEnumMember(expr, member, location);
+              return location ? evaluateEnumMember(expr, member, location) : getEnumMemberValue(member.valueDeclaration);
             }
           }
         }
@@ -158578,7 +158603,7 @@ function getStringLiteralCompletionEntries(sourceFile, node, position, typeCheck
     case 290 /* JsxAttribute */:
       if (!isRequireCallArgument(node) && !isImportCall(parent2)) {
         const argumentInfo = ts_SignatureHelp_exports.getArgumentInfoForCompletions(parent2.kind === 290 /* JsxAttribute */ ? parent2.parent : node, position, sourceFile);
-        return argumentInfo && (getStringLiteralCompletionsFromSignature(argumentInfo.invocation, node, argumentInfo, typeChecker) || getStringLiteralCompletionsFromSignature(argumentInfo.invocation, node, argumentInfo, typeChecker, 0 /* Normal */)) || fromContextualType();
+        return argumentInfo && getStringLiteralCompletionsFromSignature(argumentInfo.invocation, node, argumentInfo, typeChecker) || fromContextualType();
       }
     case 271 /* ImportDeclaration */:
     case 277 /* ExportDeclaration */:
@@ -158647,12 +158672,12 @@ function walkUpParentheses(node) {
 function getAlreadyUsedTypesInStringLiteralUnion(union, current) {
   return mapDefined(union.types, (type) => type !== current && isLiteralTypeNode(type) && isStringLiteral(type.literal) ? type.literal.text : void 0);
 }
-function getStringLiteralCompletionsFromSignature(call, arg, argumentInfo, checker, checkMode = 32 /* IsForStringLiteralArgumentCompletions */) {
+function getStringLiteralCompletionsFromSignature(call, arg, argumentInfo, checker) {
   let isNewIdentifier = false;
   const uniques = /* @__PURE__ */ new Map();
   const candidates = [];
   const editingArgument = isJsxOpeningLikeElement(call) ? Debug.checkDefined(findAncestor(arg.parent, isJsxAttribute)) : arg;
-  checker.getResolvedSignatureForStringLiteralCompletions(call, editingArgument, candidates, checkMode);
+  checker.getResolvedSignatureForStringLiteralCompletions(call, editingArgument, candidates);
   const types = flatMap(candidates, (candidate) => {
     if (!signatureHasRestParameter(candidate) && argumentInfo.argumentCount > candidate.parameters.length)
       return;
@@ -165047,7 +165072,7 @@ function getSymbolDisplayPartsDocumentationAndSymbolKind(typeChecker, symbol, so
     displayParts.push(spacePart());
     displayParts.push(operatorPart(64 /* EqualsToken */));
     displayParts.push(spacePart());
-    addRange(displayParts, typeToDisplayParts(typeChecker, isConstTypeReference(location.parent) ? typeChecker.getTypeAtLocation(location.parent) : typeChecker.getDeclaredTypeOfSymbol(symbol), enclosingDeclaration, 8388608 /* InTypeAlias */));
+    addRange(displayParts, typeToDisplayParts(typeChecker, location.parent && isConstTypeReference(location.parent) ? typeChecker.getTypeAtLocation(location.parent) : typeChecker.getDeclaredTypeOfSymbol(symbol), enclosingDeclaration, 8388608 /* InTypeAlias */));
   }
   if (symbolFlags & 384 /* Enum */) {
     prefixNextMeaning();