@typescript-deploys/pr-build 5.0.0-pr-49627-28 → 5.0.0-pr-52818-5

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230216`;
+var version = `${versionMajorMinor}.0-insiders.20230217`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -24988,7 +24988,7 @@ function canHaveIllegalDecorators(node) {
 }
 function canHaveIllegalModifiers(node) {
   const kind = node.kind;
-  return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 181 /* FunctionType */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
+  return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
 }
 function isQuestionOrExclamationToken(node) {
   return isQuestionToken(node) || isExclamationToken(node);
@@ -28280,6 +28280,7 @@ var Parser;
     const hasJSDoc = hasPrecedingJSDocComment();
     const modifiers = parseModifiersForConstructorType();
     const isConstructorType = parseOptional(103 /* NewKeyword */);
+    Debug.assert(!modifiers || isConstructorType, "Per isStartOfFunctionOrConstructorType, a function type cannot have modifiers.");
     const typeParameters = parseTypeParameters();
     const parameters = parseParameters(4 /* Type */);
     const type = parseReturnType(
@@ -28288,8 +28289,6 @@ var Parser;
       false
     );
     const node = isConstructorType ? factory2.createConstructorTypeNode(modifiers, typeParameters, parameters, type) : factory2.createFunctionTypeNode(typeParameters, parameters, type);
-    if (!isConstructorType)
-      node.modifiers = modifiers;
     return withJSDoc(finishNode(node, pos), hasJSDoc);
   }
   function parseKeywordAndNoDot() {
@@ -29586,13 +29585,9 @@ var Parser;
   function parseJsxClosingFragment(inExpressionContext) {
     const pos = getNodePos();
     parseExpected(30 /* LessThanSlashToken */);
-    if (tokenIsIdentifierOrKeyword(token())) {
-      parseErrorAtRange(parseJsxElementName(), Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment);
-    }
     if (parseExpected(
       31 /* GreaterThanToken */,
-      /*diagnostic*/
-      void 0,
+      Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment,
       /*shouldAdvance*/
       false
     )) {
@@ -42585,6 +42580,7 @@ function createTypeChecker(host) {
   let inlineLevel = 0;
   let currentNode;
   let varianceTypeParameter;
+  let isInferencePartiallyBlocked = false;
   const emptySymbols = createSymbolTable();
   const arrayVariances = [1 /* Covariant */];
   const compilerOptions = host.getCompilerOptions();
@@ -43016,7 +43012,9 @@ function createTypeChecker(host) {
         toMarkSkip = toMarkSkip.parent;
       } while (toMarkSkip && toMarkSkip !== containingCall);
     }
+    isInferencePartiallyBlocked = true;
     const result = runWithoutResolvedSignatureCaching(node, fn);
+    isInferencePartiallyBlocked = false;
     if (containingCall) {
       let toMarkSkip = node;
       do {
@@ -47824,7 +47822,7 @@ function createTypeChecker(host) {
       );
     }
     function signatureToSignatureDeclarationHelper(signature, kind, context, options) {
-      var _a2, _b, _c, _d, _e;
+      var _a2, _b, _c, _d;
       const suppressAny = context.flags & 256 /* SuppressAnyReturnType */;
       if (suppressAny)
         context.flags &= ~256 /* SuppressAnyReturnType */;
@@ -47841,29 +47839,6 @@ function createTypeChecker(host) {
         /*skipUnionExpanding*/
         true
       )[0];
-      let restoreEnclosingDeclaration;
-      if (context.enclosingDeclaration && signature.declaration && signature.declaration !== context.enclosingDeclaration && !isInJSFile(signature.declaration) && some(expandedParams)) {
-        const locals = (_a2 = context.fakeScopeLocals) != null ? _a2 : context.fakeScopeLocals = createSymbolTable();
-        let newLocals;
-        for (const param of expandedParams) {
-          if (!locals.has(param.escapedName)) {
-            newLocals = append(newLocals, param.escapedName);
-            locals.set(param.escapedName, param);
-          }
-        }
-        if (newLocals) {
-          const fakeScope = parseNodeFactory.createBlock(emptyArray);
-          getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = true;
-          fakeScope.locals = locals;
-          const saveEnclosingDeclaration = context.enclosingDeclaration;
-          setParent(fakeScope, saveEnclosingDeclaration);
-          context.enclosingDeclaration = fakeScope;
-          restoreEnclosingDeclaration = () => {
-            context.enclosingDeclaration = saveEnclosingDeclaration;
-            forEach(newLocals, (s) => locals.delete(s));
-          };
-        }
-      }
       const parameters = (some(expandedParams, (p) => p !== expandedParams[expandedParams.length - 1] && !!(getCheckFlags(p) & 32768 /* RestParameter */)) ? signature.parameters : expandedParams).map((parameter) => symbolToParameterDeclaration(parameter, context, kind === 173 /* Constructor */, options == null ? void 0 : options.privateSymbolVisitor, options == null ? void 0 : options.bundledImports));
       const thisParameter = context.flags & 33554432 /* OmitThisParameter */ ? void 0 : tryGetThisParameterDeclaration(signature, context);
       if (thisParameter) {
@@ -47889,11 +47864,11 @@ function createTypeChecker(host) {
         const flags = modifiersToFlags(modifiers);
         modifiers = factory.createModifiersFromModifierFlags(flags | 256 /* Abstract */);
       }
-      const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
+      const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_a2 = options == null ? void 0 : options.name) != null ? _a2 : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
         modifiers,
         /*asteriskToken*/
         void 0,
-        (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
+        (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""),
         /*questionToken*/
         void 0,
         typeParameters,
@@ -47908,14 +47883,14 @@ function createTypeChecker(host) {
         void 0
       ) : kind === 174 /* GetAccessor */ ? factory.createGetAccessorDeclaration(
         modifiers,
-        (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
+        (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
         parameters,
         returnTypeNode,
         /*body*/
         void 0
       ) : kind === 175 /* SetAccessor */ ? factory.createSetAccessorDeclaration(
         modifiers,
-        (_e = options == null ? void 0 : options.name) != null ? _e : factory.createIdentifier(""),
+        (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
         parameters,
         /*body*/
         void 0
@@ -47950,7 +47925,6 @@ function createTypeChecker(host) {
       if (typeArguments) {
         node.typeArguments = factory.createNodeArray(typeArguments);
       }
-      restoreEnclosingDeclaration == null ? void 0 : restoreEnclosingDeclaration();
       return node;
     }
     function tryGetThisParameterDeclaration(signature, context) {
@@ -48565,12 +48539,9 @@ function createTypeChecker(host) {
     function existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type) {
       return !(getObjectFlags(type) & 4 /* Reference */) || !isTypeReferenceNode(existing) || length(existing.typeArguments) >= getMinTypeArgumentCount(type.target.typeParameters);
     }
-    function getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration) {
-      return findAncestor(enclosingDeclaration, (n) => !getNodeLinks(n).fakeScopeForSignatureDeclaration);
-    }
     function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled) {
       if (!isErrorType(type) && enclosingDeclaration) {
-        const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
+        const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, enclosingDeclaration);
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
           if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
@@ -48602,8 +48573,7 @@ function createTypeChecker(host) {
     function serializeReturnTypeForSignature(context, type, signature, includePrivateSymbol, bundled) {
       if (!isErrorType(type) && context.enclosingDeclaration) {
         const annotation = signature.declaration && getEffectiveReturnTypeNode(signature.declaration);
-        const enclosingDeclarationIgnoringFakeScope = getEnclosingDeclarationIgnoringFakeScope(context.enclosingDeclaration);
-        if (!!findAncestor(annotation, (n) => n === enclosingDeclarationIgnoringFakeScope) && annotation) {
+        if (!!findAncestor(annotation, (n) => n === context.enclosingDeclaration) && annotation) {
           const annotated = getTypeFromTypeNode(annotation);
           const thisInstantiated = annotated.flags & 262144 /* TypeParameter */ && annotated.isThisType ? instantiateType(annotated, signature.mapper) : annotated;
           if (thisInstantiated === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(annotation, type)) {
@@ -53090,6 +53060,7 @@ function createTypeChecker(host) {
     const typeParameter = getTypeParameterFromMappedType(type);
     const constraintType = getConstraintTypeFromMappedType(type);
     const nameType = getNameTypeFromMappedType(type.target || type);
+    const isFilteringMappedType = nameType && isTypeAssignableTo(nameType, typeParameter);
     const templateType = getTemplateTypeFromMappedType(type.target || type);
     const modifiersType = getApparentType(getModifiersTypeFromMappedType(type));
     const templateModifiers = getMappedTypeModifiers(type);
@@ -53127,7 +53098,7 @@ function createTypeChecker(host) {
           prop.links.keyType = keyType;
           if (modifiersProp) {
             prop.links.syntheticOrigin = modifiersProp;
-            prop.declarations = nameType ? void 0 : modifiersProp.declarations;
+            prop.declarations = !nameType || isFilteringMappedType ? modifiersProp.declarations : void 0;
           }
           members.set(propName, prop);
         }
@@ -69686,7 +69657,7 @@ function createTypeChecker(host) {
     const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
     const isDecorator2 = node.kind === 167 /* Decorator */;
     const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-    const reportErrors2 = !candidatesOutArray;
+    const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
     let typeArguments;
     if (!isDecorator2 && !isSuperCall(node)) {
       typeArguments = node.typeArguments;
@@ -74764,6 +74735,17 @@ function createTypeChecker(host) {
             lastSeenNonAmbientDeclaration = node;
           }
         }
+        if (isInJSFile(current) && isFunctionLike(current) && current.jsDoc) {
+          for (const node2 of current.jsDoc) {
+            if (node2.tags) {
+              for (const tag of node2.tags) {
+                if (isJSDocOverloadTag(tag)) {
+                  hasOverloads = true;
+                }
+              }
+            }
+          }
+        }
       }
     }
     if (multipleConstructorImplementation) {
@@ -74801,8 +74783,9 @@ function createTypeChecker(host) {
         const bodySignature = getSignatureFromDeclaration(bodyDeclaration);
         for (const signature of signatures) {
           if (!isImplementationCompatibleWithOverload(bodySignature, signature)) {
+            const errorNode = signature.declaration && isJSDocSignature(signature.declaration) ? signature.declaration.parent.tagName : signature.declaration;
             addRelatedInfo(
-              error(signature.declaration, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
+              error(errorNode, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
               createDiagnosticForNode(bodyDeclaration, Diagnostics.The_implementation_signature_is_declared_here)
             );
             break;
@@ -81418,7 +81401,6 @@ function createTypeChecker(host) {
       case 299 /* PropertyAssignment */:
       case 300 /* ShorthandPropertyAssignment */:
       case 267 /* NamespaceExportDeclaration */:
-      case 181 /* FunctionType */:
       case 279 /* MissingDeclaration */:
         return find(node.modifiers, isModifier);
       default:

package/lib/tsserver.js

@@ -1351,6 +1351,7 @@ __export(server_exports, {
   isGetOrSetAccessorDeclaration: () => isGetOrSetAccessorDeclaration,
   isGlobalDeclaration: () => isGlobalDeclaration,
   isGlobalScopeAugmentation: () => isGlobalScopeAugmentation,
+  isGrammarError: () => isGrammarError,
   isHeritageClause: () => isHeritageClause,
   isHoistedFunction: () => isHoistedFunction,
   isHoistedVariableStatement: () => isHoistedVariableStatement,
@@ -2287,7 +2288,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230216`;
+var version = `${versionMajorMinor}.0-insiders.20230217`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -15193,6 +15194,36 @@ function nodeIsMissing(node) {
 function nodeIsPresent(node) {
   return !nodeIsMissing(node);
 }
+function isGrammarError(parent2, child) {
+  if (isTypeParameterDeclaration(parent2))
+    return child === parent2.expression;
+  if (isClassStaticBlockDeclaration(parent2))
+    return child === parent2.modifiers;
+  if (isPropertySignature(parent2))
+    return child === parent2.initializer;
+  if (isPropertyDeclaration(parent2))
+    return child === parent2.questionToken && isAutoAccessorPropertyDeclaration(parent2);
+  if (isPropertyAssignment(parent2))
+    return child === parent2.modifiers || child === parent2.questionToken || child === parent2.exclamationToken || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+  if (isShorthandPropertyAssignment(parent2))
+    return child === parent2.equalsToken || child === parent2.modifiers || child === parent2.questionToken || child === parent2.exclamationToken || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+  if (isMethodDeclaration(parent2))
+    return child === parent2.exclamationToken;
+  if (isConstructorDeclaration(parent2))
+    return child === parent2.typeParameters || child === parent2.type || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+  if (isGetAccessorDeclaration(parent2))
+    return child === parent2.typeParameters || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+  if (isSetAccessorDeclaration(parent2))
+    return child === parent2.typeParameters || child === parent2.type || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+  if (isNamespaceExportDeclaration(parent2))
+    return child === parent2.modifiers || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+  return false;
+}
+function isGrammarErrorElement(nodeArray, child, isElement) {
+  if (!nodeArray || isArray(child) || !isElement(child))
+    return false;
+  return contains(nodeArray, child);
+}
 function insertStatementsAfterPrologue(to, from, isPrologueDirective2) {
   if (from === void 0 || from.length === 0)
     return to;
@@ -29280,7 +29311,7 @@ function canHaveIllegalDecorators(node) {
 }
 function canHaveIllegalModifiers(node) {
   const kind = node.kind;
-  return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 181 /* FunctionType */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
+  return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
 }
 function isQuestionOrExclamationToken(node) {
   return isQuestionToken(node) || isExclamationToken(node);
@@ -32595,6 +32626,7 @@ var Parser;
     const hasJSDoc = hasPrecedingJSDocComment();
     const modifiers = parseModifiersForConstructorType();
     const isConstructorType = parseOptional(103 /* NewKeyword */);
+    Debug.assert(!modifiers || isConstructorType, "Per isStartOfFunctionOrConstructorType, a function type cannot have modifiers.");
     const typeParameters = parseTypeParameters();
     const parameters = parseParameters(4 /* Type */);
     const type = parseReturnType(
@@ -32603,8 +32635,6 @@ var Parser;
       false
     );
     const node = isConstructorType ? factory2.createConstructorTypeNode(modifiers, typeParameters, parameters, type) : factory2.createFunctionTypeNode(typeParameters, parameters, type);
-    if (!isConstructorType)
-      node.modifiers = modifiers;
     return withJSDoc(finishNode(node, pos), hasJSDoc);
   }
   function parseKeywordAndNoDot() {
@@ -33901,13 +33931,9 @@ var Parser;
   function parseJsxClosingFragment(inExpressionContext) {
     const pos = getNodePos();
     parseExpected(30 /* LessThanSlashToken */);
-    if (tokenIsIdentifierOrKeyword(token())) {
-      parseErrorAtRange(parseJsxElementName(), Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment);
-    }
     if (parseExpected(
       31 /* GreaterThanToken */,
-      /*diagnostic*/
-      void 0,
+      Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment,
       /*shouldAdvance*/
       false
     )) {
@@ -47161,6 +47187,7 @@ function createTypeChecker(host) {
   let inlineLevel = 0;
   let currentNode;
   let varianceTypeParameter;
+  let isInferencePartiallyBlocked = false;
   const emptySymbols = createSymbolTable();
   const arrayVariances = [1 /* Covariant */];
   const compilerOptions = host.getCompilerOptions();
@@ -47592,7 +47619,9 @@ function createTypeChecker(host) {
         toMarkSkip = toMarkSkip.parent;
       } while (toMarkSkip && toMarkSkip !== containingCall);
     }
+    isInferencePartiallyBlocked = true;
     const result = runWithoutResolvedSignatureCaching(node, fn);
+    isInferencePartiallyBlocked = false;
     if (containingCall) {
       let toMarkSkip = node;
       do {
@@ -52400,7 +52429,7 @@ function createTypeChecker(host) {
       );
     }
     function signatureToSignatureDeclarationHelper(signature, kind, context, options) {
-      var _a2, _b, _c, _d, _e;
+      var _a2, _b, _c, _d;
       const suppressAny = context.flags & 256 /* SuppressAnyReturnType */;
       if (suppressAny)
         context.flags &= ~256 /* SuppressAnyReturnType */;
@@ -52417,29 +52446,6 @@ function createTypeChecker(host) {
         /*skipUnionExpanding*/
         true
       )[0];
-      let restoreEnclosingDeclaration;
-      if (context.enclosingDeclaration && signature.declaration && signature.declaration !== context.enclosingDeclaration && !isInJSFile(signature.declaration) && some(expandedParams)) {
-        const locals = (_a2 = context.fakeScopeLocals) != null ? _a2 : context.fakeScopeLocals = createSymbolTable();
-        let newLocals;
-        for (const param of expandedParams) {
-          if (!locals.has(param.escapedName)) {
-            newLocals = append(newLocals, param.escapedName);
-            locals.set(param.escapedName, param);
-          }
-        }
-        if (newLocals) {
-          const fakeScope = parseNodeFactory.createBlock(emptyArray);
-          getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = true;
-          fakeScope.locals = locals;
-          const saveEnclosingDeclaration = context.enclosingDeclaration;
-          setParent(fakeScope, saveEnclosingDeclaration);
-          context.enclosingDeclaration = fakeScope;
-          restoreEnclosingDeclaration = () => {
-            context.enclosingDeclaration = saveEnclosingDeclaration;
-            forEach(newLocals, (s) => locals.delete(s));
-          };
-        }
-      }
       const parameters = (some(expandedParams, (p) => p !== expandedParams[expandedParams.length - 1] && !!(getCheckFlags(p) & 32768 /* RestParameter */)) ? signature.parameters : expandedParams).map((parameter) => symbolToParameterDeclaration(parameter, context, kind === 173 /* Constructor */, options == null ? void 0 : options.privateSymbolVisitor, options == null ? void 0 : options.bundledImports));
       const thisParameter = context.flags & 33554432 /* OmitThisParameter */ ? void 0 : tryGetThisParameterDeclaration(signature, context);
       if (thisParameter) {
@@ -52465,11 +52471,11 @@ function createTypeChecker(host) {
         const flags = modifiersToFlags(modifiers);
         modifiers = factory.createModifiersFromModifierFlags(flags | 256 /* Abstract */);
       }
-      const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
+      const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_a2 = options == null ? void 0 : options.name) != null ? _a2 : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
         modifiers,
         /*asteriskToken*/
         void 0,
-        (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
+        (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""),
         /*questionToken*/
         void 0,
         typeParameters,
@@ -52484,14 +52490,14 @@ function createTypeChecker(host) {
         void 0
       ) : kind === 174 /* GetAccessor */ ? factory.createGetAccessorDeclaration(
         modifiers,
-        (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
+        (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
         parameters,
         returnTypeNode,
         /*body*/
         void 0
       ) : kind === 175 /* SetAccessor */ ? factory.createSetAccessorDeclaration(
         modifiers,
-        (_e = options == null ? void 0 : options.name) != null ? _e : factory.createIdentifier(""),
+        (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
         parameters,
         /*body*/
         void 0
@@ -52526,7 +52532,6 @@ function createTypeChecker(host) {
       if (typeArguments) {
         node.typeArguments = factory.createNodeArray(typeArguments);
       }
-      restoreEnclosingDeclaration == null ? void 0 : restoreEnclosingDeclaration();
       return node;
     }
     function tryGetThisParameterDeclaration(signature, context) {
@@ -53141,12 +53146,9 @@ function createTypeChecker(host) {
     function existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type) {
       return !(getObjectFlags(type) & 4 /* Reference */) || !isTypeReferenceNode(existing) || length(existing.typeArguments) >= getMinTypeArgumentCount(type.target.typeParameters);
     }
-    function getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration) {
-      return findAncestor(enclosingDeclaration, (n) => !getNodeLinks(n).fakeScopeForSignatureDeclaration);
-    }
     function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled) {
       if (!isErrorType(type) && enclosingDeclaration) {
-        const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
+        const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, enclosingDeclaration);
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
           if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
@@ -53178,8 +53180,7 @@ function createTypeChecker(host) {
     function serializeReturnTypeForSignature(context, type, signature, includePrivateSymbol, bundled) {
       if (!isErrorType(type) && context.enclosingDeclaration) {
         const annotation = signature.declaration && getEffectiveReturnTypeNode(signature.declaration);
-        const enclosingDeclarationIgnoringFakeScope = getEnclosingDeclarationIgnoringFakeScope(context.enclosingDeclaration);
-        if (!!findAncestor(annotation, (n) => n === enclosingDeclarationIgnoringFakeScope) && annotation) {
+        if (!!findAncestor(annotation, (n) => n === context.enclosingDeclaration) && annotation) {
           const annotated = getTypeFromTypeNode(annotation);
           const thisInstantiated = annotated.flags & 262144 /* TypeParameter */ && annotated.isThisType ? instantiateType(annotated, signature.mapper) : annotated;
           if (thisInstantiated === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(annotation, type)) {
@@ -57666,6 +57667,7 @@ function createTypeChecker(host) {
     const typeParameter = getTypeParameterFromMappedType(type);
     const constraintType = getConstraintTypeFromMappedType(type);
     const nameType = getNameTypeFromMappedType(type.target || type);
+    const isFilteringMappedType = nameType && isTypeAssignableTo(nameType, typeParameter);
     const templateType = getTemplateTypeFromMappedType(type.target || type);
     const modifiersType = getApparentType(getModifiersTypeFromMappedType(type));
     const templateModifiers = getMappedTypeModifiers(type);
@@ -57703,7 +57705,7 @@ function createTypeChecker(host) {
           prop.links.keyType = keyType;
           if (modifiersProp) {
             prop.links.syntheticOrigin = modifiersProp;
-            prop.declarations = nameType ? void 0 : modifiersProp.declarations;
+            prop.declarations = !nameType || isFilteringMappedType ? modifiersProp.declarations : void 0;
           }
           members.set(propName, prop);
         }
@@ -74262,7 +74264,7 @@ function createTypeChecker(host) {
     const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
     const isDecorator2 = node.kind === 167 /* Decorator */;
     const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-    const reportErrors2 = !candidatesOutArray;
+    const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
     let typeArguments;
     if (!isDecorator2 && !isSuperCall(node)) {
       typeArguments = node.typeArguments;
@@ -79340,6 +79342,17 @@ function createTypeChecker(host) {
             lastSeenNonAmbientDeclaration = node;
           }
         }
+        if (isInJSFile(current) && isFunctionLike(current) && current.jsDoc) {
+          for (const node2 of current.jsDoc) {
+            if (node2.tags) {
+              for (const tag of node2.tags) {
+                if (isJSDocOverloadTag(tag)) {
+                  hasOverloads = true;
+                }
+              }
+            }
+          }
+        }
       }
     }
     if (multipleConstructorImplementation) {
@@ -79377,8 +79390,9 @@ function createTypeChecker(host) {
         const bodySignature = getSignatureFromDeclaration(bodyDeclaration);
         for (const signature of signatures) {
           if (!isImplementationCompatibleWithOverload(bodySignature, signature)) {
+            const errorNode = signature.declaration && isJSDocSignature(signature.declaration) ? signature.declaration.parent.tagName : signature.declaration;
             addRelatedInfo(
-              error(signature.declaration, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
+              error(errorNode, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
               createDiagnosticForNode(bodyDeclaration, Diagnostics.The_implementation_signature_is_declared_here)
             );
             break;
@@ -85994,7 +86008,6 @@ function createTypeChecker(host) {
       case 299 /* PropertyAssignment */:
       case 300 /* ShorthandPropertyAssignment */:
       case 267 /* NamespaceExportDeclaration */:
-      case 181 /* FunctionType */:
       case 279 /* MissingDeclaration */:
         return find(node.modifiers, isModifier);
       default:
@@ -147277,7 +147290,14 @@ function updatePropertyDeclaration(changeTracker, file, declaration, type, field
   changeTracker.replaceNode(file, declaration, property);
 }
 function updatePropertyAssignmentDeclaration(changeTracker, file, declaration, fieldName) {
-  const assignment = factory.updatePropertyAssignment(declaration, fieldName, declaration.initializer);
+  let assignment = factory.updatePropertyAssignment(declaration, fieldName, declaration.initializer);
+  if (assignment.modifiers || assignment.questionToken || assignment.exclamationToken) {
+    if (assignment === declaration)
+      assignment = factory.cloneNode(assignment);
+    assignment.modifiers = void 0;
+    assignment.questionToken = void 0;
+    assignment.exclamationToken = void 0;
+  }
   changeTracker.replacePropertyAssignment(file, declaration, assignment);
 }
 function updateFieldDeclaration(changeTracker, file, declaration, type, fieldName, modifiers) {
@@ -166476,7 +166496,7 @@ function formatSpanWorker(originalRange, enclosingNode, initialIndentation, delt
       }
       if (isToken(child)) {
         const tokenInfo = formattingScanner.readTokenInfo(child);
-        if (child.kind !== 11 /* JsxText */) {
+        if (child.kind !== 11 /* JsxText */ && !isGrammarError(parent2, child)) {
           Debug.assert(tokenInfo.token.end === child.end, "Token end is child end");
           consumeTokenAndAdvanceScanner(tokenInfo, node, parentDynamicIndentation, child);
           return inheritedIndentation;
@@ -168846,6 +168866,7 @@ __export(ts_exports3, {
   isGetOrSetAccessorDeclaration: () => isGetOrSetAccessorDeclaration,
   isGlobalDeclaration: () => isGlobalDeclaration,
   isGlobalScopeAugmentation: () => isGlobalScopeAugmentation,
+  isGrammarError: () => isGrammarError,
   isHeritageClause: () => isHeritageClause,
   isHoistedFunction: () => isHoistedFunction,
   isHoistedVariableStatement: () => isHoistedVariableStatement,
@@ -182795,6 +182816,7 @@ start(initializeNodeSystem(), require("os").platform());
   isGetOrSetAccessorDeclaration,
   isGlobalDeclaration,
   isGlobalScopeAugmentation,
+  isGrammarError,
   isHeritageClause,
   isHoistedFunction,
   isHoistedVariableStatement,

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-insiders.20230216`;
+      version = `${versionMajorMinor}.0-insiders.20230217`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -13027,6 +13027,36 @@ ${lanes.join("\n")}
   function nodeIsPresent(node) {
     return !nodeIsMissing(node);
   }
+  function isGrammarError(parent2, child) {
+    if (isTypeParameterDeclaration(parent2))
+      return child === parent2.expression;
+    if (isClassStaticBlockDeclaration(parent2))
+      return child === parent2.modifiers;
+    if (isPropertySignature(parent2))
+      return child === parent2.initializer;
+    if (isPropertyDeclaration(parent2))
+      return child === parent2.questionToken && isAutoAccessorPropertyDeclaration(parent2);
+    if (isPropertyAssignment(parent2))
+      return child === parent2.modifiers || child === parent2.questionToken || child === parent2.exclamationToken || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+    if (isShorthandPropertyAssignment(parent2))
+      return child === parent2.equalsToken || child === parent2.modifiers || child === parent2.questionToken || child === parent2.exclamationToken || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+    if (isMethodDeclaration(parent2))
+      return child === parent2.exclamationToken;
+    if (isConstructorDeclaration(parent2))
+      return child === parent2.typeParameters || child === parent2.type || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+    if (isGetAccessorDeclaration(parent2))
+      return child === parent2.typeParameters || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+    if (isSetAccessorDeclaration(parent2))
+      return child === parent2.typeParameters || child === parent2.type || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+    if (isNamespaceExportDeclaration(parent2))
+      return child === parent2.modifiers || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+    return false;
+  }
+  function isGrammarErrorElement(nodeArray, child, isElement) {
+    if (!nodeArray || isArray(child) || !isElement(child))
+      return false;
+    return contains(nodeArray, child);
+  }
   function insertStatementsAfterPrologue(to, from, isPrologueDirective2) {
     if (from === void 0 || from.length === 0)
       return to;
@@ -27168,7 +27198,7 @@ ${lanes.join("\n")}
   }
   function canHaveIllegalModifiers(node) {
     const kind = node.kind;
-    return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 181 /* FunctionType */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
+    return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
   }
   function isQuestionOrExclamationToken(node) {
     return isQuestionToken(node) || isExclamationToken(node);
@@ -30706,6 +30736,7 @@ ${lanes.join("\n")}
           const hasJSDoc = hasPrecedingJSDocComment();
           const modifiers = parseModifiersForConstructorType();
           const isConstructorType = parseOptional(103 /* NewKeyword */);
+          Debug.assert(!modifiers || isConstructorType, "Per isStartOfFunctionOrConstructorType, a function type cannot have modifiers.");
           const typeParameters = parseTypeParameters();
           const parameters = parseParameters(4 /* Type */);
           const type = parseReturnType(
@@ -30714,8 +30745,6 @@ ${lanes.join("\n")}
             false
           );
           const node = isConstructorType ? factory2.createConstructorTypeNode(modifiers, typeParameters, parameters, type) : factory2.createFunctionTypeNode(typeParameters, parameters, type);
-          if (!isConstructorType)
-            node.modifiers = modifiers;
           return withJSDoc(finishNode(node, pos), hasJSDoc);
         }
         function parseKeywordAndNoDot() {
@@ -32012,13 +32041,9 @@ ${lanes.join("\n")}
         function parseJsxClosingFragment(inExpressionContext) {
           const pos = getNodePos();
           parseExpected(30 /* LessThanSlashToken */);
-          if (tokenIsIdentifierOrKeyword(token())) {
-            parseErrorAtRange(parseJsxElementName(), Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment);
-          }
           if (parseExpected(
             31 /* GreaterThanToken */,
-            /*diagnostic*/
-            void 0,
+            Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment,
             /*shouldAdvance*/
             false
           )) {
@@ -44970,6 +44995,7 @@ ${lanes.join("\n")}
     let inlineLevel = 0;
     let currentNode;
     let varianceTypeParameter;
+    let isInferencePartiallyBlocked = false;
     const emptySymbols = createSymbolTable();
     const arrayVariances = [1 /* Covariant */];
     const compilerOptions = host.getCompilerOptions();
@@ -45401,7 +45427,9 @@ ${lanes.join("\n")}
           toMarkSkip = toMarkSkip.parent;
         } while (toMarkSkip && toMarkSkip !== containingCall);
       }
+      isInferencePartiallyBlocked = true;
       const result = runWithoutResolvedSignatureCaching(node, fn);
+      isInferencePartiallyBlocked = false;
       if (containingCall) {
         let toMarkSkip = node;
         do {
@@ -50209,7 +50237,7 @@ ${lanes.join("\n")}
         );
       }
       function signatureToSignatureDeclarationHelper(signature, kind, context, options) {
-        var _a2, _b, _c, _d, _e;
+        var _a2, _b, _c, _d;
         const suppressAny = context.flags & 256 /* SuppressAnyReturnType */;
         if (suppressAny)
           context.flags &= ~256 /* SuppressAnyReturnType */;
@@ -50226,29 +50254,6 @@ ${lanes.join("\n")}
           /*skipUnionExpanding*/
           true
         )[0];
-        let restoreEnclosingDeclaration;
-        if (context.enclosingDeclaration && signature.declaration && signature.declaration !== context.enclosingDeclaration && !isInJSFile(signature.declaration) && some(expandedParams)) {
-          const locals = (_a2 = context.fakeScopeLocals) != null ? _a2 : context.fakeScopeLocals = createSymbolTable();
-          let newLocals;
-          for (const param of expandedParams) {
-            if (!locals.has(param.escapedName)) {
-              newLocals = append(newLocals, param.escapedName);
-              locals.set(param.escapedName, param);
-            }
-          }
-          if (newLocals) {
-            const fakeScope = parseNodeFactory.createBlock(emptyArray);
-            getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = true;
-            fakeScope.locals = locals;
-            const saveEnclosingDeclaration = context.enclosingDeclaration;
-            setParent(fakeScope, saveEnclosingDeclaration);
-            context.enclosingDeclaration = fakeScope;
-            restoreEnclosingDeclaration = () => {
-              context.enclosingDeclaration = saveEnclosingDeclaration;
-              forEach(newLocals, (s) => locals.delete(s));
-            };
-          }
-        }
         const parameters = (some(expandedParams, (p) => p !== expandedParams[expandedParams.length - 1] && !!(getCheckFlags(p) & 32768 /* RestParameter */)) ? signature.parameters : expandedParams).map((parameter) => symbolToParameterDeclaration(parameter, context, kind === 173 /* Constructor */, options == null ? void 0 : options.privateSymbolVisitor, options == null ? void 0 : options.bundledImports));
         const thisParameter = context.flags & 33554432 /* OmitThisParameter */ ? void 0 : tryGetThisParameterDeclaration(signature, context);
         if (thisParameter) {
@@ -50274,11 +50279,11 @@ ${lanes.join("\n")}
           const flags = modifiersToFlags(modifiers);
           modifiers = factory.createModifiersFromModifierFlags(flags | 256 /* Abstract */);
         }
-        const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
+        const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_a2 = options == null ? void 0 : options.name) != null ? _a2 : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
           modifiers,
           /*asteriskToken*/
           void 0,
-          (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
+          (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""),
           /*questionToken*/
           void 0,
           typeParameters,
@@ -50293,14 +50298,14 @@ ${lanes.join("\n")}
           void 0
         ) : kind === 174 /* GetAccessor */ ? factory.createGetAccessorDeclaration(
           modifiers,
-          (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
+          (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
           parameters,
           returnTypeNode,
           /*body*/
           void 0
         ) : kind === 175 /* SetAccessor */ ? factory.createSetAccessorDeclaration(
           modifiers,
-          (_e = options == null ? void 0 : options.name) != null ? _e : factory.createIdentifier(""),
+          (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
           parameters,
           /*body*/
           void 0
@@ -50335,7 +50340,6 @@ ${lanes.join("\n")}
         if (typeArguments) {
           node.typeArguments = factory.createNodeArray(typeArguments);
         }
-        restoreEnclosingDeclaration == null ? void 0 : restoreEnclosingDeclaration();
         return node;
       }
       function tryGetThisParameterDeclaration(signature, context) {
@@ -50950,12 +50954,9 @@ ${lanes.join("\n")}
       function existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type) {
         return !(getObjectFlags(type) & 4 /* Reference */) || !isTypeReferenceNode(existing) || length(existing.typeArguments) >= getMinTypeArgumentCount(type.target.typeParameters);
       }
-      function getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration) {
-        return findAncestor(enclosingDeclaration, (n) => !getNodeLinks(n).fakeScopeForSignatureDeclaration);
-      }
       function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled) {
         if (!isErrorType(type) && enclosingDeclaration) {
-          const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
+          const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, enclosingDeclaration);
           if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
             const existing = getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
             if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
@@ -50987,8 +50988,7 @@ ${lanes.join("\n")}
       function serializeReturnTypeForSignature(context, type, signature, includePrivateSymbol, bundled) {
         if (!isErrorType(type) && context.enclosingDeclaration) {
           const annotation = signature.declaration && getEffectiveReturnTypeNode(signature.declaration);
-          const enclosingDeclarationIgnoringFakeScope = getEnclosingDeclarationIgnoringFakeScope(context.enclosingDeclaration);
-          if (!!findAncestor(annotation, (n) => n === enclosingDeclarationIgnoringFakeScope) && annotation) {
+          if (!!findAncestor(annotation, (n) => n === context.enclosingDeclaration) && annotation) {
             const annotated = getTypeFromTypeNode(annotation);
             const thisInstantiated = annotated.flags & 262144 /* TypeParameter */ && annotated.isThisType ? instantiateType(annotated, signature.mapper) : annotated;
             if (thisInstantiated === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(annotation, type)) {
@@ -55475,6 +55475,7 @@ ${lanes.join("\n")}
       const typeParameter = getTypeParameterFromMappedType(type);
       const constraintType = getConstraintTypeFromMappedType(type);
       const nameType = getNameTypeFromMappedType(type.target || type);
+      const isFilteringMappedType = nameType && isTypeAssignableTo(nameType, typeParameter);
       const templateType = getTemplateTypeFromMappedType(type.target || type);
       const modifiersType = getApparentType(getModifiersTypeFromMappedType(type));
       const templateModifiers = getMappedTypeModifiers(type);
@@ -55512,7 +55513,7 @@ ${lanes.join("\n")}
             prop.links.keyType = keyType;
             if (modifiersProp) {
               prop.links.syntheticOrigin = modifiersProp;
-              prop.declarations = nameType ? void 0 : modifiersProp.declarations;
+              prop.declarations = !nameType || isFilteringMappedType ? modifiersProp.declarations : void 0;
             }
             members.set(propName, prop);
           }
@@ -72071,7 +72072,7 @@ ${lanes.join("\n")}
       const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
       const isDecorator2 = node.kind === 167 /* Decorator */;
       const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-      const reportErrors2 = !candidatesOutArray;
+      const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
       let typeArguments;
       if (!isDecorator2 && !isSuperCall(node)) {
         typeArguments = node.typeArguments;
@@ -77149,6 +77150,17 @@ ${lanes.join("\n")}
               lastSeenNonAmbientDeclaration = node;
             }
           }
+          if (isInJSFile(current) && isFunctionLike(current) && current.jsDoc) {
+            for (const node2 of current.jsDoc) {
+              if (node2.tags) {
+                for (const tag of node2.tags) {
+                  if (isJSDocOverloadTag(tag)) {
+                    hasOverloads = true;
+                  }
+                }
+              }
+            }
+          }
         }
       }
       if (multipleConstructorImplementation) {
@@ -77186,8 +77198,9 @@ ${lanes.join("\n")}
           const bodySignature = getSignatureFromDeclaration(bodyDeclaration);
           for (const signature of signatures) {
             if (!isImplementationCompatibleWithOverload(bodySignature, signature)) {
+              const errorNode = signature.declaration && isJSDocSignature(signature.declaration) ? signature.declaration.parent.tagName : signature.declaration;
               addRelatedInfo(
-                error(signature.declaration, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
+                error(errorNode, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
                 createDiagnosticForNode(bodyDeclaration, Diagnostics.The_implementation_signature_is_declared_here)
               );
               break;
@@ -83803,7 +83816,6 @@ ${lanes.join("\n")}
         case 299 /* PropertyAssignment */:
         case 300 /* ShorthandPropertyAssignment */:
         case 267 /* NamespaceExportDeclaration */:
-        case 181 /* FunctionType */:
         case 279 /* MissingDeclaration */:
           return find(node.modifiers, isModifier);
         default:
@@ -146161,7 +146173,14 @@ ${lanes.join("\n")}
     changeTracker.replaceNode(file, declaration, property);
   }
   function updatePropertyAssignmentDeclaration(changeTracker, file, declaration, fieldName) {
-    const assignment = factory.updatePropertyAssignment(declaration, fieldName, declaration.initializer);
+    let assignment = factory.updatePropertyAssignment(declaration, fieldName, declaration.initializer);
+    if (assignment.modifiers || assignment.questionToken || assignment.exclamationToken) {
+      if (assignment === declaration)
+        assignment = factory.cloneNode(assignment);
+      assignment.modifiers = void 0;
+      assignment.questionToken = void 0;
+      assignment.exclamationToken = void 0;
+    }
     changeTracker.replacePropertyAssignment(file, declaration, assignment);
   }
   function updateFieldDeclaration(changeTracker, file, declaration, type, fieldName, modifiers) {
@@ -165967,7 +165986,7 @@ ${options.prefix}` : "\n" : options.prefix
         }
         if (isToken(child)) {
           const tokenInfo = formattingScanner.readTokenInfo(child);
-          if (child.kind !== 11 /* JsxText */) {
+          if (child.kind !== 11 /* JsxText */ && !isGrammarError(parent2, child)) {
             Debug.assert(tokenInfo.token.end === child.end, "Token end is child end");
             consumeTokenAndAdvanceScanner(tokenInfo, node, parentDynamicIndentation, child);
             return inheritedIndentation;
@@ -179433,6 +179452,7 @@ ${e.message}`;
     isGetOrSetAccessorDeclaration: () => isGetOrSetAccessorDeclaration,
     isGlobalDeclaration: () => isGlobalDeclaration,
     isGlobalScopeAugmentation: () => isGlobalScopeAugmentation,
+    isGrammarError: () => isGrammarError,
     isHeritageClause: () => isHeritageClause,
     isHoistedFunction: () => isHoistedFunction,
     isHoistedVariableStatement: () => isHoistedVariableStatement,
@@ -181792,6 +181812,7 @@ ${e.message}`;
     isGetOrSetAccessorDeclaration: () => isGetOrSetAccessorDeclaration,
     isGlobalDeclaration: () => isGlobalDeclaration,
     isGlobalScopeAugmentation: () => isGlobalScopeAugmentation,
+    isGrammarError: () => isGrammarError,
     isHeritageClause: () => isHeritageClause,
     isHoistedFunction: () => isHoistedFunction,
     isHoistedVariableStatement: () => isHoistedVariableStatement,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-insiders.20230216`;
+      version = `${versionMajorMinor}.0-insiders.20230217`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -13027,6 +13027,36 @@ ${lanes.join("\n")}
   function nodeIsPresent(node) {
     return !nodeIsMissing(node);
   }
+  function isGrammarError(parent2, child) {
+    if (isTypeParameterDeclaration(parent2))
+      return child === parent2.expression;
+    if (isClassStaticBlockDeclaration(parent2))
+      return child === parent2.modifiers;
+    if (isPropertySignature(parent2))
+      return child === parent2.initializer;
+    if (isPropertyDeclaration(parent2))
+      return child === parent2.questionToken && isAutoAccessorPropertyDeclaration(parent2);
+    if (isPropertyAssignment(parent2))
+      return child === parent2.modifiers || child === parent2.questionToken || child === parent2.exclamationToken || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+    if (isShorthandPropertyAssignment(parent2))
+      return child === parent2.equalsToken || child === parent2.modifiers || child === parent2.questionToken || child === parent2.exclamationToken || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+    if (isMethodDeclaration(parent2))
+      return child === parent2.exclamationToken;
+    if (isConstructorDeclaration(parent2))
+      return child === parent2.typeParameters || child === parent2.type || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+    if (isGetAccessorDeclaration(parent2))
+      return child === parent2.typeParameters || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+    if (isSetAccessorDeclaration(parent2))
+      return child === parent2.typeParameters || child === parent2.type || isGrammarErrorElement(parent2.typeParameters, child, isTypeParameterDeclaration);
+    if (isNamespaceExportDeclaration(parent2))
+      return child === parent2.modifiers || isGrammarErrorElement(parent2.modifiers, child, isModifierLike);
+    return false;
+  }
+  function isGrammarErrorElement(nodeArray, child, isElement) {
+    if (!nodeArray || isArray(child) || !isElement(child))
+      return false;
+    return contains(nodeArray, child);
+  }
   function insertStatementsAfterPrologue(to, from, isPrologueDirective2) {
     if (from === void 0 || from.length === 0)
       return to;
@@ -27168,7 +27198,7 @@ ${lanes.join("\n")}
   }
   function canHaveIllegalModifiers(node) {
     const kind = node.kind;
-    return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 181 /* FunctionType */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
+    return kind === 172 /* ClassStaticBlockDeclaration */ || kind === 299 /* PropertyAssignment */ || kind === 300 /* ShorthandPropertyAssignment */ || kind === 279 /* MissingDeclaration */ || kind === 267 /* NamespaceExportDeclaration */;
   }
   function isQuestionOrExclamationToken(node) {
     return isQuestionToken(node) || isExclamationToken(node);
@@ -30706,6 +30736,7 @@ ${lanes.join("\n")}
           const hasJSDoc = hasPrecedingJSDocComment();
           const modifiers = parseModifiersForConstructorType();
           const isConstructorType = parseOptional(103 /* NewKeyword */);
+          Debug.assert(!modifiers || isConstructorType, "Per isStartOfFunctionOrConstructorType, a function type cannot have modifiers.");
           const typeParameters = parseTypeParameters();
           const parameters = parseParameters(4 /* Type */);
           const type = parseReturnType(
@@ -30714,8 +30745,6 @@ ${lanes.join("\n")}
             false
           );
           const node = isConstructorType ? factory2.createConstructorTypeNode(modifiers, typeParameters, parameters, type) : factory2.createFunctionTypeNode(typeParameters, parameters, type);
-          if (!isConstructorType)
-            node.modifiers = modifiers;
           return withJSDoc(finishNode(node, pos), hasJSDoc);
         }
         function parseKeywordAndNoDot() {
@@ -32012,13 +32041,9 @@ ${lanes.join("\n")}
         function parseJsxClosingFragment(inExpressionContext) {
           const pos = getNodePos();
           parseExpected(30 /* LessThanSlashToken */);
-          if (tokenIsIdentifierOrKeyword(token())) {
-            parseErrorAtRange(parseJsxElementName(), Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment);
-          }
           if (parseExpected(
             31 /* GreaterThanToken */,
-            /*diagnostic*/
-            void 0,
+            Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment,
             /*shouldAdvance*/
             false
           )) {
@@ -44970,6 +44995,7 @@ ${lanes.join("\n")}
     let inlineLevel = 0;
     let currentNode;
     let varianceTypeParameter;
+    let isInferencePartiallyBlocked = false;
     const emptySymbols = createSymbolTable();
     const arrayVariances = [1 /* Covariant */];
     const compilerOptions = host.getCompilerOptions();
@@ -45401,7 +45427,9 @@ ${lanes.join("\n")}
           toMarkSkip = toMarkSkip.parent;
         } while (toMarkSkip && toMarkSkip !== containingCall);
       }
+      isInferencePartiallyBlocked = true;
       const result = runWithoutResolvedSignatureCaching(node, fn);
+      isInferencePartiallyBlocked = false;
       if (containingCall) {
         let toMarkSkip = node;
         do {
@@ -50209,7 +50237,7 @@ ${lanes.join("\n")}
         );
       }
       function signatureToSignatureDeclarationHelper(signature, kind, context, options) {
-        var _a2, _b, _c, _d, _e;
+        var _a2, _b, _c, _d;
         const suppressAny = context.flags & 256 /* SuppressAnyReturnType */;
         if (suppressAny)
           context.flags &= ~256 /* SuppressAnyReturnType */;
@@ -50226,29 +50254,6 @@ ${lanes.join("\n")}
           /*skipUnionExpanding*/
           true
         )[0];
-        let restoreEnclosingDeclaration;
-        if (context.enclosingDeclaration && signature.declaration && signature.declaration !== context.enclosingDeclaration && !isInJSFile(signature.declaration) && some(expandedParams)) {
-          const locals = (_a2 = context.fakeScopeLocals) != null ? _a2 : context.fakeScopeLocals = createSymbolTable();
-          let newLocals;
-          for (const param of expandedParams) {
-            if (!locals.has(param.escapedName)) {
-              newLocals = append(newLocals, param.escapedName);
-              locals.set(param.escapedName, param);
-            }
-          }
-          if (newLocals) {
-            const fakeScope = parseNodeFactory.createBlock(emptyArray);
-            getNodeLinks(fakeScope).fakeScopeForSignatureDeclaration = true;
-            fakeScope.locals = locals;
-            const saveEnclosingDeclaration = context.enclosingDeclaration;
-            setParent(fakeScope, saveEnclosingDeclaration);
-            context.enclosingDeclaration = fakeScope;
-            restoreEnclosingDeclaration = () => {
-              context.enclosingDeclaration = saveEnclosingDeclaration;
-              forEach(newLocals, (s) => locals.delete(s));
-            };
-          }
-        }
         const parameters = (some(expandedParams, (p) => p !== expandedParams[expandedParams.length - 1] && !!(getCheckFlags(p) & 32768 /* RestParameter */)) ? signature.parameters : expandedParams).map((parameter) => symbolToParameterDeclaration(parameter, context, kind === 173 /* Constructor */, options == null ? void 0 : options.privateSymbolVisitor, options == null ? void 0 : options.bundledImports));
         const thisParameter = context.flags & 33554432 /* OmitThisParameter */ ? void 0 : tryGetThisParameterDeclaration(signature, context);
         if (thisParameter) {
@@ -50274,11 +50279,11 @@ ${lanes.join("\n")}
           const flags = modifiersToFlags(modifiers);
           modifiers = factory.createModifiersFromModifierFlags(flags | 256 /* Abstract */);
         }
-        const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
+        const node = kind === 176 /* CallSignature */ ? factory.createCallSignature(typeParameters, parameters, returnTypeNode) : kind === 177 /* ConstructSignature */ ? factory.createConstructSignature(typeParameters, parameters, returnTypeNode) : kind === 170 /* MethodSignature */ ? factory.createMethodSignature(modifiers, (_a2 = options == null ? void 0 : options.name) != null ? _a2 : factory.createIdentifier(""), options == null ? void 0 : options.questionToken, typeParameters, parameters, returnTypeNode) : kind === 171 /* MethodDeclaration */ ? factory.createMethodDeclaration(
           modifiers,
           /*asteriskToken*/
           void 0,
-          (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
+          (_b = options == null ? void 0 : options.name) != null ? _b : factory.createIdentifier(""),
           /*questionToken*/
           void 0,
           typeParameters,
@@ -50293,14 +50298,14 @@ ${lanes.join("\n")}
           void 0
         ) : kind === 174 /* GetAccessor */ ? factory.createGetAccessorDeclaration(
           modifiers,
-          (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
+          (_c = options == null ? void 0 : options.name) != null ? _c : factory.createIdentifier(""),
           parameters,
           returnTypeNode,
           /*body*/
           void 0
         ) : kind === 175 /* SetAccessor */ ? factory.createSetAccessorDeclaration(
           modifiers,
-          (_e = options == null ? void 0 : options.name) != null ? _e : factory.createIdentifier(""),
+          (_d = options == null ? void 0 : options.name) != null ? _d : factory.createIdentifier(""),
           parameters,
           /*body*/
           void 0
@@ -50335,7 +50340,6 @@ ${lanes.join("\n")}
         if (typeArguments) {
           node.typeArguments = factory.createNodeArray(typeArguments);
         }
-        restoreEnclosingDeclaration == null ? void 0 : restoreEnclosingDeclaration();
         return node;
       }
       function tryGetThisParameterDeclaration(signature, context) {
@@ -50950,12 +50954,9 @@ ${lanes.join("\n")}
       function existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type) {
         return !(getObjectFlags(type) & 4 /* Reference */) || !isTypeReferenceNode(existing) || length(existing.typeArguments) >= getMinTypeArgumentCount(type.target.typeParameters);
       }
-      function getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration) {
-        return findAncestor(enclosingDeclaration, (n) => !getNodeLinks(n).fakeScopeForSignatureDeclaration);
-      }
       function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled) {
         if (!isErrorType(type) && enclosingDeclaration) {
-          const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
+          const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, enclosingDeclaration);
           if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
             const existing = getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
             if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
@@ -50987,8 +50988,7 @@ ${lanes.join("\n")}
       function serializeReturnTypeForSignature(context, type, signature, includePrivateSymbol, bundled) {
         if (!isErrorType(type) && context.enclosingDeclaration) {
           const annotation = signature.declaration && getEffectiveReturnTypeNode(signature.declaration);
-          const enclosingDeclarationIgnoringFakeScope = getEnclosingDeclarationIgnoringFakeScope(context.enclosingDeclaration);
-          if (!!findAncestor(annotation, (n) => n === enclosingDeclarationIgnoringFakeScope) && annotation) {
+          if (!!findAncestor(annotation, (n) => n === context.enclosingDeclaration) && annotation) {
             const annotated = getTypeFromTypeNode(annotation);
             const thisInstantiated = annotated.flags & 262144 /* TypeParameter */ && annotated.isThisType ? instantiateType(annotated, signature.mapper) : annotated;
             if (thisInstantiated === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(annotation, type)) {
@@ -55475,6 +55475,7 @@ ${lanes.join("\n")}
       const typeParameter = getTypeParameterFromMappedType(type);
       const constraintType = getConstraintTypeFromMappedType(type);
       const nameType = getNameTypeFromMappedType(type.target || type);
+      const isFilteringMappedType = nameType && isTypeAssignableTo(nameType, typeParameter);
       const templateType = getTemplateTypeFromMappedType(type.target || type);
       const modifiersType = getApparentType(getModifiersTypeFromMappedType(type));
       const templateModifiers = getMappedTypeModifiers(type);
@@ -55512,7 +55513,7 @@ ${lanes.join("\n")}
             prop.links.keyType = keyType;
             if (modifiersProp) {
               prop.links.syntheticOrigin = modifiersProp;
-              prop.declarations = nameType ? void 0 : modifiersProp.declarations;
+              prop.declarations = !nameType || isFilteringMappedType ? modifiersProp.declarations : void 0;
             }
             members.set(propName, prop);
           }
@@ -72071,7 +72072,7 @@ ${lanes.join("\n")}
       const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
       const isDecorator2 = node.kind === 167 /* Decorator */;
       const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-      const reportErrors2 = !candidatesOutArray;
+      const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
       let typeArguments;
       if (!isDecorator2 && !isSuperCall(node)) {
         typeArguments = node.typeArguments;
@@ -77149,6 +77150,17 @@ ${lanes.join("\n")}
               lastSeenNonAmbientDeclaration = node;
             }
           }
+          if (isInJSFile(current) && isFunctionLike(current) && current.jsDoc) {
+            for (const node2 of current.jsDoc) {
+              if (node2.tags) {
+                for (const tag of node2.tags) {
+                  if (isJSDocOverloadTag(tag)) {
+                    hasOverloads = true;
+                  }
+                }
+              }
+            }
+          }
         }
       }
       if (multipleConstructorImplementation) {
@@ -77186,8 +77198,9 @@ ${lanes.join("\n")}
           const bodySignature = getSignatureFromDeclaration(bodyDeclaration);
           for (const signature of signatures) {
             if (!isImplementationCompatibleWithOverload(bodySignature, signature)) {
+              const errorNode = signature.declaration && isJSDocSignature(signature.declaration) ? signature.declaration.parent.tagName : signature.declaration;
               addRelatedInfo(
-                error(signature.declaration, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
+                error(errorNode, Diagnostics.This_overload_signature_is_not_compatible_with_its_implementation_signature),
                 createDiagnosticForNode(bodyDeclaration, Diagnostics.The_implementation_signature_is_declared_here)
               );
               break;
@@ -83803,7 +83816,6 @@ ${lanes.join("\n")}
         case 299 /* PropertyAssignment */:
         case 300 /* ShorthandPropertyAssignment */:
         case 267 /* NamespaceExportDeclaration */:
-        case 181 /* FunctionType */:
         case 279 /* MissingDeclaration */:
           return find(node.modifiers, isModifier);
         default:
@@ -146175,7 +146187,14 @@ ${lanes.join("\n")}
     changeTracker.replaceNode(file, declaration, property);
   }
   function updatePropertyAssignmentDeclaration(changeTracker, file, declaration, fieldName) {
-    const assignment = factory.updatePropertyAssignment(declaration, fieldName, declaration.initializer);
+    let assignment = factory.updatePropertyAssignment(declaration, fieldName, declaration.initializer);
+    if (assignment.modifiers || assignment.questionToken || assignment.exclamationToken) {
+      if (assignment === declaration)
+        assignment = factory.cloneNode(assignment);
+      assignment.modifiers = void 0;
+      assignment.questionToken = void 0;
+      assignment.exclamationToken = void 0;
+    }
     changeTracker.replacePropertyAssignment(file, declaration, assignment);
   }
   function updateFieldDeclaration(changeTracker, file, declaration, type, fieldName, modifiers) {
@@ -165981,7 +166000,7 @@ ${options.prefix}` : "\n" : options.prefix
         }
         if (isToken(child)) {
           const tokenInfo = formattingScanner.readTokenInfo(child);
-          if (child.kind !== 11 /* JsxText */) {
+          if (child.kind !== 11 /* JsxText */ && !isGrammarError(parent2, child)) {
             Debug.assert(tokenInfo.token.end === child.end, "Token end is child end");
             consumeTokenAndAdvanceScanner(tokenInfo, node, parentDynamicIndentation, child);
             return inheritedIndentation;
@@ -168614,6 +168633,7 @@ ${options.prefix}` : "\n" : options.prefix
     isGetOrSetAccessorDeclaration: () => isGetOrSetAccessorDeclaration,
     isGlobalDeclaration: () => isGlobalDeclaration,
     isGlobalScopeAugmentation: () => isGlobalScopeAugmentation,
+    isGrammarError: () => isGrammarError,
     isHeritageClause: () => isHeritageClause,
     isHoistedFunction: () => isHoistedFunction,
     isHoistedVariableStatement: () => isHoistedVariableStatement,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230216`;
+var version = `${versionMajorMinor}.0-insiders.20230217`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -21124,6 +21124,7 @@ var Parser;
     const hasJSDoc = hasPrecedingJSDocComment();
     const modifiers = parseModifiersForConstructorType();
     const isConstructorType = parseOptional(103 /* NewKeyword */);
+    Debug.assert(!modifiers || isConstructorType, "Per isStartOfFunctionOrConstructorType, a function type cannot have modifiers.");
     const typeParameters = parseTypeParameters();
     const parameters = parseParameters(4 /* Type */);
     const type = parseReturnType(
@@ -21132,8 +21133,6 @@ var Parser;
       false
     );
     const node = isConstructorType ? factory2.createConstructorTypeNode(modifiers, typeParameters, parameters, type) : factory2.createFunctionTypeNode(typeParameters, parameters, type);
-    if (!isConstructorType)
-      node.modifiers = modifiers;
     return withJSDoc(finishNode(node, pos), hasJSDoc);
   }
   function parseKeywordAndNoDot() {
@@ -22430,13 +22429,9 @@ var Parser;
   function parseJsxClosingFragment(inExpressionContext) {
     const pos = getNodePos();
     parseExpected(30 /* LessThanSlashToken */);
-    if (tokenIsIdentifierOrKeyword(token())) {
-      parseErrorAtRange(parseJsxElementName(), Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment);
-    }
     if (parseExpected(
       31 /* GreaterThanToken */,
-      /*diagnostic*/
-      void 0,
+      Diagnostics.Expected_corresponding_closing_tag_for_JSX_fragment,
       /*shouldAdvance*/
       false
     )) {

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.0.0-pr-49627-28",
+  "version": "5.0.0-pr-52818-5",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [