@typescript-deploys/pr-build 5.5.0-pr-57649-11 → 5.5.0-pr-58083-15

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-insiders.20240408`;
+var version = `${versionMajorMinor}.0-insiders.20240409`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -12934,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))
@@ -45208,7 +45211,6 @@ function createTypeChecker(host) {
     let result;
     let lastLocation;
     let lastSelfReferenceLocation;
-    let seenAsUsedOutsideOfSelf = false;
     let propertyWithInvalidInitializer;
     let associatedDeclarationForContainingInitializerOrBindingName;
     let withinDeferredContext = false;
@@ -45420,9 +45422,6 @@ function createTypeChecker(host) {
               location = location.parent.parent.parent;
             }
             break;
-          case 175 /* ClassStaticBlockDeclaration */:
-            seenAsUsedOutsideOfSelf = true;
-            break;
         }
         if (isSelfReferenceLocation(location)) {
           lastSelfReferenceLocation = location;
@@ -45430,7 +45429,7 @@ function createTypeChecker(host) {
         lastLocation = location;
         location = isJSDocTemplateTag(location) ? getEffectiveContainerForJSDocTemplateTag(location) || location.parent : isJSDocParameterTag(location) || isJSDocReturnTag(location) ? getHostSignatureFromJSDoc(location) || location.parent : location.parent;
       }
-    if (isUse && result && (seenAsUsedOutsideOfSelf || !lastSelfReferenceLocation || result !== lastSelfReferenceLocation.symbol)) {
+    if (isUse && result && (!lastSelfReferenceLocation || result !== lastSelfReferenceLocation.symbol)) {
       result.isReferenced |= meaning;
     }
     if (!result) {
@@ -48123,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,
@@ -48146,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;
@@ -48210,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,
@@ -48742,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*/
@@ -49084,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();
         }
@@ -49473,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;
@@ -50066,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);
@@ -50082,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;
@@ -50196,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,
@@ -50205,7 +50224,7 @@ function createTypeChecker(host) {
           void 0
         );
         if (updated !== node2) {
-          setTextRange(updated, node2);
+          setTextRange2(context, updated, node2);
         }
         return updated;
       }
@@ -50219,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;
@@ -50360,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)) {
@@ -50383,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);
@@ -50766,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,
@@ -50775,7 +50800,13 @@ function createTypeChecker(host) {
                         name,
                         /*exclamationToken*/
                         void 0,
-                        serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration)
+                        serializeTypeForDeclaration(
+                          context,
+                          /*declaration*/
+                          void 0,
+                          type,
+                          symbol
+                        )
                       )
                     ], flags)
                   ),
@@ -51048,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);
@@ -51226,7 +51257,8 @@ function createTypeChecker(host) {
         const indexSignatures = serializeIndexSignatures(classType, baseTypes[0]);
         context.enclosingDeclaration = oldEnclosing;
         addResult(
-          setTextRange(
+          setTextRange2(
+            context,
             factory.createClassDeclaration(
               /*modifiers*/
               void 0,
@@ -51586,7 +51618,13 @@ function createTypeChecker(host) {
                   varName,
                   /*exclamationToken*/
                   void 0,
-                  serializeTypeForDeclaration(context, typeToSerialize, symbol, enclosingDeclaration)
+                  serializeTypeForDeclaration(
+                    context,
+                    /*declaration*/
+                    void 0,
+                    typeToSerialize,
+                    symbol
+                  )
                 )
               ], flags)
             );
@@ -51658,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,
@@ -51670,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
@@ -51680,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
                 ),
@@ -51694,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*/
@@ -51712,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,
@@ -51738,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;
           }
@@ -51794,7 +51854,8 @@ function createTypeChecker(host) {
             }
           }
           if (privateProtected) {
-            return [setTextRange(
+            return [setTextRange2(
+              context,
               factory.createConstructorDeclaration(
                 factory.createModifiersFromModifierFlags(privateProtected),
                 /*parameters*/
@@ -51809,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;
       }
@@ -55492,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;
@@ -55658,13 +55717,13 @@ function createTypeChecker(host) {
   }
   function getUnionOrIntersectionProperty(type, name, skipObjectFunctionPropertyAugment) {
     var _a, _b, _c;
-    let property = ((_a = type.propertyCacheWithoutObjectFunctionPropertyAugment) == null ? void 0 : _a.get(name)) || !skipObjectFunctionPropertyAugment ? (_b = type.propertyCache) == null ? void 0 : _b.get(name) : void 0;
+    let property = skipObjectFunctionPropertyAugment ? (_a = type.propertyCacheWithoutObjectFunctionPropertyAugment) == null ? void 0 : _a.get(name) : (_b = type.propertyCache) == null ? void 0 : _b.get(name);
     if (!property) {
       property = createUnionOrIntersectionProperty(type, name, skipObjectFunctionPropertyAugment);
       if (property) {
         const properties = skipObjectFunctionPropertyAugment ? type.propertyCacheWithoutObjectFunctionPropertyAugment || (type.propertyCacheWithoutObjectFunctionPropertyAugment = createSymbolTable()) : type.propertyCache || (type.propertyCache = createSymbolTable());
         properties.set(name, property);
-        if (skipObjectFunctionPropertyAugment && !((_c = type.propertyCache) == null ? void 0 : _c.get(name))) {
+        if (skipObjectFunctionPropertyAugment && !(getCheckFlags(property) & 48 /* Partial */) && !((_c = type.propertyCache) == null ? void 0 : _c.get(name))) {
           const properties2 = type.propertyCache || (type.propertyCache = createSymbolTable());
           properties2.set(name, property);
         }
@@ -60927,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));
           }
@@ -83311,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) {
@@ -83323,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);
@@ -83473,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);
@@ -109133,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;

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-insiders.20240408`;
+var version = `${versionMajorMinor}.0-insiders.20240409`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -49980,7 +49980,6 @@ function createTypeChecker(host) {
     let result;
     let lastLocation;
     let lastSelfReferenceLocation;
-    let seenAsUsedOutsideOfSelf = false;
     let propertyWithInvalidInitializer;
     let associatedDeclarationForContainingInitializerOrBindingName;
     let withinDeferredContext = false;
@@ -50192,9 +50191,6 @@ function createTypeChecker(host) {
               location = location.parent.parent.parent;
             }
             break;
-          case 175 /* ClassStaticBlockDeclaration */:
-            seenAsUsedOutsideOfSelf = true;
-            break;
         }
         if (isSelfReferenceLocation(location)) {
           lastSelfReferenceLocation = location;
@@ -50202,7 +50198,7 @@ function createTypeChecker(host) {
         lastLocation = location;
         location = isJSDocTemplateTag(location) ? getEffectiveContainerForJSDocTemplateTag(location) || location.parent : isJSDocParameterTag(location) || isJSDocReturnTag(location) ? getHostSignatureFromJSDoc(location) || location.parent : location.parent;
       }
-    if (isUse && result && (seenAsUsedOutsideOfSelf || !lastSelfReferenceLocation || result !== lastSelfReferenceLocation.symbol)) {
+    if (isUse && result && (!lastSelfReferenceLocation || result !== lastSelfReferenceLocation.symbol)) {
       result.isReferenced |= meaning;
     }
     if (!result) {
@@ -52895,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,
@@ -52918,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;
@@ -52982,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,
@@ -53514,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*/
@@ -53856,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();
         }
@@ -54245,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;
@@ -54838,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);
@@ -54854,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;
@@ -54968,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,
@@ -54977,7 +54993,7 @@ function createTypeChecker(host) {
           void 0
         );
         if (updated !== node2) {
-          setTextRange(updated, node2);
+          setTextRange2(context, updated, node2);
         }
         return updated;
       }
@@ -54991,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;
@@ -55132,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)) {
@@ -55155,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);
@@ -55538,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,
@@ -55547,7 +55569,13 @@ function createTypeChecker(host) {
                         name,
                         /*exclamationToken*/
                         void 0,
-                        serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration)
+                        serializeTypeForDeclaration(
+                          context,
+                          /*declaration*/
+                          void 0,
+                          type,
+                          symbol
+                        )
                       )
                     ], flags)
                   ),
@@ -55820,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);
@@ -55998,7 +56026,8 @@ function createTypeChecker(host) {
         const indexSignatures = serializeIndexSignatures(classType, baseTypes[0]);
         context.enclosingDeclaration = oldEnclosing;
         addResult(
-          setTextRange(
+          setTextRange2(
+            context,
             factory.createClassDeclaration(
               /*modifiers*/
               void 0,
@@ -56358,7 +56387,13 @@ function createTypeChecker(host) {
                   varName,
                   /*exclamationToken*/
                   void 0,
-                  serializeTypeForDeclaration(context, typeToSerialize, symbol, enclosingDeclaration)
+                  serializeTypeForDeclaration(
+                    context,
+                    /*declaration*/
+                    void 0,
+                    typeToSerialize,
+                    symbol
+                  )
                 )
               ], flags)
             );
@@ -56430,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,
@@ -56442,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
@@ -56452,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
                 ),
@@ -56466,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*/
@@ -56484,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,
@@ -56510,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;
           }
@@ -56566,7 +56623,8 @@ function createTypeChecker(host) {
             }
           }
           if (privateProtected) {
-            return [setTextRange(
+            return [setTextRange2(
+              context,
               factory.createConstructorDeclaration(
                 factory.createModifiersFromModifierFlags(privateProtected),
                 /*parameters*/
@@ -56581,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;
       }
@@ -60264,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;
@@ -60430,13 +60486,13 @@ function createTypeChecker(host) {
   }
   function getUnionOrIntersectionProperty(type, name, skipObjectFunctionPropertyAugment) {
     var _a, _b, _c;
-    let property = ((_a = type.propertyCacheWithoutObjectFunctionPropertyAugment) == null ? void 0 : _a.get(name)) || !skipObjectFunctionPropertyAugment ? (_b = type.propertyCache) == null ? void 0 : _b.get(name) : void 0;
+    let property = skipObjectFunctionPropertyAugment ? (_a = type.propertyCacheWithoutObjectFunctionPropertyAugment) == null ? void 0 : _a.get(name) : (_b = type.propertyCache) == null ? void 0 : _b.get(name);
     if (!property) {
       property = createUnionOrIntersectionProperty(type, name, skipObjectFunctionPropertyAugment);
       if (property) {
         const properties = skipObjectFunctionPropertyAugment ? type.propertyCacheWithoutObjectFunctionPropertyAugment || (type.propertyCacheWithoutObjectFunctionPropertyAugment = createSymbolTable()) : type.propertyCache || (type.propertyCache = createSymbolTable());
         properties.set(name, property);
-        if (skipObjectFunctionPropertyAugment && !((_c = type.propertyCache) == null ? void 0 : _c.get(name))) {
+        if (skipObjectFunctionPropertyAugment && !(getCheckFlags(property) & 48 /* Partial */) && !((_c = type.propertyCache) == null ? void 0 : _c.get(name))) {
           const properties2 = type.propertyCache || (type.propertyCache = createSymbolTable());
           properties2.set(name, property);
         }
@@ -65699,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));
           }
@@ -88083,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) {
@@ -88095,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);
@@ -88245,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);
@@ -114092,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 */:
@@ -181122,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 */
@@ -181576,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)) {
@@ -182868,6 +182937,7 @@ var _ProjectService = class _ProjectService {
   /** @internal */
   createLoadAndUpdateConfiguredProject(configFileName, reason) {
     const project = this.createAndLoadConfiguredProject(configFileName, reason);
+    project.skipConfigDiagEvent = true;
     project.updateGraph();
     return project;
   }
@@ -183160,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);
   }
@@ -183173,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() }
       }
     );
   }
@@ -183972,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;
@@ -183981,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-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.5.0-pr-57649-11",
+  "version": "5.5.0-pr-58083-15",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -112,5 +112,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "c6d4d8bbb6e2ed89e9f66e62beaac7007c074687"
+  "gitHead": "e2996d44281da43dea46d3633df277a73fe1d8a2"
 }