typescript 5.5.0-dev.20240405 → 5.5.0-dev.20240409

package/lib/lib.es2023.intl.d.ts

@@ -45,8 +45,12 @@ declare namespace Intl {
         source: "startRange" | "endRange" | "shared";
     }
 
+    type StringNumericLiteral = `${number}` | "Infinity" | "-Infinity" | "+Infinity";
+
     interface NumberFormat {
-        formatRange(start: number | bigint, end: number | bigint): string;
-        formatRangeToParts(start: number | bigint, end: number | bigint): NumberRangeFormatPart[];
+        format(value: number | bigint | StringNumericLiteral): string;
+        formatToParts(value: number | bigint | StringNumericLiteral): NumberFormatPart[];
+        formatRange(start: number | bigint | StringNumericLiteral, end: number | bigint | StringNumericLiteral): string;
+        formatRangeToParts(start: number | bigint | StringNumericLiteral, end: number | bigint | StringNumericLiteral): NumberRangeFormatPart[];
     }
 }

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-dev.20240405`;
+var version = `${versionMajorMinor}.0-dev.20240409`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -9884,6 +9884,10 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
         return token = 23 /* OpenBracketToken */;
       case 93 /* closeBracket */:
         return token = 24 /* CloseBracketToken */;
+      case 40 /* openParen */:
+        return token = 21 /* OpenParenToken */;
+      case 41 /* closeParen */:
+        return token = 22 /* CloseParenToken */;
       case 60 /* lessThan */:
         return token = 30 /* LessThanToken */;
       case 62 /* greaterThan */:
@@ -12930,6 +12934,9 @@ function isObjectLiteralOrClassExpressionMethodOrAccessor(node) {
 function isIdentifierTypePredicate(predicate) {
   return predicate && predicate.kind === 1 /* Identifier */;
 }
+function isThisTypePredicate(predicate) {
+  return predicate && predicate.kind === 0 /* This */;
+}
 function forEachPropertyAssignment(objectLiteral, key, callback, key2) {
   return forEach(objectLiteral == null ? void 0 : objectLiteral.properties, (property) => {
     if (!isPropertyAssignment(property))
@@ -48115,7 +48122,7 @@ function createTypeChecker(host) {
       typeToTypeNode: (type, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => typeToTypeNodeHelper(type, context)),
       typePredicateToTypePredicateNode: (typePredicate, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => typePredicateToTypePredicateNodeHelper(typePredicate, context)),
       expressionOrTypeToTypeNode: (expr, type, addUndefined, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => expressionOrTypeToTypeNode(context, expr, type, addUndefined)),
-      serializeTypeForDeclaration: (type, symbol, addUndefined, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, addUndefined)),
+      serializeTypeForDeclaration: (declaration, type, symbol, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => serializeTypeForDeclaration(context, declaration, type, symbol)),
       serializeReturnTypeForSignature: (signature, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => serializeReturnTypeForSignature(context, signature)),
       indexInfoToIndexSignatureDeclaration: (indexInfo, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => indexInfoToIndexSignatureDeclarationHelper(
         indexInfo,
@@ -48138,6 +48145,18 @@ function createTypeChecker(host) {
       symbolTableToDeclarationStatements: (symbolTable, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolTableToDeclarationStatements(symbolTable, context)),
       symbolToNode: (symbol, meaning, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolToNode(symbol, context, meaning))
     };
+    function setTextRange2(context, range, location) {
+      if (!nodeIsSynthesized(range) && !(range.flags & 16 /* Synthesized */) && (!context.enclosingFile || context.enclosingFile !== getSourceFileOfNode(range))) {
+        range = factory.cloneNode(range);
+      }
+      if (!location) {
+        return range;
+      }
+      if (!context.enclosingFile || context.enclosingFile !== getSourceFileOfNode(getOriginalNode(location))) {
+        return setOriginalNode(range, location);
+      }
+      return setTextRange(setOriginalNode(range, location), location);
+    }
     function expressionOrTypeToTypeNode(context, expr, type, addUndefined) {
       if (expr) {
         const typeNode = isAssertionExpression(expr) ? expr.type : isJSDocTypeAssertion(expr) ? getJSDocTypeAssertionType(expr) : void 0;
@@ -48202,6 +48221,7 @@ function createTypeChecker(host) {
       const moduleResolverHost = (tracker == null ? void 0 : tracker.trackSymbol) ? tracker.moduleResolverHost : flags & 134217728 /* DoNotIncludeSymbolChain */ ? createBasicNodeBuilderModuleSpecifierResolutionHost(host) : void 0;
       const context = {
         enclosingDeclaration,
+        enclosingFile: enclosingDeclaration && getSourceFileOfNode(enclosingDeclaration),
         flags: flags || 0 /* None */,
         tracker: void 0,
         encounteredError: false,
@@ -48734,7 +48754,7 @@ function createTypeChecker(host) {
           if (!nodeIsSynthesized(node) && getParseTreeNode(node) === node) {
             return node;
           }
-          return setTextRange(factory.cloneNode(visitEachChild(
+          return setTextRange2(context, factory.cloneNode(visitEachChild(
             node,
             deepCloneOrReuseNode,
             /*context*/
@@ -49076,7 +49096,13 @@ function createTypeChecker(host) {
           context.reverseMappedStack || (context.reverseMappedStack = []);
           context.reverseMappedStack.push(propertySymbol);
         }
-        propertyTypeNode = propertyType ? serializeTypeForDeclaration(context, propertyType, propertySymbol, saveEnclosingDeclaration) : factory.createKeywordTypeNode(133 /* AnyKeyword */);
+        propertyTypeNode = propertyType ? serializeTypeForDeclaration(
+          context,
+          /*declaration*/
+          void 0,
+          propertyType,
+          propertySymbol
+        ) : factory.createKeywordTypeNode(133 /* AnyKeyword */);
         if (propertyIsReverseMapped) {
           context.reverseMappedStack.pop();
         }
@@ -49465,8 +49491,7 @@ function createTypeChecker(host) {
     function symbolToParameterDeclaration(parameterSymbol, context, preserveModifierFlags) {
       const parameterDeclaration = getEffectiveParameterDeclaration(parameterSymbol);
       const parameterType = getTypeOfSymbol(parameterSymbol);
-      const addUndefined = parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration);
-      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, addUndefined);
+      const parameterTypeNode = serializeTypeForDeclaration(context, parameterDeclaration, parameterType, parameterSymbol);
       const modifiers = !(context.flags & 8192 /* OmitParameterModifiers */) && preserveModifierFlags && parameterDeclaration && canHaveModifiers(parameterDeclaration) ? map(getModifiers(parameterDeclaration), factory.cloneNode) : void 0;
       const isRest = parameterDeclaration && isRestParameter(parameterDeclaration) || getCheckFlags(parameterSymbol) & 32768 /* RestParameter */;
       const dotDotDotToken = isRest ? factory.createToken(26 /* DotDotDotToken */) : void 0;
@@ -50058,10 +50083,12 @@ function createTypeChecker(host) {
       }
       return enclosingDeclaration;
     }
-    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, addUndefined) {
+    function serializeTypeForDeclaration(context, declaration, type, symbol) {
       var _a;
+      const addUndefined = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
+      const enclosingDeclaration = context.enclosingDeclaration;
       if (!isErrorType(type) && enclosingDeclaration) {
-        const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
+        const declWithExistingAnnotation = declaration && getNonlocalEffectiveTypeAnnotationNode(declaration) ? declaration : getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getNonlocalEffectiveTypeAnnotationNode(declWithExistingAnnotation);
           const result2 = tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined);
@@ -50074,7 +50101,7 @@ function createTypeChecker(host) {
       if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol && (!context.enclosingDeclaration || some(symbol.declarations, (d) => getSourceFileOfNode(d) === getSourceFileOfNode(context.enclosingDeclaration)))) {
         context.flags |= 1048576 /* AllowUniqueESSymbolType */;
       }
-      const decl = symbol.valueDeclaration ?? ((_a = symbol.declarations) == null ? void 0 : _a[0]);
+      const decl = declaration ?? symbol.valueDeclaration ?? ((_a = symbol.declarations) == null ? void 0 : _a[0]);
       const expr = decl && isDeclarationWithPossibleInnerTypeNodeReuse(decl) ? getPossibleTypeNodeReuseExpression(decl) : void 0;
       const result = expressionOrTypeToTypeNode(context, expr, type, addUndefined);
       context.flags = oldFlags;
@@ -50188,7 +50215,7 @@ function createTypeChecker(host) {
           const type = getDeclaredTypeOfSymbol(sym);
           const name = sym.flags & 262144 /* TypeParameter */ ? typeParameterToName(type, context) : factory.cloneNode(node2);
           name.symbol = sym;
-          return setTextRange(setEmitFlags(setOriginalNode(name, node2), 16777216 /* NoAsciiEscaping */), node2);
+          return setTextRange2(context, setEmitFlags(name, 16777216 /* NoAsciiEscaping */), node2);
         }
         const updated = visitEachChild(
           node2,
@@ -50197,7 +50224,7 @@ function createTypeChecker(host) {
           void 0
         );
         if (updated !== node2) {
-          setTextRange(updated, node2);
+          setTextRange2(context, updated, node2);
         }
         return updated;
       }
@@ -50211,12 +50238,12 @@ function createTypeChecker(host) {
       if (hadError) {
         return void 0;
       }
-      return transformed === existing ? setTextRange(factory.cloneNode(existing), existing) : transformed;
+      return transformed;
       function visitExistingNodeTreeSymbols(node) {
         const onExitNewScope = isNewScopeNode(node) ? onEnterNewScope(node) : void 0;
         const result = visitExistingNodeTreeSymbolsWorker(node);
         onExitNewScope == null ? void 0 : onExitNewScope();
-        return result;
+        return result === node ? setTextRange2(context, factory.cloneNode(result), node) : result;
       }
       function onEnterNewScope(node) {
         const oldContex = context;
@@ -50352,7 +50379,7 @@ function createTypeChecker(host) {
             void 0
           );
           if (visited === node) {
-            visited = setTextRange(factory.cloneNode(node), node);
+            visited = setTextRange2(context, factory.cloneNode(node), node);
           }
           visited.type = factory.createKeywordTypeNode(133 /* AnyKeyword */);
           if (isParameter(node)) {
@@ -50375,11 +50402,16 @@ function createTypeChecker(host) {
             /*context*/
             void 0
           );
-          const clone = setTextRange(visited === node ? factory.cloneNode(node) : visited, node);
+          const clone = setTextRange2(context, visited === node ? factory.cloneNode(node) : visited, node);
           const flags = getEmitFlags(clone);
           setEmitFlags(clone, flags | (context.flags & 1024 /* MultilineObjectLiterals */ && isTypeLiteralNode(node) ? 0 : 1 /* SingleLine */));
           return clone;
         }
+        if (isStringLiteral(node) && !!(context.flags & 268435456 /* UseSingleQuotesForStringLiteralType */) && !node.singleQuote) {
+          const clone = factory.cloneNode(node);
+          clone.singleQuote = true;
+          return clone;
+        }
         if (isConditionalTypeNode(node)) {
           const checkType = visitNode(node.checkType, visitExistingNodeTreeSymbols, isTypeNode);
           const disposeScope = onEnterNewScope(node);
@@ -50758,7 +50790,8 @@ function createTypeChecker(host) {
                 );
                 context.tracker.trackSymbol(type.symbol, context.enclosingDeclaration, 111551 /* Value */);
               } else {
-                const statement = setTextRange(
+                const statement = setTextRange2(
+                  context,
                   factory.createVariableStatement(
                     /*modifiers*/
                     void 0,
@@ -50767,7 +50800,13 @@ function createTypeChecker(host) {
                         name,
                         /*exclamationToken*/
                         void 0,
-                        serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration)
+                        serializeTypeForDeclaration(
+                          context,
+                          /*declaration*/
+                          void 0,
+                          type,
+                          symbol
+                        )
                       )
                     ], flags)
                   ),
@@ -51040,7 +51079,7 @@ function createTypeChecker(host) {
         const signatures = getSignaturesOfType(type, 0 /* Call */);
         for (const sig of signatures) {
           const decl = signatureToSignatureDeclarationHelper(sig, 262 /* FunctionDeclaration */, context, { name: factory.createIdentifier(localName) });
-          addResult(setTextRange(decl, getSignatureTextRangeLocation(sig)), modifierFlags);
+          addResult(setTextRange2(context, decl, getSignatureTextRangeLocation(sig)), modifierFlags);
         }
         if (!(symbol.flags & (512 /* ValueModule */ | 1024 /* NamespaceModule */) && !!symbol.exports && !!symbol.exports.size)) {
           const props = filter(getPropertiesOfType(type), isNamespaceMember);
@@ -51218,7 +51257,8 @@ function createTypeChecker(host) {
         const indexSignatures = serializeIndexSignatures(classType, baseTypes[0]);
         context.enclosingDeclaration = oldEnclosing;
         addResult(
-          setTextRange(
+          setTextRange2(
+            context,
             factory.createClassDeclaration(
               /*modifiers*/
               void 0,
@@ -51578,7 +51618,13 @@ function createTypeChecker(host) {
                   varName,
                   /*exclamationToken*/
                   void 0,
-                  serializeTypeForDeclaration(context, typeToSerialize, symbol, enclosingDeclaration)
+                  serializeTypeForDeclaration(
+                    context,
+                    /*declaration*/
+                    void 0,
+                    typeToSerialize,
+                    symbol
+                  )
                 )
               ], flags)
             );
@@ -51650,7 +51696,8 @@ function createTypeChecker(host) {
               });
               Debug.assert(!!setter);
               const paramSymbol = isFunctionLikeDeclaration(setter) ? getSignatureFromDeclaration(setter).parameters[0] : void 0;
-              result.push(setTextRange(
+              result.push(setTextRange2(
+                context,
                 factory.createSetAccessorDeclaration(
                   factory.createModifiersFromModifierFlags(flag),
                   name,
@@ -51662,7 +51709,13 @@ function createTypeChecker(host) {
                     paramSymbol ? parameterToParameterDeclarationName(paramSymbol, getEffectiveParameterDeclaration(paramSymbol), context) : "value",
                     /*questionToken*/
                     void 0,
-                    isPrivate ? void 0 : serializeTypeForDeclaration(context, getTypeOfSymbol(p), p, enclosingDeclaration)
+                    isPrivate ? void 0 : serializeTypeForDeclaration(
+                      context,
+                      /*declaration*/
+                      void 0,
+                      getTypeOfSymbol(p),
+                      p
+                    )
                   )],
                   /*body*/
                   void 0
@@ -51672,12 +51725,19 @@ function createTypeChecker(host) {
             }
             if (p.flags & 32768 /* GetAccessor */) {
               const isPrivate2 = modifierFlags & 2 /* Private */;
-              result.push(setTextRange(
+              result.push(setTextRange2(
+                context,
                 factory.createGetAccessorDeclaration(
                   factory.createModifiersFromModifierFlags(flag),
                   name,
                   [],
-                  isPrivate2 ? void 0 : serializeTypeForDeclaration(context, getTypeOfSymbol(p), p, enclosingDeclaration),
+                  isPrivate2 ? void 0 : serializeTypeForDeclaration(
+                    context,
+                    /*declaration*/
+                    void 0,
+                    getTypeOfSymbol(p),
+                    p
+                  ),
                   /*body*/
                   void 0
                 ),
@@ -51686,12 +51746,19 @@ function createTypeChecker(host) {
             }
             return result;
           } else if (p.flags & (4 /* Property */ | 3 /* Variable */ | 98304 /* Accessor */)) {
-            return setTextRange(
+            return setTextRange2(
+              context,
               createProperty2(
                 factory.createModifiersFromModifierFlags((isReadonlySymbol(p) ? 8 /* Readonly */ : 0) | flag),
                 name,
                 p.flags & 16777216 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0,
-                isPrivate ? void 0 : serializeTypeForDeclaration(context, getWriteTypeOfSymbol(p), p, enclosingDeclaration),
+                isPrivate ? void 0 : serializeTypeForDeclaration(
+                  context,
+                  /*declaration*/
+                  void 0,
+                  getWriteTypeOfSymbol(p),
+                  p
+                ),
                 // TODO: https://github.com/microsoft/TypeScript/pull/32372#discussion_r328386357
                 // interface members can't have initializers, however class members _can_
                 /*initializer*/
@@ -51704,7 +51771,8 @@ function createTypeChecker(host) {
             const type = getTypeOfSymbol(p);
             const signatures = getSignaturesOfType(type, 0 /* Call */);
             if (flag & 2 /* Private */) {
-              return setTextRange(
+              return setTextRange2(
+                context,
                 createProperty2(
                   factory.createModifiersFromModifierFlags((isReadonlySymbol(p) ? 8 /* Readonly */ : 0) | flag),
                   name,
@@ -51730,7 +51798,7 @@ function createTypeChecker(host) {
                 }
               );
               const location = sig.declaration && isPrototypePropertyAssignment(sig.declaration.parent) ? sig.declaration.parent : sig.declaration;
-              results2.push(setTextRange(decl, location));
+              results2.push(setTextRange2(context, decl, location));
             }
             return results2;
           }
@@ -51786,7 +51854,8 @@ function createTypeChecker(host) {
             }
           }
           if (privateProtected) {
-            return [setTextRange(
+            return [setTextRange2(
+              context,
               factory.createConstructorDeclaration(
                 factory.createModifiersFromModifierFlags(privateProtected),
                 /*parameters*/
@@ -51801,7 +51870,7 @@ function createTypeChecker(host) {
         const results2 = [];
         for (const sig of signatures) {
           const decl = signatureToSignatureDeclarationHelper(sig, outputKind, context);
-          results2.push(setTextRange(decl, sig.declaration));
+          results2.push(setTextRange2(context, decl, sig.declaration));
         }
         return results2;
       }
@@ -55484,12 +55553,10 @@ function createTypeChecker(host) {
     const target = type.target ?? type;
     const typeVariable = getHomomorphicTypeVariable(target);
     if (typeVariable && !target.declaration.nameType) {
-      const constraint = getConstraintTypeFromMappedType(type);
-      if (constraint.flags & 4194304 /* Index */) {
-        const baseConstraint = getBaseConstraintOfType(constraint.type);
-        if (baseConstraint && everyType(baseConstraint, (t) => isArrayOrTupleType(t) || isArrayOrTupleOrIntersection(t))) {
-          return instantiateType(target, prependTypeMapping(typeVariable, baseConstraint, type.mapper));
-        }
+      const modifiersType = getModifiersTypeFromMappedType(type);
+      const baseConstraint = isGenericMappedType(modifiersType) ? getApparentTypeOfMappedType(modifiersType) : getBaseConstraintOfType(modifiersType);
+      if (baseConstraint && everyType(baseConstraint, (t) => isArrayOrTupleType(t) || isArrayOrTupleOrIntersection(t))) {
+        return instantiateType(target, prependTypeMapping(typeVariable, baseConstraint, type.mapper));
       }
     }
     return type;
@@ -60919,7 +60986,7 @@ function createTypeChecker(host) {
         const sourceTypePredicate = getTypePredicateOfSignature(source);
         if (sourceTypePredicate) {
           result &= compareTypePredicateRelatedTo(sourceTypePredicate, targetTypePredicate, reportErrors2, errorReporter, compareTypes);
-        } else if (isIdentifierTypePredicate(targetTypePredicate)) {
+        } else if (isIdentifierTypePredicate(targetTypePredicate) || isThisTypePredicate(targetTypePredicate)) {
           if (reportErrors2) {
             errorReporter(Diagnostics.Signature_0_must_be_a_type_predicate, signatureToString(source));
           }
@@ -83303,9 +83370,10 @@ function createTypeChecker(host) {
     return false;
   }
   function declaredParameterTypeContainsUndefined(parameter) {
-    if (!parameter.type)
+    const typeNode = getNonlocalEffectiveTypeAnnotationNode(parameter);
+    if (!typeNode)
       return false;
-    const type = getTypeFromTypeNode(parameter.type);
+    const type = getTypeFromTypeNode(typeNode);
     return containsUndefinedType(type);
   }
   function requiresAddingImplicitUndefined(parameter) {
@@ -83315,7 +83383,7 @@ function createTypeChecker(host) {
     return !!strictNullChecks && !isOptionalParameter(parameter) && !isJSDocParameterTag(parameter) && !!parameter.initializer && !hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
   }
   function isOptionalUninitializedParameterProperty(parameter) {
-    return strictNullChecks && isOptionalParameter(parameter) && !parameter.initializer && hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
+    return strictNullChecks && isOptionalParameter(parameter) && (isJSDocParameterTag(parameter) || !parameter.initializer) && hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
   }
   function isExpandoFunctionDeclaration(node) {
     const declaration = getParseTreeNode(node, isFunctionDeclaration);
@@ -83465,14 +83533,14 @@ function createTypeChecker(host) {
       return 11 /* ObjectType */;
     }
   }
-  function createTypeOfDeclaration(declarationIn, enclosingDeclaration, flags, tracker, addUndefined) {
+  function createTypeOfDeclaration(declarationIn, enclosingDeclaration, flags, tracker) {
     const declaration = getParseTreeNode(declarationIn, isVariableLikeOrAccessor);
     if (!declaration) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const symbol = getSymbolOfDeclaration(declaration);
     const type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
-    return nodeBuilder.serializeTypeForDeclaration(type, symbol, addUndefined, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.serializeTypeForDeclaration(declaration, type, symbol, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
   }
   function isDeclarationWithPossibleInnerTypeNodeReuse(declaration) {
     return isFunctionLike(declaration) || isExportAssignment(declaration) || isVariableLike(declaration);
@@ -109125,7 +109193,7 @@ function transformDeclarations(context) {
       case 172 /* PropertyDeclaration */:
       case 208 /* BindingElement */:
       case 260 /* VariableDeclaration */:
-        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
+        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
         break;
       case 262 /* FunctionDeclaration */:
       case 180 /* ConstructSignature */:

package/lib/typescript.d.ts

@@ -3233,7 +3233,6 @@ declare namespace ts {
             private addFilesToNonInferredProject;
             private updateNonInferredProjectFiles;
             private updateRootAndOptionsOfNonInferredProject;
-            private sendConfigFileDiagEvent;
             private getOrCreateInferredProjectForProjectRootPathIfEnabled;
             private getOrCreateSingleInferredProjectIfEnabled;
             private getOrCreateSingleInferredWithoutProjectRoot;
@@ -4134,7 +4133,7 @@ declare namespace ts {
     type KeywordTypeSyntaxKind = SyntaxKind.AnyKeyword | SyntaxKind.BigIntKeyword | SyntaxKind.BooleanKeyword | SyntaxKind.IntrinsicKeyword | SyntaxKind.NeverKeyword | SyntaxKind.NumberKeyword | SyntaxKind.ObjectKeyword | SyntaxKind.StringKeyword | SyntaxKind.SymbolKeyword | SyntaxKind.UndefinedKeyword | SyntaxKind.UnknownKeyword | SyntaxKind.VoidKeyword;
     type TokenSyntaxKind = SyntaxKind.Unknown | SyntaxKind.EndOfFileToken | TriviaSyntaxKind | LiteralSyntaxKind | PseudoLiteralSyntaxKind | PunctuationSyntaxKind | SyntaxKind.Identifier | KeywordSyntaxKind;
     type JsxTokenSyntaxKind = SyntaxKind.LessThanSlashToken | SyntaxKind.EndOfFileToken | SyntaxKind.ConflictMarkerTrivia | SyntaxKind.JsxText | SyntaxKind.JsxTextAllWhiteSpaces | SyntaxKind.OpenBraceToken | SyntaxKind.LessThanToken;
-    type JSDocSyntaxKind = SyntaxKind.EndOfFileToken | SyntaxKind.WhitespaceTrivia | SyntaxKind.AtToken | SyntaxKind.NewLineTrivia | SyntaxKind.AsteriskToken | SyntaxKind.OpenBraceToken | SyntaxKind.CloseBraceToken | SyntaxKind.LessThanToken | SyntaxKind.GreaterThanToken | SyntaxKind.OpenBracketToken | SyntaxKind.CloseBracketToken | SyntaxKind.EqualsToken | SyntaxKind.CommaToken | SyntaxKind.DotToken | SyntaxKind.Identifier | SyntaxKind.BacktickToken | SyntaxKind.HashToken | SyntaxKind.Unknown | KeywordSyntaxKind;
+    type JSDocSyntaxKind = SyntaxKind.EndOfFileToken | SyntaxKind.WhitespaceTrivia | SyntaxKind.AtToken | SyntaxKind.NewLineTrivia | SyntaxKind.AsteriskToken | SyntaxKind.OpenBraceToken | SyntaxKind.CloseBraceToken | SyntaxKind.LessThanToken | SyntaxKind.GreaterThanToken | SyntaxKind.OpenBracketToken | SyntaxKind.CloseBracketToken | SyntaxKind.OpenParenToken | SyntaxKind.CloseParenToken | SyntaxKind.EqualsToken | SyntaxKind.CommaToken | SyntaxKind.DotToken | SyntaxKind.Identifier | SyntaxKind.BacktickToken | SyntaxKind.HashToken | SyntaxKind.Unknown | KeywordSyntaxKind;
     enum NodeFlags {
         None = 0,
         Let = 1,

package/lib/typescript.js

@@ -2335,7 +2335,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-dev.20240405`;
+var version = `${versionMajorMinor}.0-dev.20240409`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -13469,6 +13469,10 @@ function createScanner(languageVersion, skipTrivia2, languageVariant = 0 /* Stan
         return token = 23 /* OpenBracketToken */;
       case 93 /* closeBracket */:
         return token = 24 /* CloseBracketToken */;
+      case 40 /* openParen */:
+        return token = 21 /* OpenParenToken */;
+      case 41 /* closeParen */:
+        return token = 22 /* CloseParenToken */;
       case 60 /* lessThan */:
         return token = 30 /* LessThanToken */;
       case 62 /* greaterThan */:
@@ -52887,7 +52891,7 @@ function createTypeChecker(host) {
       typeToTypeNode: (type, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => typeToTypeNodeHelper(type, context)),
       typePredicateToTypePredicateNode: (typePredicate, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => typePredicateToTypePredicateNodeHelper(typePredicate, context)),
       expressionOrTypeToTypeNode: (expr, type, addUndefined, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => expressionOrTypeToTypeNode(context, expr, type, addUndefined)),
-      serializeTypeForDeclaration: (type, symbol, addUndefined, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, addUndefined)),
+      serializeTypeForDeclaration: (declaration, type, symbol, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => serializeTypeForDeclaration(context, declaration, type, symbol)),
       serializeReturnTypeForSignature: (signature, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => serializeReturnTypeForSignature(context, signature)),
       indexInfoToIndexSignatureDeclaration: (indexInfo, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => indexInfoToIndexSignatureDeclarationHelper(
         indexInfo,
@@ -52910,6 +52914,18 @@ function createTypeChecker(host) {
       symbolTableToDeclarationStatements: (symbolTable, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolTableToDeclarationStatements(symbolTable, context)),
       symbolToNode: (symbol, meaning, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolToNode(symbol, context, meaning))
     };
+    function setTextRange2(context, range, location) {
+      if (!nodeIsSynthesized(range) && !(range.flags & 16 /* Synthesized */) && (!context.enclosingFile || context.enclosingFile !== getSourceFileOfNode(range))) {
+        range = factory.cloneNode(range);
+      }
+      if (!location) {
+        return range;
+      }
+      if (!context.enclosingFile || context.enclosingFile !== getSourceFileOfNode(getOriginalNode(location))) {
+        return setOriginalNode(range, location);
+      }
+      return setTextRange(setOriginalNode(range, location), location);
+    }
     function expressionOrTypeToTypeNode(context, expr, type, addUndefined) {
       if (expr) {
         const typeNode = isAssertionExpression(expr) ? expr.type : isJSDocTypeAssertion(expr) ? getJSDocTypeAssertionType(expr) : void 0;
@@ -52974,6 +52990,7 @@ function createTypeChecker(host) {
       const moduleResolverHost = (tracker == null ? void 0 : tracker.trackSymbol) ? tracker.moduleResolverHost : flags & 134217728 /* DoNotIncludeSymbolChain */ ? createBasicNodeBuilderModuleSpecifierResolutionHost(host) : void 0;
       const context = {
         enclosingDeclaration,
+        enclosingFile: enclosingDeclaration && getSourceFileOfNode(enclosingDeclaration),
         flags: flags || 0 /* None */,
         tracker: void 0,
         encounteredError: false,
@@ -53506,7 +53523,7 @@ function createTypeChecker(host) {
           if (!nodeIsSynthesized(node) && getParseTreeNode(node) === node) {
             return node;
           }
-          return setTextRange(factory.cloneNode(visitEachChild(
+          return setTextRange2(context, factory.cloneNode(visitEachChild(
             node,
             deepCloneOrReuseNode,
             /*context*/
@@ -53848,7 +53865,13 @@ function createTypeChecker(host) {
           context.reverseMappedStack || (context.reverseMappedStack = []);
           context.reverseMappedStack.push(propertySymbol);
         }
-        propertyTypeNode = propertyType ? serializeTypeForDeclaration(context, propertyType, propertySymbol, saveEnclosingDeclaration) : factory.createKeywordTypeNode(133 /* AnyKeyword */);
+        propertyTypeNode = propertyType ? serializeTypeForDeclaration(
+          context,
+          /*declaration*/
+          void 0,
+          propertyType,
+          propertySymbol
+        ) : factory.createKeywordTypeNode(133 /* AnyKeyword */);
         if (propertyIsReverseMapped) {
           context.reverseMappedStack.pop();
         }
@@ -54237,8 +54260,7 @@ function createTypeChecker(host) {
     function symbolToParameterDeclaration(parameterSymbol, context, preserveModifierFlags) {
       const parameterDeclaration = getEffectiveParameterDeclaration(parameterSymbol);
       const parameterType = getTypeOfSymbol(parameterSymbol);
-      const addUndefined = parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration);
-      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, addUndefined);
+      const parameterTypeNode = serializeTypeForDeclaration(context, parameterDeclaration, parameterType, parameterSymbol);
       const modifiers = !(context.flags & 8192 /* OmitParameterModifiers */) && preserveModifierFlags && parameterDeclaration && canHaveModifiers(parameterDeclaration) ? map(getModifiers(parameterDeclaration), factory.cloneNode) : void 0;
       const isRest = parameterDeclaration && isRestParameter(parameterDeclaration) || getCheckFlags(parameterSymbol) & 32768 /* RestParameter */;
       const dotDotDotToken = isRest ? factory.createToken(26 /* DotDotDotToken */) : void 0;
@@ -54830,10 +54852,12 @@ function createTypeChecker(host) {
       }
       return enclosingDeclaration;
     }
-    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, addUndefined) {
+    function serializeTypeForDeclaration(context, declaration, type, symbol) {
       var _a;
+      const addUndefined = declaration && (isParameter(declaration) || isJSDocParameterTag(declaration)) && requiresAddingImplicitUndefined(declaration);
+      const enclosingDeclaration = context.enclosingDeclaration;
       if (!isErrorType(type) && enclosingDeclaration) {
-        const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
+        const declWithExistingAnnotation = declaration && getNonlocalEffectiveTypeAnnotationNode(declaration) ? declaration : getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getNonlocalEffectiveTypeAnnotationNode(declWithExistingAnnotation);
           const result2 = tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined);
@@ -54846,7 +54870,7 @@ function createTypeChecker(host) {
       if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol && (!context.enclosingDeclaration || some(symbol.declarations, (d) => getSourceFileOfNode(d) === getSourceFileOfNode(context.enclosingDeclaration)))) {
         context.flags |= 1048576 /* AllowUniqueESSymbolType */;
       }
-      const decl = symbol.valueDeclaration ?? ((_a = symbol.declarations) == null ? void 0 : _a[0]);
+      const decl = declaration ?? symbol.valueDeclaration ?? ((_a = symbol.declarations) == null ? void 0 : _a[0]);
       const expr = decl && isDeclarationWithPossibleInnerTypeNodeReuse(decl) ? getPossibleTypeNodeReuseExpression(decl) : void 0;
       const result = expressionOrTypeToTypeNode(context, expr, type, addUndefined);
       context.flags = oldFlags;
@@ -54960,7 +54984,7 @@ function createTypeChecker(host) {
           const type = getDeclaredTypeOfSymbol(sym);
           const name = sym.flags & 262144 /* TypeParameter */ ? typeParameterToName(type, context) : factory.cloneNode(node2);
           name.symbol = sym;
-          return setTextRange(setEmitFlags(setOriginalNode(name, node2), 16777216 /* NoAsciiEscaping */), node2);
+          return setTextRange2(context, setEmitFlags(name, 16777216 /* NoAsciiEscaping */), node2);
         }
         const updated = visitEachChild(
           node2,
@@ -54969,7 +54993,7 @@ function createTypeChecker(host) {
           void 0
         );
         if (updated !== node2) {
-          setTextRange(updated, node2);
+          setTextRange2(context, updated, node2);
         }
         return updated;
       }
@@ -54983,12 +55007,12 @@ function createTypeChecker(host) {
       if (hadError) {
         return void 0;
       }
-      return transformed === existing ? setTextRange(factory.cloneNode(existing), existing) : transformed;
+      return transformed;
       function visitExistingNodeTreeSymbols(node) {
         const onExitNewScope = isNewScopeNode(node) ? onEnterNewScope(node) : void 0;
         const result = visitExistingNodeTreeSymbolsWorker(node);
         onExitNewScope == null ? void 0 : onExitNewScope();
-        return result;
+        return result === node ? setTextRange2(context, factory.cloneNode(result), node) : result;
       }
       function onEnterNewScope(node) {
         const oldContex = context;
@@ -55124,7 +55148,7 @@ function createTypeChecker(host) {
             void 0
           );
           if (visited === node) {
-            visited = setTextRange(factory.cloneNode(node), node);
+            visited = setTextRange2(context, factory.cloneNode(node), node);
           }
           visited.type = factory.createKeywordTypeNode(133 /* AnyKeyword */);
           if (isParameter(node)) {
@@ -55147,11 +55171,16 @@ function createTypeChecker(host) {
             /*context*/
             void 0
           );
-          const clone2 = setTextRange(visited === node ? factory.cloneNode(node) : visited, node);
+          const clone2 = setTextRange2(context, visited === node ? factory.cloneNode(node) : visited, node);
           const flags = getEmitFlags(clone2);
           setEmitFlags(clone2, flags | (context.flags & 1024 /* MultilineObjectLiterals */ && isTypeLiteralNode(node) ? 0 : 1 /* SingleLine */));
           return clone2;
         }
+        if (isStringLiteral(node) && !!(context.flags & 268435456 /* UseSingleQuotesForStringLiteralType */) && !node.singleQuote) {
+          const clone2 = factory.cloneNode(node);
+          clone2.singleQuote = true;
+          return clone2;
+        }
         if (isConditionalTypeNode(node)) {
           const checkType = visitNode(node.checkType, visitExistingNodeTreeSymbols, isTypeNode);
           const disposeScope = onEnterNewScope(node);
@@ -55530,7 +55559,8 @@ function createTypeChecker(host) {
                 );
                 context.tracker.trackSymbol(type.symbol, context.enclosingDeclaration, 111551 /* Value */);
               } else {
-                const statement = setTextRange(
+                const statement = setTextRange2(
+                  context,
                   factory.createVariableStatement(
                     /*modifiers*/
                     void 0,
@@ -55539,7 +55569,13 @@ function createTypeChecker(host) {
                         name,
                         /*exclamationToken*/
                         void 0,
-                        serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration)
+                        serializeTypeForDeclaration(
+                          context,
+                          /*declaration*/
+                          void 0,
+                          type,
+                          symbol
+                        )
                       )
                     ], flags)
                   ),
@@ -55812,7 +55848,7 @@ function createTypeChecker(host) {
         const signatures = getSignaturesOfType(type, 0 /* Call */);
         for (const sig of signatures) {
           const decl = signatureToSignatureDeclarationHelper(sig, 262 /* FunctionDeclaration */, context, { name: factory.createIdentifier(localName) });
-          addResult(setTextRange(decl, getSignatureTextRangeLocation(sig)), modifierFlags);
+          addResult(setTextRange2(context, decl, getSignatureTextRangeLocation(sig)), modifierFlags);
         }
         if (!(symbol.flags & (512 /* ValueModule */ | 1024 /* NamespaceModule */) && !!symbol.exports && !!symbol.exports.size)) {
           const props = filter(getPropertiesOfType(type), isNamespaceMember);
@@ -55990,7 +56026,8 @@ function createTypeChecker(host) {
         const indexSignatures = serializeIndexSignatures(classType, baseTypes[0]);
         context.enclosingDeclaration = oldEnclosing;
         addResult(
-          setTextRange(
+          setTextRange2(
+            context,
             factory.createClassDeclaration(
               /*modifiers*/
               void 0,
@@ -56350,7 +56387,13 @@ function createTypeChecker(host) {
                   varName,
                   /*exclamationToken*/
                   void 0,
-                  serializeTypeForDeclaration(context, typeToSerialize, symbol, enclosingDeclaration)
+                  serializeTypeForDeclaration(
+                    context,
+                    /*declaration*/
+                    void 0,
+                    typeToSerialize,
+                    symbol
+                  )
                 )
               ], flags)
             );
@@ -56422,7 +56465,8 @@ function createTypeChecker(host) {
               });
               Debug.assert(!!setter);
               const paramSymbol = isFunctionLikeDeclaration(setter) ? getSignatureFromDeclaration(setter).parameters[0] : void 0;
-              result.push(setTextRange(
+              result.push(setTextRange2(
+                context,
                 factory.createSetAccessorDeclaration(
                   factory.createModifiersFromModifierFlags(flag),
                   name,
@@ -56434,7 +56478,13 @@ function createTypeChecker(host) {
                     paramSymbol ? parameterToParameterDeclarationName(paramSymbol, getEffectiveParameterDeclaration(paramSymbol), context) : "value",
                     /*questionToken*/
                     void 0,
-                    isPrivate ? void 0 : serializeTypeForDeclaration(context, getTypeOfSymbol(p), p, enclosingDeclaration)
+                    isPrivate ? void 0 : serializeTypeForDeclaration(
+                      context,
+                      /*declaration*/
+                      void 0,
+                      getTypeOfSymbol(p),
+                      p
+                    )
                   )],
                   /*body*/
                   void 0
@@ -56444,12 +56494,19 @@ function createTypeChecker(host) {
             }
             if (p.flags & 32768 /* GetAccessor */) {
               const isPrivate2 = modifierFlags & 2 /* Private */;
-              result.push(setTextRange(
+              result.push(setTextRange2(
+                context,
                 factory.createGetAccessorDeclaration(
                   factory.createModifiersFromModifierFlags(flag),
                   name,
                   [],
-                  isPrivate2 ? void 0 : serializeTypeForDeclaration(context, getTypeOfSymbol(p), p, enclosingDeclaration),
+                  isPrivate2 ? void 0 : serializeTypeForDeclaration(
+                    context,
+                    /*declaration*/
+                    void 0,
+                    getTypeOfSymbol(p),
+                    p
+                  ),
                   /*body*/
                   void 0
                 ),
@@ -56458,12 +56515,19 @@ function createTypeChecker(host) {
             }
             return result;
           } else if (p.flags & (4 /* Property */ | 3 /* Variable */ | 98304 /* Accessor */)) {
-            return setTextRange(
+            return setTextRange2(
+              context,
               createProperty2(
                 factory.createModifiersFromModifierFlags((isReadonlySymbol(p) ? 8 /* Readonly */ : 0) | flag),
                 name,
                 p.flags & 16777216 /* Optional */ ? factory.createToken(58 /* QuestionToken */) : void 0,
-                isPrivate ? void 0 : serializeTypeForDeclaration(context, getWriteTypeOfSymbol(p), p, enclosingDeclaration),
+                isPrivate ? void 0 : serializeTypeForDeclaration(
+                  context,
+                  /*declaration*/
+                  void 0,
+                  getWriteTypeOfSymbol(p),
+                  p
+                ),
                 // TODO: https://github.com/microsoft/TypeScript/pull/32372#discussion_r328386357
                 // interface members can't have initializers, however class members _can_
                 /*initializer*/
@@ -56476,7 +56540,8 @@ function createTypeChecker(host) {
             const type = getTypeOfSymbol(p);
             const signatures = getSignaturesOfType(type, 0 /* Call */);
             if (flag & 2 /* Private */) {
-              return setTextRange(
+              return setTextRange2(
+                context,
                 createProperty2(
                   factory.createModifiersFromModifierFlags((isReadonlySymbol(p) ? 8 /* Readonly */ : 0) | flag),
                   name,
@@ -56502,7 +56567,7 @@ function createTypeChecker(host) {
                 }
               );
               const location = sig.declaration && isPrototypePropertyAssignment(sig.declaration.parent) ? sig.declaration.parent : sig.declaration;
-              results2.push(setTextRange(decl, location));
+              results2.push(setTextRange2(context, decl, location));
             }
             return results2;
           }
@@ -56558,7 +56623,8 @@ function createTypeChecker(host) {
             }
           }
           if (privateProtected) {
-            return [setTextRange(
+            return [setTextRange2(
+              context,
               factory.createConstructorDeclaration(
                 factory.createModifiersFromModifierFlags(privateProtected),
                 /*parameters*/
@@ -56573,7 +56639,7 @@ function createTypeChecker(host) {
         const results2 = [];
         for (const sig of signatures) {
           const decl = signatureToSignatureDeclarationHelper(sig, outputKind, context);
-          results2.push(setTextRange(decl, sig.declaration));
+          results2.push(setTextRange2(context, decl, sig.declaration));
         }
         return results2;
       }
@@ -60256,12 +60322,10 @@ function createTypeChecker(host) {
     const target = type.target ?? type;
     const typeVariable = getHomomorphicTypeVariable(target);
     if (typeVariable && !target.declaration.nameType) {
-      const constraint = getConstraintTypeFromMappedType(type);
-      if (constraint.flags & 4194304 /* Index */) {
-        const baseConstraint = getBaseConstraintOfType(constraint.type);
-        if (baseConstraint && everyType(baseConstraint, (t) => isArrayOrTupleType(t) || isArrayOrTupleOrIntersection(t))) {
-          return instantiateType(target, prependTypeMapping(typeVariable, baseConstraint, type.mapper));
-        }
+      const modifiersType = getModifiersTypeFromMappedType(type);
+      const baseConstraint = isGenericMappedType(modifiersType) ? getApparentTypeOfMappedType(modifiersType) : getBaseConstraintOfType(modifiersType);
+      if (baseConstraint && everyType(baseConstraint, (t) => isArrayOrTupleType(t) || isArrayOrTupleOrIntersection(t))) {
+        return instantiateType(target, prependTypeMapping(typeVariable, baseConstraint, type.mapper));
       }
     }
     return type;
@@ -65691,7 +65755,7 @@ function createTypeChecker(host) {
         const sourceTypePredicate = getTypePredicateOfSignature(source);
         if (sourceTypePredicate) {
           result &= compareTypePredicateRelatedTo(sourceTypePredicate, targetTypePredicate, reportErrors2, errorReporter, compareTypes);
-        } else if (isIdentifierTypePredicate(targetTypePredicate)) {
+        } else if (isIdentifierTypePredicate(targetTypePredicate) || isThisTypePredicate(targetTypePredicate)) {
           if (reportErrors2) {
             errorReporter(Diagnostics.Signature_0_must_be_a_type_predicate, signatureToString(source));
           }
@@ -88075,9 +88139,10 @@ function createTypeChecker(host) {
     return false;
   }
   function declaredParameterTypeContainsUndefined(parameter) {
-    if (!parameter.type)
+    const typeNode = getNonlocalEffectiveTypeAnnotationNode(parameter);
+    if (!typeNode)
       return false;
-    const type = getTypeFromTypeNode(parameter.type);
+    const type = getTypeFromTypeNode(typeNode);
     return containsUndefinedType(type);
   }
   function requiresAddingImplicitUndefined(parameter) {
@@ -88087,7 +88152,7 @@ function createTypeChecker(host) {
     return !!strictNullChecks && !isOptionalParameter(parameter) && !isJSDocParameterTag(parameter) && !!parameter.initializer && !hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
   }
   function isOptionalUninitializedParameterProperty(parameter) {
-    return strictNullChecks && isOptionalParameter(parameter) && !parameter.initializer && hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
+    return strictNullChecks && isOptionalParameter(parameter) && (isJSDocParameterTag(parameter) || !parameter.initializer) && hasSyntacticModifier(parameter, 31 /* ParameterPropertyModifier */);
   }
   function isExpandoFunctionDeclaration(node) {
     const declaration = getParseTreeNode(node, isFunctionDeclaration);
@@ -88237,14 +88302,14 @@ function createTypeChecker(host) {
       return 11 /* ObjectType */;
     }
   }
-  function createTypeOfDeclaration(declarationIn, enclosingDeclaration, flags, tracker, addUndefined) {
+  function createTypeOfDeclaration(declarationIn, enclosingDeclaration, flags, tracker) {
     const declaration = getParseTreeNode(declarationIn, isVariableLikeOrAccessor);
     if (!declaration) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const symbol = getSymbolOfDeclaration(declaration);
     const type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
-    return nodeBuilder.serializeTypeForDeclaration(type, symbol, addUndefined, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.serializeTypeForDeclaration(declaration, type, symbol, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
   }
   function isDeclarationWithPossibleInnerTypeNodeReuse(declaration) {
     return isFunctionLike(declaration) || isExportAssignment(declaration) || isVariableLike(declaration);
@@ -114084,7 +114149,7 @@ function transformDeclarations(context) {
       case 172 /* PropertyDeclaration */:
       case 208 /* BindingElement */:
       case 260 /* VariableDeclaration */:
-        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker, shouldAddImplicitUndefined);
+        typeNode = resolver.createTypeOfDeclaration(node, enclosingDeclaration, declarationEmitNodeBuilderFlags, symbolTracker);
         break;
       case 262 /* FunctionDeclaration */:
       case 180 /* ConstructSignature */:
@@ -181114,6 +181179,13 @@ var ConfiguredProject2 = class extends Project3 {
     this.compilerHost = void 0;
     this.projectService.sendProjectLoadingFinishEvent(this);
     this.projectService.sendProjectTelemetry(this);
+    if (!this.skipConfigDiagEvent && !result) {
+      this.projectService.sendConfigFileDiagEvent(
+        this,
+        /*triggerFile*/
+        void 0
+      );
+    }
     return result;
   }
   /** @internal */
@@ -181568,7 +181640,12 @@ function projectContainsInfoDirectly(project, info) {
 }
 function updateProjectIfDirty(project) {
   project.invalidateResolutionsOfFailedLookupLocations();
-  return project.dirty && project.updateGraph();
+  return project.dirty && !project.updateGraph();
+}
+function updateConfiguredProjectWithoutConfigDiagIfDirty(project) {
+  project.skipConfigDiagEvent = true;
+  updateProjectIfDirty(project);
+  project.skipConfigDiagEvent = void 0;
 }
 function setProjectOptionsUsed(project) {
   if (isConfiguredProject(project)) {
@@ -182860,6 +182937,7 @@ var _ProjectService = class _ProjectService {
   /** @internal */
   createLoadAndUpdateConfiguredProject(configFileName, reason) {
     const project = this.createAndLoadConfiguredProject(configFileName, reason);
+    project.skipConfigDiagEvent = true;
     project.updateGraph();
     return project;
   }
@@ -183152,6 +183230,7 @@ var _ProjectService = class _ProjectService {
     const configFileName = project.getConfigFilePath();
     this.logger.info(`${isInitialLoad ? "Loading" : "Reloading"} configured project ${configFileName}`);
     this.loadConfiguredProject(project, reason);
+    project.skipConfigDiagEvent = true;
     project.updateGraph();
     this.sendConfigFileDiagEvent(project, configFileName);
   }
@@ -183165,16 +183244,20 @@ var _ProjectService = class _ProjectService {
     project.cleanupProgram();
     project.markAsDirty();
   }
+  /** @internal */
   sendConfigFileDiagEvent(project, triggerFile) {
     if (!this.eventHandler || this.suppressDiagnosticEvents) {
       return;
     }
     const diagnostics = project.getLanguageService().getCompilerOptionsDiagnostics();
     diagnostics.push(...project.getAllProjectErrors());
+    if (!triggerFile && !!diagnostics.length === !!project.hasConfigFileDiagnostics)
+      return;
+    project.hasConfigFileDiagnostics = !!diagnostics.length;
     this.eventHandler(
       {
         eventName: ConfigFileDiagEvent,
-        data: { configFileName: project.getConfigFilePath(), diagnostics, triggerFile }
+        data: { configFileName: project.getConfigFilePath(), diagnostics, triggerFile: triggerFile ?? project.getConfigFilePath() }
       }
     );
   }
@@ -183964,7 +184047,7 @@ Dynamic files must always be opened with service's current directory or service
           project = this.createLoadAndUpdateConfiguredProject(configFileName, `Creating possible configured project for ${info.fileName} to open`);
           defaultConfigProjectIsCreated = true;
         } else {
-          updateProjectIfDirty(project);
+          updateConfiguredProjectWithoutConfigDiagIfDirty(project);
         }
         projectForConfigFileDiag = project.containsScriptInfo(info) ? project : void 0;
         retainProjects = project;
@@ -183973,7 +184056,7 @@ Dynamic files must always be opened with service's current directory or service
             project,
             info.path,
             (child) => {
-              updateProjectIfDirty(child);
+              updateConfiguredProjectWithoutConfigDiagIfDirty(child);
               if (!isArray(retainProjects)) {
                 retainProjects = [project, child];
               } else {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.5.0-dev.20240405",
+    "version": "5.5.0-dev.20240409",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -111,5 +111,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "4bfb4e6450f46dd2efe6ab9224ae21fe6461129b"
+    "gitHead": "7a4cbfa7ea8c6b7a09a84d04bd7e45c815e8e0d1"
 }