@typescript-deploys/pr-build 5.5.0-pr-57465-103 → 5.5.0-pr-57772-2

package/lib/tsc.js

@@ -39813,7 +39813,7 @@ function createBinder() {
       inAssignmentPattern = saveInAssignmentPattern;
       return;
     }
-    if (node.kind >= 243 /* FirstStatement */ && node.kind <= 259 /* LastStatement */ && (!options.allowUnreachableCode || node.kind === 253 /* ReturnStatement */)) {
+    if (node.kind >= 243 /* FirstStatement */ && node.kind <= 259 /* LastStatement */ && !options.allowUnreachableCode) {
       node.flowNode = currentFlow;
     }
     switch (node.kind) {
@@ -47787,6 +47787,18 @@ function createTypeChecker(host) {
   function createNodeBuilder() {
     return {
       typeToTypeNode: (type, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => typeToTypeNodeHelper(type, context)),
+      expressionOrTypeToTypeNode: (type, expr, 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,
+        /*includePrivateSymbol*/
+        void 0,
+        /*bundled*/
+        void 0,
+        addUndefined
+      )),
       indexInfoToIndexSignatureDeclaration: (indexInfo, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => indexInfoToIndexSignatureDeclarationHelper(
         indexInfo,
         context,
@@ -47808,6 +47820,47 @@ function createTypeChecker(host) {
       symbolTableToDeclarationStatements: (symbolTable, enclosingDeclaration, flags, tracker, bundled) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolTableToDeclarationStatements(symbolTable, context, bundled)),
       symbolToNode: (symbol, meaning, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolToNode(symbol, context, meaning))
     };
+    function expressionOrTypeToTypeNode(context, expr, type, addUndefined) {
+      if (expr) {
+        const typeNode = isAssertionExpression(expr) ? expr.type : isJSDocTypeAssertion(expr) ? getJSDocTypeAssertionType(expr) : void 0;
+        if (typeNode && !isConstTypeReference(typeNode)) {
+          const result = tryReuseExistingTypeNode(context, typeNode, type, expr.parent, addUndefined);
+          if (result) {
+            return result;
+          }
+        }
+      }
+      if (addUndefined) {
+        type = getOptionalType(type);
+      }
+      return typeToTypeNodeHelper(type, context);
+    }
+    function tryReuseExistingTypeNode(context, typeNode, type, host2, addUndefined, includePrivateSymbol, bundled) {
+      const originalType = type;
+      if (addUndefined) {
+        type = getOptionalType(type);
+      }
+      const clone = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host2, includePrivateSymbol, bundled);
+      if (clone) {
+        return clone;
+      }
+      if (addUndefined && originalType !== type) {
+        const cloneMissingUndefined = tryReuseExistingNonParameterTypeNode(context, typeNode, originalType, host2, includePrivateSymbol, bundled);
+        if (cloneMissingUndefined) {
+          return factory.createUnionTypeNode([cloneMissingUndefined, factory.createKeywordTypeNode(157 /* UndefinedKeyword */)]);
+        }
+      }
+      return void 0;
+    }
+    function tryReuseExistingNonParameterTypeNode(context, existing, type, host2 = context.enclosingDeclaration, includePrivateSymbol, bundled, annotationType) {
+      if (typeNodeIsEquivalentToType(existing, host2, type, annotationType) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
+        const result = serializeExistingTypeNode(context, existing, includePrivateSymbol, bundled);
+        if (result) {
+          return result;
+        }
+      }
+      return void 0;
+    }
     function symbolToNode(symbol, context, meaning) {
       if (context.flags & 1073741824 /* WriteComputedProps */) {
         if (symbol.valueDeclaration) {
@@ -48249,8 +48302,8 @@ function createTypeChecker(host) {
           if (isInstantiationExpressionType) {
             const instantiationExpressionType = type2;
             const existing = instantiationExpressionType.node;
-            if (isTypeQueryNode(existing) && getTypeFromTypeNode(existing) === type2) {
-              const typeNode = serializeExistingTypeNode(context, existing);
+            if (isTypeQueryNode(existing)) {
+              const typeNode = tryReuseExistingNonParameterTypeNode(context, existing, type2);
               if (typeNode) {
                 return typeNode;
               }
@@ -49053,11 +49106,9 @@ function createTypeChecker(host) {
     }
     function symbolToParameterDeclaration(parameterSymbol, context, preserveModifierFlags, privateSymbolVisitor, bundledImports) {
       const parameterDeclaration = getEffectiveParameterDeclaration(parameterSymbol);
-      let parameterType = getTypeOfSymbol(parameterSymbol);
-      if (parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration)) {
-        parameterType = getOptionalType(parameterType);
-      }
-      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, privateSymbolVisitor, bundledImports);
+      const parameterType = getTypeOfSymbol(parameterSymbol);
+      const addUndefined = parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration);
+      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, privateSymbolVisitor, bundledImports, addUndefined);
       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;
@@ -49647,16 +49698,15 @@ function createTypeChecker(host) {
       }
       return enclosingDeclaration;
     }
-    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled) {
+    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled, addUndefined) {
+      var _a;
       if (!isErrorType(type) && enclosingDeclaration) {
         const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
-          if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
-            const result2 = serializeExistingTypeNode(context, existing, includePrivateSymbol, bundled);
-            if (result2) {
-              return result2;
-            }
+          const result2 = tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined, includePrivateSymbol, bundled);
+          if (result2) {
+            return result2;
           }
         }
       }
@@ -49664,16 +49714,17 @@ 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 result = typeToTypeNodeHelper(type, context);
+      const decl = 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;
       return result;
     }
-    function typeNodeIsEquivalentToType(typeNode, annotatedDeclaration, type) {
-      const typeFromTypeNode = getTypeFromTypeNode(typeNode);
+    function typeNodeIsEquivalentToType(typeNode, annotatedDeclaration, type, typeFromTypeNode = getTypeFromTypeNode(typeNode)) {
       if (typeFromTypeNode === type) {
         return true;
       }
-      if (isParameter(annotatedDeclaration) && annotatedDeclaration.questionToken) {
+      if (annotatedDeclaration && (isParameter(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
         return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
       }
       return false;
@@ -49685,11 +49736,9 @@ function createTypeChecker(host) {
         if (!!findAncestor(annotation, (n) => n === enclosingDeclarationIgnoringFakeScope) && annotation) {
           const annotated = getTypeFromTypeNode(annotation);
           const thisInstantiated = annotated.flags & 262144 /* TypeParameter */ && annotated.isThisType ? instantiateType(annotated, signature.mapper) : annotated;
-          if (thisInstantiated === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(annotation, type)) {
-            const result = serializeExistingTypeNode(context, annotation, includePrivateSymbol, bundled);
-            if (result) {
-              return result;
-            }
+          const result = tryReuseExistingNonParameterTypeNode(context, annotation, type, signature.declaration, includePrivateSymbol, bundled, thisInstantiated);
+          if (result) {
+            return result;
           }
         }
       }
@@ -49718,7 +49767,9 @@ function createTypeChecker(host) {
           /*shouldComputeAliasesToMakeVisible*/
           false
         ).accessibility !== 0 /* Accessible */) {
-          introducesError = true;
+          if (!isDeclarationName(node)) {
+            introducesError = true;
+          }
         } else {
           context.tracker.trackSymbol(sym, context.enclosingDeclaration, -1 /* All */);
           includePrivateSymbol == null ? void 0 : includePrivateSymbol(sym);
@@ -49856,6 +49907,31 @@ function createTypeChecker(host) {
             node.isTypeOf
           );
         }
+        if (isParameter(node)) {
+          if (!node.type && !node.initializer) {
+            return factory.updateParameterDeclaration(
+              node,
+              /*modifiers*/
+              void 0,
+              node.dotDotDotToken,
+              visitEachChild(
+                node.name,
+                visitExistingNodeTreeSymbols,
+                /*context*/
+                void 0
+              ),
+              node.questionToken,
+              factory.createKeywordTypeNode(133 /* AnyKeyword */),
+              /*initializer*/
+              void 0
+            );
+          }
+        }
+        if (isPropertySignature(node)) {
+          if (!node.type && !node.initializer) {
+            return factory.updatePropertySignature(node, node.modifiers, node.name, node.questionToken, factory.createKeywordTypeNode(133 /* AnyKeyword */));
+          }
+        }
         if (isEntityName(node) || isEntityNameExpression(node)) {
           const { introducesError, node: result } = trackExistingEntityName(node, context, includePrivateSymbol);
           hadError = hadError || introducesError;
@@ -49863,7 +49939,7 @@ function createTypeChecker(host) {
             return result;
           }
         }
-        if (file && isTupleTypeNode(node) && getLineAndCharacterOfPosition(file, node.pos).line === getLineAndCharacterOfPosition(file, node.end).line) {
+        if (file && isTupleTypeNode(node) && !nodeIsSynthesized(node) && getLineAndCharacterOfPosition(file, node.pos).line === getLineAndCharacterOfPosition(file, node.end).line) {
           setEmitFlags(node, 1 /* SingleLine */);
         }
         return visitEachChild(
@@ -50387,7 +50463,15 @@ function createTypeChecker(host) {
         context.flags |= 8388608 /* InTypeAlias */;
         const oldEnclosingDecl = context.enclosingDeclaration;
         context.enclosingDeclaration = jsdocAliasDecl;
-        const typeNode = jsdocAliasDecl && jsdocAliasDecl.typeExpression && isJSDocTypeExpression(jsdocAliasDecl.typeExpression) && serializeExistingTypeNode(context, jsdocAliasDecl.typeExpression.type, includePrivateSymbol, bundled) || typeToTypeNodeHelper(aliasType, context);
+        const typeNode = jsdocAliasDecl && jsdocAliasDecl.typeExpression && isJSDocTypeExpression(jsdocAliasDecl.typeExpression) && tryReuseExistingNonParameterTypeNode(
+          context,
+          jsdocAliasDecl.typeExpression.type,
+          aliasType,
+          /*host*/
+          void 0,
+          includePrivateSymbol,
+          bundled
+        ) || typeToTypeNodeHelper(aliasType, context);
         addResult(
           setSyntheticLeadingComments(
             factory.createTypeAliasDeclaration(
@@ -50620,7 +50704,15 @@ function createTypeChecker(host) {
           }
           return cleanup(factory.createExpressionWithTypeArguments(
             expr,
-            map(e.typeArguments, (a) => serializeExistingTypeNode(context, a, includePrivateSymbol, bundled) || typeToTypeNodeHelper(getTypeFromTypeNode(a), context))
+            map(e.typeArguments, (a) => tryReuseExistingNonParameterTypeNode(
+              context,
+              a,
+              getTypeFromTypeNode(a),
+              /*host*/
+              void 0,
+              includePrivateSymbol,
+              bundled
+            ) || typeToTypeNodeHelper(getTypeFromTypeNode(a), context))
           ));
           function cleanup(result2) {
             context.enclosingDeclaration = oldEnclosing;
@@ -51079,8 +51171,10 @@ function createTypeChecker(host) {
         }
       }
       function isTypeRepresentableAsFunctionNamespaceMerge(typeToSerialize, hostSymbol) {
+        var _a2;
         const ctxSrc = getSourceFileOfNode(context.enclosingDeclaration);
-        return getObjectFlags(typeToSerialize) & (16 /* Anonymous */ | 32 /* Mapped */) && !length(getIndexInfosOfType(typeToSerialize)) && !isClassInstanceSide(typeToSerialize) && // While a class instance is potentially representable as a NS, prefer printing a reference to the instance type and serializing the class
+        return getObjectFlags(typeToSerialize) & (16 /* Anonymous */ | 32 /* Mapped */) && !some((_a2 = typeToSerialize.symbol) == null ? void 0 : _a2.declarations, isTypeNode) && // If the type comes straight from a type node, we shouldn't try to break it up
+        !length(getIndexInfosOfType(typeToSerialize)) && !isClassInstanceSide(typeToSerialize) && // While a class instance is potentially representable as a NS, prefer printing a reference to the instance type and serializing the class
         !!(length(filter(getPropertiesOfType(typeToSerialize), isNamespaceMember)) || length(getSignaturesOfType(typeToSerialize, 0 /* Call */))) && !length(getSignaturesOfType(typeToSerialize, 1 /* Construct */)) && // TODO: could probably serialize as function + ns + class, now that that's OK
         !getDeclarationWithTypeAnnotation(hostSymbol, enclosingDeclaration) && !(typeToSerialize.symbol && some(typeToSerialize.symbol.declarations, (d) => getSourceFileOfNode(d) !== ctxSrc)) && !some(getPropertiesOfType(typeToSerialize), (p) => isLateBoundName(p.escapedName)) && !some(getPropertiesOfType(typeToSerialize), (p) => some(p.declarations, (d) => getSourceFileOfNode(d) !== ctxSrc)) && every(getPropertiesOfType(typeToSerialize), (p) => {
           if (!isIdentifierText(symbolName(p), languageVersion)) {
@@ -55659,15 +55753,7 @@ function createTypeChecker(host) {
             jsdocPredicate = getTypePredicateOfSignature(jsdocSignature);
           }
         }
-        if (type || jsdocPredicate) {
-          signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
-        } else if (signature.declaration && isFunctionLikeDeclaration(signature.declaration) && (!signature.resolvedReturnType || signature.resolvedReturnType.flags & 16 /* Boolean */) && getParameterCount(signature) > 0) {
-          const { declaration } = signature;
-          signature.resolvedTypePredicate = noTypePredicate;
-          signature.resolvedTypePredicate = getTypePredicateFromBody(declaration) || noTypePredicate;
-        } else {
-          signature.resolvedTypePredicate = noTypePredicate;
-        }
+        signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
       }
       Debug.assert(!!signature.resolvedTypePredicate);
     }
@@ -71514,7 +71600,10 @@ function createTypeChecker(host) {
     return Debug.fail();
   }
   function getDecoratorArgumentCount(node, signature) {
-    return compilerOptions.experimentalDecorators ? getLegacyDecoratorArgumentCount(node, signature) : 2;
+    return compilerOptions.experimentalDecorators ? getLegacyDecoratorArgumentCount(node, signature) : (
+      // Allow the runtime to oversupply arguments to an ES decorator as long as there's at least one parameter.
+      Math.min(Math.max(getParameterCount(signature), 1), 2)
+    );
   }
   function getLegacyDecoratorArgumentCount(node, signature) {
     switch (node.parent.kind) {
@@ -74094,67 +74183,6 @@ function createTypeChecker(host) {
         return false;
     }
   }
-  function getTypePredicateFromBody(func) {
-    switch (func.kind) {
-      case 176 /* Constructor */:
-      case 177 /* GetAccessor */:
-      case 178 /* SetAccessor */:
-        return void 0;
-    }
-    const functionFlags = getFunctionFlags(func);
-    if (functionFlags !== 0 /* Normal */)
-      return void 0;
-    let singleReturn;
-    if (func.body && func.body.kind !== 241 /* Block */) {
-      singleReturn = func.body;
-    } else {
-      const bailedEarly = forEachReturnStatement(func.body, (returnStatement) => {
-        if (singleReturn || !returnStatement.expression)
-          return true;
-        singleReturn = returnStatement.expression;
-      });
-      if (bailedEarly || !singleReturn || functionHasImplicitReturn(func))
-        return void 0;
-    }
-    return checkIfExpressionRefinesAnyParameter(func, singleReturn);
-  }
-  function checkIfExpressionRefinesAnyParameter(func, expr) {
-    expr = skipParentheses(
-      expr,
-      /*excludeJSDocTypeAssertions*/
-      true
-    );
-    const returnType = checkExpressionCached(expr);
-    if (!(returnType.flags & 16 /* Boolean */))
-      return void 0;
-    return forEach(func.parameters, (param, i) => {
-      const initType = getTypeOfSymbol(param.symbol);
-      if (!initType || initType.flags & 16 /* Boolean */ || !isIdentifier(param.name) || isSymbolAssigned(param.symbol) || isRestParameter(param)) {
-        return;
-      }
-      const trueType2 = checkIfExpressionRefinesParameter(func, expr, param, initType);
-      if (trueType2) {
-        return createTypePredicate(1 /* Identifier */, unescapeLeadingUnderscores(param.name.escapedText), i, trueType2);
-      }
-    });
-  }
-  function checkIfExpressionRefinesParameter(func, expr, param, initType) {
-    const antecedent = expr.flowNode || expr.parent.kind === 253 /* ReturnStatement */ && expr.parent.flowNode || { flags: 2 /* Start */ };
-    const trueCondition = {
-      flags: 32 /* TrueCondition */,
-      node: expr,
-      antecedent
-    };
-    const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
-    if (trueType2 === initType)
-      return void 0;
-    const falseCondition = {
-      ...trueCondition,
-      flags: 64 /* FalseCondition */
-    };
-    const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
-    return falseSubtype.flags & 131072 /* Never */ ? trueType2 : void 0;
-  }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
     addLazyDiagnostic(checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics);
     return;
@@ -82907,14 +82935,34 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const symbol = getSymbolOfDeclaration(declaration);
-    let type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
-    if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol) {
-      flags |= 1048576 /* AllowUniqueESSymbolType */;
-    }
-    if (addUndefined) {
-      type = getOptionalType(type);
+    const type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
+    return nodeBuilder.serializeTypeForDeclaration(type, symbol, addUndefined, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+  }
+  function isDeclarationWithPossibleInnerTypeNodeReuse(declaration) {
+    return isFunctionLike(declaration) || isExportAssignment(declaration) || isVariableLike(declaration);
+  }
+  function getPossibleTypeNodeReuseExpression(declaration) {
+    var _a;
+    return isFunctionLike(declaration) && !isSetAccessor(declaration) ? getSingleReturnExpression(declaration) : isExportAssignment(declaration) ? declaration.expression : !!declaration.initializer ? declaration.initializer : isParameter(declaration) && isSetAccessor(declaration.parent) ? getSingleReturnExpression(getAllAccessorDeclarations((_a = getSymbolOfDeclaration(declaration.parent)) == null ? void 0 : _a.declarations, declaration.parent).getAccessor) : void 0;
+  }
+  function getSingleReturnExpression(declaration) {
+    let candidateExpr;
+    if (declaration && !nodeIsMissing(declaration.body)) {
+      const body = declaration.body;
+      if (body && isBlock(body)) {
+        forEachReturnStatement(body, (s) => {
+          if (!candidateExpr) {
+            candidateExpr = s.expression;
+          } else {
+            candidateExpr = void 0;
+            return true;
+          }
+        });
+      } else {
+        candidateExpr = body;
+      }
     }
-    return nodeBuilder.typeToTypeNode(type, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return candidateExpr;
   }
   function createReturnTypeOfSignatureDeclaration(signatureDeclarationIn, enclosingDeclaration, flags, tracker) {
     const signatureDeclaration = getParseTreeNode(signatureDeclarationIn, isFunctionLike);
@@ -82922,7 +82970,15 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const signature = getSignatureFromDeclaration(signatureDeclaration);
-    return nodeBuilder.typeToTypeNode(getReturnTypeOfSignature(signature), enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.expressionOrTypeToTypeNode(
+      getReturnTypeOfSignature(signature),
+      getPossibleTypeNodeReuseExpression(signatureDeclaration),
+      /*addUndefined*/
+      void 0,
+      enclosingDeclaration,
+      flags | 1024 /* MultilineObjectLiterals */,
+      tracker
+    );
   }
   function createTypeOfExpression(exprIn, enclosingDeclaration, flags, tracker) {
     const expr = getParseTreeNode(exprIn, isExpression);
@@ -82930,7 +82986,15 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const type = getWidenedType(getRegularTypeOfExpression(expr));
-    return nodeBuilder.typeToTypeNode(type, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.expressionOrTypeToTypeNode(
+      type,
+      expr,
+      /*addUndefined*/
+      void 0,
+      enclosingDeclaration,
+      flags | 1024 /* MultilineObjectLiterals */,
+      tracker
+    );
   }
   function hasGlobalName(name) {
     return globals.has(escapeLeadingUnderscores(name));

package/lib/tsserver.js

@@ -44512,7 +44512,7 @@ function createBinder() {
       inAssignmentPattern = saveInAssignmentPattern;
       return;
     }
-    if (node.kind >= 243 /* FirstStatement */ && node.kind <= 259 /* LastStatement */ && (!options.allowUnreachableCode || node.kind === 253 /* ReturnStatement */)) {
+    if (node.kind >= 243 /* FirstStatement */ && node.kind <= 259 /* LastStatement */ && !options.allowUnreachableCode) {
       node.flowNode = currentFlow;
     }
     switch (node.kind) {
@@ -52540,6 +52540,18 @@ function createTypeChecker(host) {
   function createNodeBuilder() {
     return {
       typeToTypeNode: (type, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => typeToTypeNodeHelper(type, context)),
+      expressionOrTypeToTypeNode: (type, expr, 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,
+        /*includePrivateSymbol*/
+        void 0,
+        /*bundled*/
+        void 0,
+        addUndefined
+      )),
       indexInfoToIndexSignatureDeclaration: (indexInfo, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => indexInfoToIndexSignatureDeclarationHelper(
         indexInfo,
         context,
@@ -52561,6 +52573,47 @@ function createTypeChecker(host) {
       symbolTableToDeclarationStatements: (symbolTable, enclosingDeclaration, flags, tracker, bundled) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolTableToDeclarationStatements(symbolTable, context, bundled)),
       symbolToNode: (symbol, meaning, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolToNode(symbol, context, meaning))
     };
+    function expressionOrTypeToTypeNode(context, expr, type, addUndefined) {
+      if (expr) {
+        const typeNode = isAssertionExpression(expr) ? expr.type : isJSDocTypeAssertion(expr) ? getJSDocTypeAssertionType(expr) : void 0;
+        if (typeNode && !isConstTypeReference(typeNode)) {
+          const result = tryReuseExistingTypeNode(context, typeNode, type, expr.parent, addUndefined);
+          if (result) {
+            return result;
+          }
+        }
+      }
+      if (addUndefined) {
+        type = getOptionalType(type);
+      }
+      return typeToTypeNodeHelper(type, context);
+    }
+    function tryReuseExistingTypeNode(context, typeNode, type, host2, addUndefined, includePrivateSymbol, bundled) {
+      const originalType = type;
+      if (addUndefined) {
+        type = getOptionalType(type);
+      }
+      const clone2 = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host2, includePrivateSymbol, bundled);
+      if (clone2) {
+        return clone2;
+      }
+      if (addUndefined && originalType !== type) {
+        const cloneMissingUndefined = tryReuseExistingNonParameterTypeNode(context, typeNode, originalType, host2, includePrivateSymbol, bundled);
+        if (cloneMissingUndefined) {
+          return factory.createUnionTypeNode([cloneMissingUndefined, factory.createKeywordTypeNode(157 /* UndefinedKeyword */)]);
+        }
+      }
+      return void 0;
+    }
+    function tryReuseExistingNonParameterTypeNode(context, existing, type, host2 = context.enclosingDeclaration, includePrivateSymbol, bundled, annotationType) {
+      if (typeNodeIsEquivalentToType(existing, host2, type, annotationType) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
+        const result = serializeExistingTypeNode(context, existing, includePrivateSymbol, bundled);
+        if (result) {
+          return result;
+        }
+      }
+      return void 0;
+    }
     function symbolToNode(symbol, context, meaning) {
       if (context.flags & 1073741824 /* WriteComputedProps */) {
         if (symbol.valueDeclaration) {
@@ -53002,8 +53055,8 @@ function createTypeChecker(host) {
           if (isInstantiationExpressionType) {
             const instantiationExpressionType = type2;
             const existing = instantiationExpressionType.node;
-            if (isTypeQueryNode(existing) && getTypeFromTypeNode(existing) === type2) {
-              const typeNode = serializeExistingTypeNode(context, existing);
+            if (isTypeQueryNode(existing)) {
+              const typeNode = tryReuseExistingNonParameterTypeNode(context, existing, type2);
               if (typeNode) {
                 return typeNode;
               }
@@ -53806,11 +53859,9 @@ function createTypeChecker(host) {
     }
     function symbolToParameterDeclaration(parameterSymbol, context, preserveModifierFlags, privateSymbolVisitor, bundledImports) {
       const parameterDeclaration = getEffectiveParameterDeclaration(parameterSymbol);
-      let parameterType = getTypeOfSymbol(parameterSymbol);
-      if (parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration)) {
-        parameterType = getOptionalType(parameterType);
-      }
-      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, privateSymbolVisitor, bundledImports);
+      const parameterType = getTypeOfSymbol(parameterSymbol);
+      const addUndefined = parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration);
+      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, privateSymbolVisitor, bundledImports, addUndefined);
       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;
@@ -54400,16 +54451,15 @@ function createTypeChecker(host) {
       }
       return enclosingDeclaration;
     }
-    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled) {
+    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled, addUndefined) {
+      var _a;
       if (!isErrorType(type) && enclosingDeclaration) {
         const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
-          if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
-            const result2 = serializeExistingTypeNode(context, existing, includePrivateSymbol, bundled);
-            if (result2) {
-              return result2;
-            }
+          const result2 = tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined, includePrivateSymbol, bundled);
+          if (result2) {
+            return result2;
           }
         }
       }
@@ -54417,16 +54467,17 @@ 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 result = typeToTypeNodeHelper(type, context);
+      const decl = 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;
       return result;
     }
-    function typeNodeIsEquivalentToType(typeNode, annotatedDeclaration, type) {
-      const typeFromTypeNode = getTypeFromTypeNode(typeNode);
+    function typeNodeIsEquivalentToType(typeNode, annotatedDeclaration, type, typeFromTypeNode = getTypeFromTypeNode(typeNode)) {
       if (typeFromTypeNode === type) {
         return true;
       }
-      if (isParameter(annotatedDeclaration) && annotatedDeclaration.questionToken) {
+      if (annotatedDeclaration && (isParameter(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
         return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
       }
       return false;
@@ -54438,11 +54489,9 @@ function createTypeChecker(host) {
         if (!!findAncestor(annotation, (n) => n === enclosingDeclarationIgnoringFakeScope) && annotation) {
           const annotated = getTypeFromTypeNode(annotation);
           const thisInstantiated = annotated.flags & 262144 /* TypeParameter */ && annotated.isThisType ? instantiateType(annotated, signature.mapper) : annotated;
-          if (thisInstantiated === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(annotation, type)) {
-            const result = serializeExistingTypeNode(context, annotation, includePrivateSymbol, bundled);
-            if (result) {
-              return result;
-            }
+          const result = tryReuseExistingNonParameterTypeNode(context, annotation, type, signature.declaration, includePrivateSymbol, bundled, thisInstantiated);
+          if (result) {
+            return result;
           }
         }
       }
@@ -54471,7 +54520,9 @@ function createTypeChecker(host) {
           /*shouldComputeAliasesToMakeVisible*/
           false
         ).accessibility !== 0 /* Accessible */) {
-          introducesError = true;
+          if (!isDeclarationName(node)) {
+            introducesError = true;
+          }
         } else {
           context.tracker.trackSymbol(sym, context.enclosingDeclaration, -1 /* All */);
           includePrivateSymbol == null ? void 0 : includePrivateSymbol(sym);
@@ -54609,6 +54660,31 @@ function createTypeChecker(host) {
             node.isTypeOf
           );
         }
+        if (isParameter(node)) {
+          if (!node.type && !node.initializer) {
+            return factory.updateParameterDeclaration(
+              node,
+              /*modifiers*/
+              void 0,
+              node.dotDotDotToken,
+              visitEachChild(
+                node.name,
+                visitExistingNodeTreeSymbols,
+                /*context*/
+                void 0
+              ),
+              node.questionToken,
+              factory.createKeywordTypeNode(133 /* AnyKeyword */),
+              /*initializer*/
+              void 0
+            );
+          }
+        }
+        if (isPropertySignature(node)) {
+          if (!node.type && !node.initializer) {
+            return factory.updatePropertySignature(node, node.modifiers, node.name, node.questionToken, factory.createKeywordTypeNode(133 /* AnyKeyword */));
+          }
+        }
         if (isEntityName(node) || isEntityNameExpression(node)) {
           const { introducesError, node: result } = trackExistingEntityName(node, context, includePrivateSymbol);
           hadError = hadError || introducesError;
@@ -54616,7 +54692,7 @@ function createTypeChecker(host) {
             return result;
           }
         }
-        if (file && isTupleTypeNode(node) && getLineAndCharacterOfPosition(file, node.pos).line === getLineAndCharacterOfPosition(file, node.end).line) {
+        if (file && isTupleTypeNode(node) && !nodeIsSynthesized(node) && getLineAndCharacterOfPosition(file, node.pos).line === getLineAndCharacterOfPosition(file, node.end).line) {
           setEmitFlags(node, 1 /* SingleLine */);
         }
         return visitEachChild(
@@ -55140,7 +55216,15 @@ function createTypeChecker(host) {
         context.flags |= 8388608 /* InTypeAlias */;
         const oldEnclosingDecl = context.enclosingDeclaration;
         context.enclosingDeclaration = jsdocAliasDecl;
-        const typeNode = jsdocAliasDecl && jsdocAliasDecl.typeExpression && isJSDocTypeExpression(jsdocAliasDecl.typeExpression) && serializeExistingTypeNode(context, jsdocAliasDecl.typeExpression.type, includePrivateSymbol, bundled) || typeToTypeNodeHelper(aliasType, context);
+        const typeNode = jsdocAliasDecl && jsdocAliasDecl.typeExpression && isJSDocTypeExpression(jsdocAliasDecl.typeExpression) && tryReuseExistingNonParameterTypeNode(
+          context,
+          jsdocAliasDecl.typeExpression.type,
+          aliasType,
+          /*host*/
+          void 0,
+          includePrivateSymbol,
+          bundled
+        ) || typeToTypeNodeHelper(aliasType, context);
         addResult(
           setSyntheticLeadingComments(
             factory.createTypeAliasDeclaration(
@@ -55373,7 +55457,15 @@ function createTypeChecker(host) {
           }
           return cleanup(factory.createExpressionWithTypeArguments(
             expr,
-            map(e.typeArguments, (a) => serializeExistingTypeNode(context, a, includePrivateSymbol, bundled) || typeToTypeNodeHelper(getTypeFromTypeNode(a), context))
+            map(e.typeArguments, (a) => tryReuseExistingNonParameterTypeNode(
+              context,
+              a,
+              getTypeFromTypeNode(a),
+              /*host*/
+              void 0,
+              includePrivateSymbol,
+              bundled
+            ) || typeToTypeNodeHelper(getTypeFromTypeNode(a), context))
           ));
           function cleanup(result2) {
             context.enclosingDeclaration = oldEnclosing;
@@ -55832,8 +55924,10 @@ function createTypeChecker(host) {
         }
       }
       function isTypeRepresentableAsFunctionNamespaceMerge(typeToSerialize, hostSymbol) {
+        var _a2;
         const ctxSrc = getSourceFileOfNode(context.enclosingDeclaration);
-        return getObjectFlags(typeToSerialize) & (16 /* Anonymous */ | 32 /* Mapped */) && !length(getIndexInfosOfType(typeToSerialize)) && !isClassInstanceSide(typeToSerialize) && // While a class instance is potentially representable as a NS, prefer printing a reference to the instance type and serializing the class
+        return getObjectFlags(typeToSerialize) & (16 /* Anonymous */ | 32 /* Mapped */) && !some((_a2 = typeToSerialize.symbol) == null ? void 0 : _a2.declarations, isTypeNode) && // If the type comes straight from a type node, we shouldn't try to break it up
+        !length(getIndexInfosOfType(typeToSerialize)) && !isClassInstanceSide(typeToSerialize) && // While a class instance is potentially representable as a NS, prefer printing a reference to the instance type and serializing the class
         !!(length(filter(getPropertiesOfType(typeToSerialize), isNamespaceMember)) || length(getSignaturesOfType(typeToSerialize, 0 /* Call */))) && !length(getSignaturesOfType(typeToSerialize, 1 /* Construct */)) && // TODO: could probably serialize as function + ns + class, now that that's OK
         !getDeclarationWithTypeAnnotation(hostSymbol, enclosingDeclaration) && !(typeToSerialize.symbol && some(typeToSerialize.symbol.declarations, (d) => getSourceFileOfNode(d) !== ctxSrc)) && !some(getPropertiesOfType(typeToSerialize), (p) => isLateBoundName(p.escapedName)) && !some(getPropertiesOfType(typeToSerialize), (p) => some(p.declarations, (d) => getSourceFileOfNode(d) !== ctxSrc)) && every(getPropertiesOfType(typeToSerialize), (p) => {
           if (!isIdentifierText(symbolName(p), languageVersion)) {
@@ -60412,15 +60506,7 @@ function createTypeChecker(host) {
             jsdocPredicate = getTypePredicateOfSignature(jsdocSignature);
           }
         }
-        if (type || jsdocPredicate) {
-          signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
-        } else if (signature.declaration && isFunctionLikeDeclaration(signature.declaration) && (!signature.resolvedReturnType || signature.resolvedReturnType.flags & 16 /* Boolean */) && getParameterCount(signature) > 0) {
-          const { declaration } = signature;
-          signature.resolvedTypePredicate = noTypePredicate;
-          signature.resolvedTypePredicate = getTypePredicateFromBody(declaration) || noTypePredicate;
-        } else {
-          signature.resolvedTypePredicate = noTypePredicate;
-        }
+        signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
       }
       Debug.assert(!!signature.resolvedTypePredicate);
     }
@@ -76267,7 +76353,10 @@ function createTypeChecker(host) {
     return Debug.fail();
   }
   function getDecoratorArgumentCount(node, signature) {
-    return compilerOptions.experimentalDecorators ? getLegacyDecoratorArgumentCount(node, signature) : 2;
+    return compilerOptions.experimentalDecorators ? getLegacyDecoratorArgumentCount(node, signature) : (
+      // Allow the runtime to oversupply arguments to an ES decorator as long as there's at least one parameter.
+      Math.min(Math.max(getParameterCount(signature), 1), 2)
+    );
   }
   function getLegacyDecoratorArgumentCount(node, signature) {
     switch (node.parent.kind) {
@@ -78847,67 +78936,6 @@ function createTypeChecker(host) {
         return false;
     }
   }
-  function getTypePredicateFromBody(func) {
-    switch (func.kind) {
-      case 176 /* Constructor */:
-      case 177 /* GetAccessor */:
-      case 178 /* SetAccessor */:
-        return void 0;
-    }
-    const functionFlags = getFunctionFlags(func);
-    if (functionFlags !== 0 /* Normal */)
-      return void 0;
-    let singleReturn;
-    if (func.body && func.body.kind !== 241 /* Block */) {
-      singleReturn = func.body;
-    } else {
-      const bailedEarly = forEachReturnStatement(func.body, (returnStatement) => {
-        if (singleReturn || !returnStatement.expression)
-          return true;
-        singleReturn = returnStatement.expression;
-      });
-      if (bailedEarly || !singleReturn || functionHasImplicitReturn(func))
-        return void 0;
-    }
-    return checkIfExpressionRefinesAnyParameter(func, singleReturn);
-  }
-  function checkIfExpressionRefinesAnyParameter(func, expr) {
-    expr = skipParentheses(
-      expr,
-      /*excludeJSDocTypeAssertions*/
-      true
-    );
-    const returnType = checkExpressionCached(expr);
-    if (!(returnType.flags & 16 /* Boolean */))
-      return void 0;
-    return forEach(func.parameters, (param, i) => {
-      const initType = getTypeOfSymbol(param.symbol);
-      if (!initType || initType.flags & 16 /* Boolean */ || !isIdentifier(param.name) || isSymbolAssigned(param.symbol) || isRestParameter(param)) {
-        return;
-      }
-      const trueType2 = checkIfExpressionRefinesParameter(func, expr, param, initType);
-      if (trueType2) {
-        return createTypePredicate(1 /* Identifier */, unescapeLeadingUnderscores(param.name.escapedText), i, trueType2);
-      }
-    });
-  }
-  function checkIfExpressionRefinesParameter(func, expr, param, initType) {
-    const antecedent = expr.flowNode || expr.parent.kind === 253 /* ReturnStatement */ && expr.parent.flowNode || { flags: 2 /* Start */ };
-    const trueCondition = {
-      flags: 32 /* TrueCondition */,
-      node: expr,
-      antecedent
-    };
-    const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
-    if (trueType2 === initType)
-      return void 0;
-    const falseCondition = {
-      ...trueCondition,
-      flags: 64 /* FalseCondition */
-    };
-    const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
-    return falseSubtype.flags & 131072 /* Never */ ? trueType2 : void 0;
-  }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
     addLazyDiagnostic(checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics);
     return;
@@ -87660,14 +87688,34 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const symbol = getSymbolOfDeclaration(declaration);
-    let type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
-    if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol) {
-      flags |= 1048576 /* AllowUniqueESSymbolType */;
-    }
-    if (addUndefined) {
-      type = getOptionalType(type);
+    const type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
+    return nodeBuilder.serializeTypeForDeclaration(type, symbol, addUndefined, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+  }
+  function isDeclarationWithPossibleInnerTypeNodeReuse(declaration) {
+    return isFunctionLike(declaration) || isExportAssignment(declaration) || isVariableLike(declaration);
+  }
+  function getPossibleTypeNodeReuseExpression(declaration) {
+    var _a;
+    return isFunctionLike(declaration) && !isSetAccessor(declaration) ? getSingleReturnExpression(declaration) : isExportAssignment(declaration) ? declaration.expression : !!declaration.initializer ? declaration.initializer : isParameter(declaration) && isSetAccessor(declaration.parent) ? getSingleReturnExpression(getAllAccessorDeclarations((_a = getSymbolOfDeclaration(declaration.parent)) == null ? void 0 : _a.declarations, declaration.parent).getAccessor) : void 0;
+  }
+  function getSingleReturnExpression(declaration) {
+    let candidateExpr;
+    if (declaration && !nodeIsMissing(declaration.body)) {
+      const body = declaration.body;
+      if (body && isBlock(body)) {
+        forEachReturnStatement(body, (s) => {
+          if (!candidateExpr) {
+            candidateExpr = s.expression;
+          } else {
+            candidateExpr = void 0;
+            return true;
+          }
+        });
+      } else {
+        candidateExpr = body;
+      }
     }
-    return nodeBuilder.typeToTypeNode(type, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return candidateExpr;
   }
   function createReturnTypeOfSignatureDeclaration(signatureDeclarationIn, enclosingDeclaration, flags, tracker) {
     const signatureDeclaration = getParseTreeNode(signatureDeclarationIn, isFunctionLike);
@@ -87675,7 +87723,15 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const signature = getSignatureFromDeclaration(signatureDeclaration);
-    return nodeBuilder.typeToTypeNode(getReturnTypeOfSignature(signature), enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.expressionOrTypeToTypeNode(
+      getReturnTypeOfSignature(signature),
+      getPossibleTypeNodeReuseExpression(signatureDeclaration),
+      /*addUndefined*/
+      void 0,
+      enclosingDeclaration,
+      flags | 1024 /* MultilineObjectLiterals */,
+      tracker
+    );
   }
   function createTypeOfExpression(exprIn, enclosingDeclaration, flags, tracker) {
     const expr = getParseTreeNode(exprIn, isExpression);
@@ -87683,7 +87739,15 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const type = getWidenedType(getRegularTypeOfExpression(expr));
-    return nodeBuilder.typeToTypeNode(type, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.expressionOrTypeToTypeNode(
+      type,
+      expr,
+      /*addUndefined*/
+      void 0,
+      enclosingDeclaration,
+      flags | 1024 /* MultilineObjectLiterals */,
+      tracker
+    );
   }
   function hasGlobalName(name) {
     return globals.has(escapeLeadingUnderscores(name));

package/lib/typescript.js

@@ -44512,7 +44512,7 @@ function createBinder() {
       inAssignmentPattern = saveInAssignmentPattern;
       return;
     }
-    if (node.kind >= 243 /* FirstStatement */ && node.kind <= 259 /* LastStatement */ && (!options.allowUnreachableCode || node.kind === 253 /* ReturnStatement */)) {
+    if (node.kind >= 243 /* FirstStatement */ && node.kind <= 259 /* LastStatement */ && !options.allowUnreachableCode) {
       node.flowNode = currentFlow;
     }
     switch (node.kind) {
@@ -52540,6 +52540,18 @@ function createTypeChecker(host) {
   function createNodeBuilder() {
     return {
       typeToTypeNode: (type, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => typeToTypeNodeHelper(type, context)),
+      expressionOrTypeToTypeNode: (type, expr, 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,
+        /*includePrivateSymbol*/
+        void 0,
+        /*bundled*/
+        void 0,
+        addUndefined
+      )),
       indexInfoToIndexSignatureDeclaration: (indexInfo, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => indexInfoToIndexSignatureDeclarationHelper(
         indexInfo,
         context,
@@ -52561,6 +52573,47 @@ function createTypeChecker(host) {
       symbolTableToDeclarationStatements: (symbolTable, enclosingDeclaration, flags, tracker, bundled) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolTableToDeclarationStatements(symbolTable, context, bundled)),
       symbolToNode: (symbol, meaning, enclosingDeclaration, flags, tracker) => withContext(enclosingDeclaration, flags, tracker, (context) => symbolToNode(symbol, context, meaning))
     };
+    function expressionOrTypeToTypeNode(context, expr, type, addUndefined) {
+      if (expr) {
+        const typeNode = isAssertionExpression(expr) ? expr.type : isJSDocTypeAssertion(expr) ? getJSDocTypeAssertionType(expr) : void 0;
+        if (typeNode && !isConstTypeReference(typeNode)) {
+          const result = tryReuseExistingTypeNode(context, typeNode, type, expr.parent, addUndefined);
+          if (result) {
+            return result;
+          }
+        }
+      }
+      if (addUndefined) {
+        type = getOptionalType(type);
+      }
+      return typeToTypeNodeHelper(type, context);
+    }
+    function tryReuseExistingTypeNode(context, typeNode, type, host2, addUndefined, includePrivateSymbol, bundled) {
+      const originalType = type;
+      if (addUndefined) {
+        type = getOptionalType(type);
+      }
+      const clone2 = tryReuseExistingNonParameterTypeNode(context, typeNode, type, host2, includePrivateSymbol, bundled);
+      if (clone2) {
+        return clone2;
+      }
+      if (addUndefined && originalType !== type) {
+        const cloneMissingUndefined = tryReuseExistingNonParameterTypeNode(context, typeNode, originalType, host2, includePrivateSymbol, bundled);
+        if (cloneMissingUndefined) {
+          return factory.createUnionTypeNode([cloneMissingUndefined, factory.createKeywordTypeNode(157 /* UndefinedKeyword */)]);
+        }
+      }
+      return void 0;
+    }
+    function tryReuseExistingNonParameterTypeNode(context, existing, type, host2 = context.enclosingDeclaration, includePrivateSymbol, bundled, annotationType) {
+      if (typeNodeIsEquivalentToType(existing, host2, type, annotationType) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
+        const result = serializeExistingTypeNode(context, existing, includePrivateSymbol, bundled);
+        if (result) {
+          return result;
+        }
+      }
+      return void 0;
+    }
     function symbolToNode(symbol, context, meaning) {
       if (context.flags & 1073741824 /* WriteComputedProps */) {
         if (symbol.valueDeclaration) {
@@ -53002,8 +53055,8 @@ function createTypeChecker(host) {
           if (isInstantiationExpressionType) {
             const instantiationExpressionType = type2;
             const existing = instantiationExpressionType.node;
-            if (isTypeQueryNode(existing) && getTypeFromTypeNode(existing) === type2) {
-              const typeNode = serializeExistingTypeNode(context, existing);
+            if (isTypeQueryNode(existing)) {
+              const typeNode = tryReuseExistingNonParameterTypeNode(context, existing, type2);
               if (typeNode) {
                 return typeNode;
               }
@@ -53806,11 +53859,9 @@ function createTypeChecker(host) {
     }
     function symbolToParameterDeclaration(parameterSymbol, context, preserveModifierFlags, privateSymbolVisitor, bundledImports) {
       const parameterDeclaration = getEffectiveParameterDeclaration(parameterSymbol);
-      let parameterType = getTypeOfSymbol(parameterSymbol);
-      if (parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration)) {
-        parameterType = getOptionalType(parameterType);
-      }
-      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, privateSymbolVisitor, bundledImports);
+      const parameterType = getTypeOfSymbol(parameterSymbol);
+      const addUndefined = parameterDeclaration && isRequiredInitializedParameter(parameterDeclaration);
+      const parameterTypeNode = serializeTypeForDeclaration(context, parameterType, parameterSymbol, context.enclosingDeclaration, privateSymbolVisitor, bundledImports, addUndefined);
       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;
@@ -54400,16 +54451,15 @@ function createTypeChecker(host) {
       }
       return enclosingDeclaration;
     }
-    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled) {
+    function serializeTypeForDeclaration(context, type, symbol, enclosingDeclaration, includePrivateSymbol, bundled, addUndefined) {
+      var _a;
       if (!isErrorType(type) && enclosingDeclaration) {
         const declWithExistingAnnotation = getDeclarationWithTypeAnnotation(symbol, getEnclosingDeclarationIgnoringFakeScope(enclosingDeclaration));
         if (declWithExistingAnnotation && !isFunctionLikeDeclaration(declWithExistingAnnotation) && !isGetAccessorDeclaration(declWithExistingAnnotation)) {
           const existing = getEffectiveTypeAnnotationNode(declWithExistingAnnotation);
-          if (typeNodeIsEquivalentToType(existing, declWithExistingAnnotation, type) && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(existing, type)) {
-            const result2 = serializeExistingTypeNode(context, existing, includePrivateSymbol, bundled);
-            if (result2) {
-              return result2;
-            }
+          const result2 = tryReuseExistingTypeNode(context, existing, type, declWithExistingAnnotation, addUndefined, includePrivateSymbol, bundled);
+          if (result2) {
+            return result2;
           }
         }
       }
@@ -54417,16 +54467,17 @@ 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 result = typeToTypeNodeHelper(type, context);
+      const decl = 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;
       return result;
     }
-    function typeNodeIsEquivalentToType(typeNode, annotatedDeclaration, type) {
-      const typeFromTypeNode = getTypeFromTypeNode(typeNode);
+    function typeNodeIsEquivalentToType(typeNode, annotatedDeclaration, type, typeFromTypeNode = getTypeFromTypeNode(typeNode)) {
       if (typeFromTypeNode === type) {
         return true;
       }
-      if (isParameter(annotatedDeclaration) && annotatedDeclaration.questionToken) {
+      if (annotatedDeclaration && (isParameter(annotatedDeclaration) || isPropertyDeclaration(annotatedDeclaration)) && annotatedDeclaration.questionToken) {
         return getTypeWithFacts(type, 524288 /* NEUndefined */) === typeFromTypeNode;
       }
       return false;
@@ -54438,11 +54489,9 @@ function createTypeChecker(host) {
         if (!!findAncestor(annotation, (n) => n === enclosingDeclarationIgnoringFakeScope) && annotation) {
           const annotated = getTypeFromTypeNode(annotation);
           const thisInstantiated = annotated.flags & 262144 /* TypeParameter */ && annotated.isThisType ? instantiateType(annotated, signature.mapper) : annotated;
-          if (thisInstantiated === type && existingTypeNodeIsNotReferenceOrIsReferenceWithCompatibleTypeArgumentCount(annotation, type)) {
-            const result = serializeExistingTypeNode(context, annotation, includePrivateSymbol, bundled);
-            if (result) {
-              return result;
-            }
+          const result = tryReuseExistingNonParameterTypeNode(context, annotation, type, signature.declaration, includePrivateSymbol, bundled, thisInstantiated);
+          if (result) {
+            return result;
           }
         }
       }
@@ -54471,7 +54520,9 @@ function createTypeChecker(host) {
           /*shouldComputeAliasesToMakeVisible*/
           false
         ).accessibility !== 0 /* Accessible */) {
-          introducesError = true;
+          if (!isDeclarationName(node)) {
+            introducesError = true;
+          }
         } else {
           context.tracker.trackSymbol(sym, context.enclosingDeclaration, -1 /* All */);
           includePrivateSymbol == null ? void 0 : includePrivateSymbol(sym);
@@ -54609,6 +54660,31 @@ function createTypeChecker(host) {
             node.isTypeOf
           );
         }
+        if (isParameter(node)) {
+          if (!node.type && !node.initializer) {
+            return factory.updateParameterDeclaration(
+              node,
+              /*modifiers*/
+              void 0,
+              node.dotDotDotToken,
+              visitEachChild(
+                node.name,
+                visitExistingNodeTreeSymbols,
+                /*context*/
+                void 0
+              ),
+              node.questionToken,
+              factory.createKeywordTypeNode(133 /* AnyKeyword */),
+              /*initializer*/
+              void 0
+            );
+          }
+        }
+        if (isPropertySignature(node)) {
+          if (!node.type && !node.initializer) {
+            return factory.updatePropertySignature(node, node.modifiers, node.name, node.questionToken, factory.createKeywordTypeNode(133 /* AnyKeyword */));
+          }
+        }
         if (isEntityName(node) || isEntityNameExpression(node)) {
           const { introducesError, node: result } = trackExistingEntityName(node, context, includePrivateSymbol);
           hadError = hadError || introducesError;
@@ -54616,7 +54692,7 @@ function createTypeChecker(host) {
             return result;
           }
         }
-        if (file && isTupleTypeNode(node) && getLineAndCharacterOfPosition(file, node.pos).line === getLineAndCharacterOfPosition(file, node.end).line) {
+        if (file && isTupleTypeNode(node) && !nodeIsSynthesized(node) && getLineAndCharacterOfPosition(file, node.pos).line === getLineAndCharacterOfPosition(file, node.end).line) {
           setEmitFlags(node, 1 /* SingleLine */);
         }
         return visitEachChild(
@@ -55140,7 +55216,15 @@ function createTypeChecker(host) {
         context.flags |= 8388608 /* InTypeAlias */;
         const oldEnclosingDecl = context.enclosingDeclaration;
         context.enclosingDeclaration = jsdocAliasDecl;
-        const typeNode = jsdocAliasDecl && jsdocAliasDecl.typeExpression && isJSDocTypeExpression(jsdocAliasDecl.typeExpression) && serializeExistingTypeNode(context, jsdocAliasDecl.typeExpression.type, includePrivateSymbol, bundled) || typeToTypeNodeHelper(aliasType, context);
+        const typeNode = jsdocAliasDecl && jsdocAliasDecl.typeExpression && isJSDocTypeExpression(jsdocAliasDecl.typeExpression) && tryReuseExistingNonParameterTypeNode(
+          context,
+          jsdocAliasDecl.typeExpression.type,
+          aliasType,
+          /*host*/
+          void 0,
+          includePrivateSymbol,
+          bundled
+        ) || typeToTypeNodeHelper(aliasType, context);
         addResult(
           setSyntheticLeadingComments(
             factory.createTypeAliasDeclaration(
@@ -55373,7 +55457,15 @@ function createTypeChecker(host) {
           }
           return cleanup(factory.createExpressionWithTypeArguments(
             expr,
-            map(e.typeArguments, (a) => serializeExistingTypeNode(context, a, includePrivateSymbol, bundled) || typeToTypeNodeHelper(getTypeFromTypeNode(a), context))
+            map(e.typeArguments, (a) => tryReuseExistingNonParameterTypeNode(
+              context,
+              a,
+              getTypeFromTypeNode(a),
+              /*host*/
+              void 0,
+              includePrivateSymbol,
+              bundled
+            ) || typeToTypeNodeHelper(getTypeFromTypeNode(a), context))
           ));
           function cleanup(result2) {
             context.enclosingDeclaration = oldEnclosing;
@@ -55832,8 +55924,10 @@ function createTypeChecker(host) {
         }
       }
       function isTypeRepresentableAsFunctionNamespaceMerge(typeToSerialize, hostSymbol) {
+        var _a2;
         const ctxSrc = getSourceFileOfNode(context.enclosingDeclaration);
-        return getObjectFlags(typeToSerialize) & (16 /* Anonymous */ | 32 /* Mapped */) && !length(getIndexInfosOfType(typeToSerialize)) && !isClassInstanceSide(typeToSerialize) && // While a class instance is potentially representable as a NS, prefer printing a reference to the instance type and serializing the class
+        return getObjectFlags(typeToSerialize) & (16 /* Anonymous */ | 32 /* Mapped */) && !some((_a2 = typeToSerialize.symbol) == null ? void 0 : _a2.declarations, isTypeNode) && // If the type comes straight from a type node, we shouldn't try to break it up
+        !length(getIndexInfosOfType(typeToSerialize)) && !isClassInstanceSide(typeToSerialize) && // While a class instance is potentially representable as a NS, prefer printing a reference to the instance type and serializing the class
         !!(length(filter(getPropertiesOfType(typeToSerialize), isNamespaceMember)) || length(getSignaturesOfType(typeToSerialize, 0 /* Call */))) && !length(getSignaturesOfType(typeToSerialize, 1 /* Construct */)) && // TODO: could probably serialize as function + ns + class, now that that's OK
         !getDeclarationWithTypeAnnotation(hostSymbol, enclosingDeclaration) && !(typeToSerialize.symbol && some(typeToSerialize.symbol.declarations, (d) => getSourceFileOfNode(d) !== ctxSrc)) && !some(getPropertiesOfType(typeToSerialize), (p) => isLateBoundName(p.escapedName)) && !some(getPropertiesOfType(typeToSerialize), (p) => some(p.declarations, (d) => getSourceFileOfNode(d) !== ctxSrc)) && every(getPropertiesOfType(typeToSerialize), (p) => {
           if (!isIdentifierText(symbolName(p), languageVersion)) {
@@ -60412,15 +60506,7 @@ function createTypeChecker(host) {
             jsdocPredicate = getTypePredicateOfSignature(jsdocSignature);
           }
         }
-        if (type || jsdocPredicate) {
-          signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
-        } else if (signature.declaration && isFunctionLikeDeclaration(signature.declaration) && (!signature.resolvedReturnType || signature.resolvedReturnType.flags & 16 /* Boolean */) && getParameterCount(signature) > 0) {
-          const { declaration } = signature;
-          signature.resolvedTypePredicate = noTypePredicate;
-          signature.resolvedTypePredicate = getTypePredicateFromBody(declaration) || noTypePredicate;
-        } else {
-          signature.resolvedTypePredicate = noTypePredicate;
-        }
+        signature.resolvedTypePredicate = type && isTypePredicateNode(type) ? createTypePredicateFromTypePredicateNode(type, signature) : jsdocPredicate || noTypePredicate;
       }
       Debug.assert(!!signature.resolvedTypePredicate);
     }
@@ -76267,7 +76353,10 @@ function createTypeChecker(host) {
     return Debug.fail();
   }
   function getDecoratorArgumentCount(node, signature) {
-    return compilerOptions.experimentalDecorators ? getLegacyDecoratorArgumentCount(node, signature) : 2;
+    return compilerOptions.experimentalDecorators ? getLegacyDecoratorArgumentCount(node, signature) : (
+      // Allow the runtime to oversupply arguments to an ES decorator as long as there's at least one parameter.
+      Math.min(Math.max(getParameterCount(signature), 1), 2)
+    );
   }
   function getLegacyDecoratorArgumentCount(node, signature) {
     switch (node.parent.kind) {
@@ -78847,67 +78936,6 @@ function createTypeChecker(host) {
         return false;
     }
   }
-  function getTypePredicateFromBody(func) {
-    switch (func.kind) {
-      case 176 /* Constructor */:
-      case 177 /* GetAccessor */:
-      case 178 /* SetAccessor */:
-        return void 0;
-    }
-    const functionFlags = getFunctionFlags(func);
-    if (functionFlags !== 0 /* Normal */)
-      return void 0;
-    let singleReturn;
-    if (func.body && func.body.kind !== 241 /* Block */) {
-      singleReturn = func.body;
-    } else {
-      const bailedEarly = forEachReturnStatement(func.body, (returnStatement) => {
-        if (singleReturn || !returnStatement.expression)
-          return true;
-        singleReturn = returnStatement.expression;
-      });
-      if (bailedEarly || !singleReturn || functionHasImplicitReturn(func))
-        return void 0;
-    }
-    return checkIfExpressionRefinesAnyParameter(func, singleReturn);
-  }
-  function checkIfExpressionRefinesAnyParameter(func, expr) {
-    expr = skipParentheses(
-      expr,
-      /*excludeJSDocTypeAssertions*/
-      true
-    );
-    const returnType = checkExpressionCached(expr);
-    if (!(returnType.flags & 16 /* Boolean */))
-      return void 0;
-    return forEach(func.parameters, (param, i) => {
-      const initType = getTypeOfSymbol(param.symbol);
-      if (!initType || initType.flags & 16 /* Boolean */ || !isIdentifier(param.name) || isSymbolAssigned(param.symbol) || isRestParameter(param)) {
-        return;
-      }
-      const trueType2 = checkIfExpressionRefinesParameter(func, expr, param, initType);
-      if (trueType2) {
-        return createTypePredicate(1 /* Identifier */, unescapeLeadingUnderscores(param.name.escapedText), i, trueType2);
-      }
-    });
-  }
-  function checkIfExpressionRefinesParameter(func, expr, param, initType) {
-    const antecedent = expr.flowNode || expr.parent.kind === 253 /* ReturnStatement */ && expr.parent.flowNode || { flags: 2 /* Start */ };
-    const trueCondition = {
-      flags: 32 /* TrueCondition */,
-      node: expr,
-      antecedent
-    };
-    const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
-    if (trueType2 === initType)
-      return void 0;
-    const falseCondition = {
-      ...trueCondition,
-      flags: 64 /* FalseCondition */
-    };
-    const falseSubtype = getFlowTypeOfReference(param.name, trueType2, trueType2, func, falseCondition);
-    return falseSubtype.flags & 131072 /* Never */ ? trueType2 : void 0;
-  }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
     addLazyDiagnostic(checkAllCodePathsInNonVoidFunctionReturnOrThrowDiagnostics);
     return;
@@ -87660,14 +87688,34 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const symbol = getSymbolOfDeclaration(declaration);
-    let type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
-    if (type.flags & 8192 /* UniqueESSymbol */ && type.symbol === symbol) {
-      flags |= 1048576 /* AllowUniqueESSymbolType */;
-    }
-    if (addUndefined) {
-      type = getOptionalType(type);
+    const type = symbol && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) ? getWidenedLiteralType(getTypeOfSymbol(symbol)) : errorType;
+    return nodeBuilder.serializeTypeForDeclaration(type, symbol, addUndefined, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+  }
+  function isDeclarationWithPossibleInnerTypeNodeReuse(declaration) {
+    return isFunctionLike(declaration) || isExportAssignment(declaration) || isVariableLike(declaration);
+  }
+  function getPossibleTypeNodeReuseExpression(declaration) {
+    var _a;
+    return isFunctionLike(declaration) && !isSetAccessor(declaration) ? getSingleReturnExpression(declaration) : isExportAssignment(declaration) ? declaration.expression : !!declaration.initializer ? declaration.initializer : isParameter(declaration) && isSetAccessor(declaration.parent) ? getSingleReturnExpression(getAllAccessorDeclarations((_a = getSymbolOfDeclaration(declaration.parent)) == null ? void 0 : _a.declarations, declaration.parent).getAccessor) : void 0;
+  }
+  function getSingleReturnExpression(declaration) {
+    let candidateExpr;
+    if (declaration && !nodeIsMissing(declaration.body)) {
+      const body = declaration.body;
+      if (body && isBlock(body)) {
+        forEachReturnStatement(body, (s) => {
+          if (!candidateExpr) {
+            candidateExpr = s.expression;
+          } else {
+            candidateExpr = void 0;
+            return true;
+          }
+        });
+      } else {
+        candidateExpr = body;
+      }
     }
-    return nodeBuilder.typeToTypeNode(type, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return candidateExpr;
   }
   function createReturnTypeOfSignatureDeclaration(signatureDeclarationIn, enclosingDeclaration, flags, tracker) {
     const signatureDeclaration = getParseTreeNode(signatureDeclarationIn, isFunctionLike);
@@ -87675,7 +87723,15 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const signature = getSignatureFromDeclaration(signatureDeclaration);
-    return nodeBuilder.typeToTypeNode(getReturnTypeOfSignature(signature), enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.expressionOrTypeToTypeNode(
+      getReturnTypeOfSignature(signature),
+      getPossibleTypeNodeReuseExpression(signatureDeclaration),
+      /*addUndefined*/
+      void 0,
+      enclosingDeclaration,
+      flags | 1024 /* MultilineObjectLiterals */,
+      tracker
+    );
   }
   function createTypeOfExpression(exprIn, enclosingDeclaration, flags, tracker) {
     const expr = getParseTreeNode(exprIn, isExpression);
@@ -87683,7 +87739,15 @@ function createTypeChecker(host) {
       return factory.createToken(133 /* AnyKeyword */);
     }
     const type = getWidenedType(getRegularTypeOfExpression(expr));
-    return nodeBuilder.typeToTypeNode(type, enclosingDeclaration, flags | 1024 /* MultilineObjectLiterals */, tracker);
+    return nodeBuilder.expressionOrTypeToTypeNode(
+      type,
+      expr,
+      /*addUndefined*/
+      void 0,
+      enclosingDeclaration,
+      flags | 1024 /* MultilineObjectLiterals */,
+      tracker
+    );
   }
   function hasGlobalName(name) {
     return globals.has(escapeLeadingUnderscores(name));

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-57465-103",
+  "version": "5.5.0-pr-57772-2",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -113,5 +113,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "576ac26ef2b7c55e4b0b2d157a7ff9e590f1541f"
+  "gitHead": "ef00e6003ed20e409ba5204f8bc4409419ab8670"
 }